北京航空航天大学学报 ›› 2004, Vol. 30 ›› Issue (07): 666-669.

• 论文 • 上一篇    下一篇

一种嵌入式系统软件的非干涉测试方法

张炯, 金惠华, 尚利宏, 昌盛   

  1. 北京航空航天大学 计算机学院, 北京 100083
  • 收稿日期:2003-02-21 出版日期:2004-07-31 发布日期:2010-09-21
  • 作者简介:张 炯(1976-),男,陕西商州人,博士生, zhangjiong@tom.com.
  • 基金资助:

    国家部委基金资助项目

Non-interference test method of embedded system software

Zhang Jiong, Jin Huihua, Shang Lihong, Chang Sheng   

  1. School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
  • Received:2003-02-21 Online:2004-07-31 Published:2010-09-21
  • Supported by:

    国家部委基金资助项目

摘要: 传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.

Abstract: Traditional test methods of embedded system software impose on the object system and the result of the test are not accurate enough as expected. Non-interference test (NIT) method can solve the problem. Not same with the traditional test methods, NIT is completely non-interference to the object software. By analyzing the basic characteristics of NIT, an application model of NIT was set up. There must be three modules in this model, include static analyse module, dynamic analyse module and data gathering subsystem which tracks the object system by hardware. Static analyse module figures out the static characteristics of the object software and tells the other two modulus how to gather the state data of the object system and how to understand the data. In all steps of the test cycle, NIT does not add any instructions executed only within the test round into the object program.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发