| 
  中国学术期刊网络出版总库
  关闭
基于执行序列的嵌入式软件时序异常检测  
   推荐 CAJ下载 PDF下载
【英文篇名】 Temporal Defect Detection of Embedded Software Using Timed Execution Trace
【下载频次】 ★★★★★
【作者】 王博; 白晓颖; 陈文光; SONG Xiaoyu;
【英文作者】 WANG Bo; BAI Xiao-Ying; CHEN Wen-Guang; SONG Xiaoyu; Department of Computer Science and Technology; Tsinghua University; National Laboratory for Information Science and Technology; Department of Electrical and Computer Engineering; Portland State University;
【作者单位】 清华大学计算机科学与技术系; 清华大学信息科学与技术国家实验室; 波特兰州立大学电气与计算机工程系;
【文献出处】 计算机学报 , Chinese Journal of Computers, 编辑部邮箱 2017年 12期  
期刊荣誉：中文核心期刊要目总览  ASPT来源刊  中国期刊方阵  CJFD收录刊
【中文关键词】 接口自动机; 时间约束; 执行片段; 相关性分析; 时序缺陷检测; 软件测试; 嵌入式软件;
【英文关键词】 interface automata; timing constraint; execution trace; correlation analysis; temporal defect detection; software testing; embedded software;
【摘要】 时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间.执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题.文中提出一种基于执行片段的嵌入式软件时序特性检测方法(Trace-Based Temporal Defect Detection,TBTDD).一方面,基于扩展语义接口自动机(Extended Semantic Interface Automata,ESIA)模型,刻画嵌入式软件时序特性需求,分析不同时间约束间存在的相关关系类型,并提出基于相关矩阵的相关时间约束识别算法;另一方面,在目标软件运行环境中提取包含时间信息的执行片段,通过执行片段与时间约束模型的匹配,依据预先制定的时序特性检测准则,检验执行序列是否满足模型中各项独立和相关时间约束的要求,进而发现被测软件中存在的时序缺陷.实验以卫星定位系统软件为例进行建模与缺陷检测,并在执行片段集和缺陷检测能力等方面进行了对比分析.实验表明,该方法可有效检测软件运行过程中存在的各类异常时序,提高了软件时序测试的有效性和充分性.
【英文摘要】 Temporal requirements are critical to embedded software.The correctness of system operation depends on its satisfications to the timing constraints.In an embedded system,there usually exist many timing constraints which may also correlate with each other.It is important to ensure that the execution of the system conforms to its temporal requirements.The paper proposes an approach for detecting temporal defects based on execution traces analysis.The characteristics of timing constraints are analyzed,and the ...
【基金】 国家自然科学基金(91218302,61472197); 北京市自然科学基金(4132062)资助~~
【更新日期】 2018-01-04
【分类号】 TP311.53
【正文快照】 3)(波特兰州立大学电气与计算机工程系波特兰97207美国)1引言时序特性是否满足设计要求将对实时嵌入式软件运行产生关键影响,时序异常可能造成任务执行失败,甚至对系统造成破坏性影响.特别在具有高实时和高安全性要求的应用领域内,例如航空机载任务系统、航天发射控制以及高速?

xxx
【读者推荐文章】中国期刊全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　 自动化技术、计算机技术
　　 计算技术、计算机技术
　　　 计算机软件
　　　　 程序设计、软件工程
　　　　　 软件工程
　　　　　　 软件维护
  
 
  CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司
其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）
京ICP证040431号    互联网出版许可证 新出网证（京）字008号