期刊文献+

一种嵌入式系统软件的非干涉测试方法 被引量:5

Non-interference test method of embedded system software
下载PDF
导出
摘要 传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应 ,影响了测试结果的精确性和正确性 .采用“非干涉测试方法”可以将这种影响消除 ,从而得到精确的测试结果 ,是一种准确反映被测试目标系统真实运行状态的测试方法 .与传统的测试方法不同 ,该方法的特点在于对目标系统完全是非干涉的 .通过分析非干涉测试方法的基本特征 ,提出了该方法的应用模型 .在这个模型中 ,有 3个组成部分是必需的 ,包括静态分析模块 ,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统 .静态分析模块对被测试软件静态特征进行分析 ,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据 .在整个测试周期 ,“非干涉测试方法” Traditional test methods of embedded system software impose on the object system and the test results are not accurate enough as expected. Non-interference test (NIT) method can solve the problem. NIT is completely of 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, including static analytical module, dynamic analytical module and data gathering subsystem which tracks the object system by hardware. Static analytical module gives 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 need any instruction executed within the test round into the object program.
出处 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第7期666-669,共4页 Journal of Beijing University of Aeronautics and Astronautics
基金 国家部委基金资助项目
关键词 软件 数据采集 嵌入式系统 软件测试 白盒测试 Computer hardware Computer software Data acquisition Models Real time systems
  • 相关文献

参考文献2

  • 1[4]Wolf F, Ernst R. Data flow based cache prediction using local simulation [ A ]. IEEE International High-Level Validation and Test Workshop (HLDVT' 00) [ C ]. Berkeley, California : 2000. 155 ~160
  • 2[5]Ferdinand C, Wilhelm R. On predicting data cache behavior for real-time systems[A]. Proceeding of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Volume 1474 of Lecture Notes in Computer Science[C]. 1998.16 ~ 30

同被引文献37

  • 1RonPatton 周矛演 姚静等译.软件测试[M].北京:机械工业出版社,2002..
  • 2Brey Barry B.Intel微处理器结构、编程与接口.第6版.金惠华译.北京:电子工业出版社,2004
  • 3Rajsuman Rochit.SoC设计与测试.于敦山译.北京:北京航空航天大学出版社,2003
  • 4Karl R P H Leung,Joseph K-Y Ng,W L Yeung.Embedded Program Testing in Untestable Mobile Environment:An Experience of Trustworthiness Approach[C].Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC),IEEE,2004.430-437.
  • 5Andre'C,Lockheed Martin Missiles.Graybox Software Testing Methodology:Embedded Software Testing Technique[C].Digital Avionics Systems Conference,IEEE,1999.
  • 6Phyllis Frankl,Dick Hamlet.Evaluating Testing Methods by Delivered Reliability[J].IEEE Trans.Software Engineering,1998,24(8):586-601.
  • 7Golab L,OzsuMT.Issues in Data Stream Management[C].ACM SIGMOD Record,2003.5-14.
  • 8Guha S,Koudas N.Approximating a Data Stream for Querying and Estimation:Algorithms and Performance Evaluation[C].Proceedings of the 18th International Conference on Data Engineering (ICDE),IEEE Computer Society,2002.567-576.
  • 9Golab L,Ozsu MT.Processing Sliding Window Multi-joins in Continuous Queries over Data Streams[A].Proceedings of the 29th Int'l Conference on Very Large Data Bases[C].Berlin:Morgan Kaufmann Publishers,2003.500-511.
  • 10Viglas SD,Naughton JF,Burger J.Maximizing the Output Rate of Multi-way Join Queries over Streaming Information Sources[A].Proceedings of the 29th Int'l Conference on Very Large Data Bases[C].Berlin:Morgan Kaufmann Publishers,2003.285-296.

引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部