资料介绍
时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间,执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题,文中提出一种基于执行片段的嵌入式软件时序特性检测方法( Trace -Bascd Tcmporal Dcfcct Dctcction,TBTDD).一方面,基于扩展语义接口自动机(Fxtcndcd Scmantic Intcrface Automata,ESIA)模型,刻画嵌入式软件时序特性需求,分析不同时间约束间存在的相关关系类型,并提出基于相关矩阵的相关时间约束识别算法;另一方面,在目标软件运行环境中提取包含时间信息的执行片段,通过执行片段与时间约束模型的匹配,依据预先制定的时序特性检测准则,检验执行序列是否满足模型中各项独立和相关时间约束的要求,进而发现被测软件中存在的时序缺陷.实验以卫星定位系统软件为例进行建模与缺陷检测,并在执行片段集和缺陷检测能力等方面进行了对比分析.实验表明,该方法可有效检测软件运行过程中存在的各类异常时序,提高了软件时序测试的有效性和充分性.
- IIOT嵌入式边缘软件方案介绍Edge XRT-广州虹科
- 嵌入式软件开发的特点、设计流程、嵌入式软件的结构
- 嵌入式软件之c语言编码规范 28次下载
- 嵌入式软件开发环境
- 嵌入式软件测试研究意义,嵌入式软件测试的研究
- 嵌入式软件测试参考书籍
- 基于ARM11的嵌入式肺癌气体检测系统控制软件设计
- 基于Python的实时嵌入式软件测试脚本总结
- 基于RTOS的嵌入式系统软件的设计讲解
- 嵌入式软件系统教程之嵌入式软件体系结构的详细资料说明 25次下载
- 嵌入式软件方向的学习难点有哪些应该如何学习
- 嵌入式系统死锁检测方法 0次下载
- 基于执行片段的嵌入式软件时序特性检测方法 0次下载
- ARM嵌入式软件开发 64次下载
- 基于CodeTEST的嵌入式软件测试技术
- 嵌入式软件开发和软件开发的区别 1206次阅读
- 基于功能安全的汽车嵌入式软件单元验证技术研究 678次阅读
- 聊聊嵌入式软件分层 406次阅读
- 嵌入式软件的设计模式(上) 1017次阅读
- 嵌入式系统的软件架构设计 3997次阅读
- 基于UML嵌入式软件开发环境的自动取款机系统的应用方案 3527次阅读
- 基于嵌入式C语言开发中的异常堆栈错误追踪机制的设计 1076次阅读
- 基于嵌入式软件的JNI技术应用解析 982次阅读
- 优化嵌入式软件时可以遵循几个通用技巧盘点 594次阅读
- 嵌入式软件开发编程规范介绍 4112次阅读
- 嵌入式软件开发的这些编程规范你了解吗 3746次阅读
- 嵌入式软件工程师职业规划必知 6263次阅读
- 基于SCADE模型的高安全性嵌入式软件解决方案设计 2611次阅读
- 嵌入式操作系统是什么_嵌入式操作系统有哪些 2w次阅读
- 嵌入式软件工程师和嵌入式硬件工程师有什么区别 6.9w次阅读
下载排行
本周
- 12024年工控与通信行业上游发展趋势和热点解读
- 2.61 MB | 2次下载 | 免费
- 2FS4054单节锂电池线性锂电池充电IC
- 843.62 KB | 1次下载 | 免费
- 3SN65HVD26x支持CAN FD(灵活数据速率)和冗余的Turbo CAN收发器数据表
- 1.48MB | 1次下载 | 免费
- 4TLK1221以太网收发器数据表
- 967.59KB | 1次下载 | 免费
- 5DS90UB940N-Q1 1080p FPD-link III转CSI-2解串器数据表
- 2.5MB | 1次下载 | 免费
- 6ISO26262 汽车功能安全标准第二版
- 20.79 MB | 1次下载 | 5 积分
- 7TI 10kW双向三相三级双向三相三级型 逆变器和逆变器和PFC参考设计
- 6.22 MB | 1次下载 | 免费
- 8PCB及电路设计的接地资料基础
- 0.42 MB | 1次下载 | 免费
本月
- 1对讲机原理、使用及纵图集
- 未知 | 83次下载 | 10 积分
- 2马可尼IFR 2945A综合测试仪使用手册
- 未知 | 24次下载 | 8 积分
- 3基于STM32微处理器为核心的水质监测系统
- 6.46 MB | 23次下载 | 免费
- 42.4GHz IEEE 802.15.4 和 ZigBee应用的CC253X 片上系统解决方案
- 9.00 MB | 20次下载 | 1 积分
- 5基于51单片机TEA5767收音机数码管显示设计
- 0.69 MB | 14次下载 | 10 积分
- 6摩托罗拉P200写频软件
- 未知 | 6次下载 | 6 积分
- 7使用UC3875构成的3KW实用高频开关电源设计
- 0.46 MB | 6次下载 | 1 积分
- 8奋斗STM32开发板V5原理图.pdf
- 0.15 MB | 6次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935107次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233074次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191349次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183327次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81574次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73800次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65983次下载 | 10 积分
评论