| 非干涉测试中的数据流处理算法 |
| |
| 引用本文： | 王莉莉,金惠华,张炯,尚利宏.非干涉测试中的数据流处理算法[J].计算机应用研究,2007,24(1):127-130. |
| |
| 作者姓名： | 王莉莉 金惠华 张炯 尚利宏 |
| |
| 作者单位： | 北京航空航天大学,计算机学院,北京,100083;北京航空航天大学,计算机学院,北京,100083;北京航空航天大学,计算机学院,北京,100083;北京航空航天大学,计算机学院,北京,100083 |
| |
| 基金项目： | 国防基金资助项目（51404020403HK0149）；国家部委基金支持项目 |
| |
| 摘 要： | 嵌入式软件非干涉测试(NIT)方法1]是一种不在被测软件中插桩的白盒测试方法，NIT以采集被测软件运行时处理器总线数据得到的数据流为依据进行分析，实现对被测软件的测试与评估1]。NIT的关键问题在于如何实时分析处理器总线数据流，获得其实际执行的指令序列。为此提出了一种通用的实时数据流分析算法——滑动窗口分析算法，并对该算法的正确性、复杂度和工程实现进行讨论。
|
| 关 键 词： | 非干涉测试 嵌入式软件测试 数据流算法 滑动窗口 |
| 文章编号： | 1001-3695(2007)01-0127-04 |
| 修稿时间： | 2005-10-26 |
Data Stream Algorithm in Non Interference Test |
| |
| WANG Li li,JIN Hui hu,ZHANG Jiong,SHANG Li hong.Data Stream Algorithm in Non Interference Test[J].Application Research of Computers,2007,24(1):127-130. |
| |
| Authors: | WANG Li li JIN Hui hu ZHANG Jiong SHANG Li hong |
| |
| Affiliation: | (College of Computer Science, Beihang University, Beijing 100083, China) |
| |
| Abstract: | Non-Interference Test(NIT) method of embedded system~(1]) is a kind of embedded software testing method that works without inserting codes into programs being tested.NIT analyzes data stream collected from processor's buses while target program is running,and thus achieves the goal of testing and evaluating the target program~(1]).The key problem of NIT is how to analyze the data stream of processor's buses in real time,and obtain the code sequence that is really executed by the processor.For this purpose,this paper presents a kind of real-time data stream processing algorithm: the gliding window algorithm.And then discusses the correctness,complication and engineering realization of this algorithm. |
| |
| Keywords: | Non-Interference Test Embedded Software Test Data Stream Algorithm Gliding Window |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
