电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
目前嵌人式软件应用越来越广泛。软件规模日益庞大、结构趋于复杂，对软件测试水平提出了更高的要求。在嵌人式系统中，由于系统高实时性要求，经常使用嵌人式实时操作系统和中断技术，使专用软件操作更加灵活，功能更加强大，但同时这也可能会导致共享资源冲突。这种冲突在早期不易被人发现，在运行中一旦发生造成的后果是严重的，可能引人系统崩溃。目前对于软件共享资源冲突检测的软件少之又少，主要通过人工代码走查来检测资源冲突，过于依赖测试人员的个人经验，漏检概率较大。基于“早测试、早发现”的原则4，本设计采用静态分析的方法，通过词法分析、语法分析、语义分析以及软件并发性分析，在软件开发早期对代码进行自动检测，判断是否存在共享资源冲突问题。
嵌入式
加入交流群
扫码添加小助手
加入工程师交流群
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- IIOT嵌入式边缘软件方案介绍Edge XRT-广州虹科
- 嵌入式软件开发的特点、设计流程、嵌入式软件的结构
- 嵌入式软件之c语言编码规范 29次下载
- 嵌入式系统软件并发缺陷的建模方法 2次下载
- 嵌入式软件方向的学习难点有哪些应该如何学习
- 嵌入式系统死锁检测方法 0次下载
- 基于执行片段的嵌入式软件时序特性检测方法 0次下载
- 嵌入式软件时序异常检测 0次下载
- 基于双十字链表存储的共享资源矩阵方法特性研究 0次下载
- 嵌入式软件技术应用设计方案汇总 4次下载
- 基于令牌的共享资源分配算法_雷鸣 0次下载
- UCOS扩展例程-UCOSIII使用信号量访问共享资源区 19次下载
- UCOS扩展例程-UCOSIII直接访问共享资源区 20次下载
- 嵌入式实时多任务软件的软总线结构设计
- 基于模块化设计的嵌入式软件测试方法
- 嵌入式软件开发和软件开发的区别 3.8k次阅读
- 聊聊嵌入式软件分层 1.2k次阅读
- 嵌入式软件的设计模式（上） 2.2k次阅读
- 基于UML嵌入式软件开发环境的自动取款机系统的应用方案 4.3k次阅读
- 基于TMS320C6x网络开发环境和TCP/IP NDK实现嵌入式系统的应用 4.2k次阅读
- 基于IPP跨平台软件库实现嵌入式系统的应用设计 3.9k次阅读
- 基于嵌入式软件的JNI技术应用解析 1.4k次阅读
- 嵌入式软件开发编程规范介绍 5k次阅读
- 嵌入式软件开发的这些编程规范你了解吗 4.6k次阅读
- 基于SCADE模型的高安全性嵌入式软件解决方案设计 3.3k次阅读
- 关于嵌入式软件系统测试策略和方案设计详解 9.7k次阅读
- 什么是嵌入式操作系统 常见的嵌入式系统有哪些 4.1w次阅读
- 嵌入式操作系统是什么_嵌入式操作系统有哪些 2.1w次阅读
- 嵌入式软件工程师和嵌入式硬件工程师有什么区别 8.3w次阅读
- 嵌入式应用的 USB 3.0 链路共享 2.9k次阅读
上传资料赚积分下载排行
本周
- 1冷柜-电气控制系统讲解
- 13.68 MB | 4次下载 | 10 积分
- 2安川A1000变频器中文版说明书
- 20.16 MB | 3次下载 | 3 积分
- 3直流电路的组成和基本定律
- 1.67 MB | 2次下载 | 免费
- 4丹佛斯2800系列变频器说明书
- 8.00 MB | 1次下载 | 5 积分
- 5PC8011同步开关型降压3.5A单节锂电池充电管理电路技术手册
- 0.74 MB | 1次下载 | 免费
- 6ES7243E+ES8311音频录制与播放电路资料
- 0.06 MB | 1次下载 | 5 积分
- 7SDM02 激光测距模块产品手册
- 0.43 MB | 1次下载 | 免费
- 8SDFM 激光测距模块模组手册
- 0.54 MB | 1次下载 | 免费
本月
- 1CH341编程器软件NeoProgrammer_2.2.0.10
- 20.47 MB | 170次下载 | 1 积分
- 22025智能家居传感器市场分析及创新应用
- 3.11 MB | 43次下载 | 免费
- 3RV1126B系列开发板产品资料
- 4.19 MB | 18次下载 | 免费
- 4CH341编程软件下载
- 2.50 MB | 16次下载 | 5 积分
- 5全志系列-米尔基于T153核心板开发板 四核异构、3路千兆网，赋能多元化工业场景
- 3.05 MB | 12次下载 | 免费
- 6【开源】60余套STM32单片机、嵌入式Linux、物联网、人工智能项目案例及入门学习资源包
- 10.55 MB | 8次下载 | 免费
- 7冷柜-电气控制系统讲解
- 13.68 MB | 4次下载 | 10 积分
- 8特斯拉MODEL S车载充电机主电路回路原理图
- 0.81 MB | 4次下载 | 3 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233094次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191448次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183356次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81604次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73824次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论