首页 | 本学科首页   官方微博 | 高级检索  
     

非干涉测试中的数据流处理算法*
作者姓名:王莉莉  金惠华  张炯  尚利宏
作者单位:北京航空航天大学,计算机学院,北京,100083;北京航空航天大学,计算机学院,北京,100083;北京航空航天大学,计算机学院,北京,100083;北京航空航天大学,计算机学院,北京,100083
基金项目:国防基金资助项目(51404020403HK0149);国家部委基金支持项目
摘    要:嵌入式软件非干涉测试(NIT)方法[1]是一种不在被测软件中插桩的白盒测试方法,NIT以采集被测软件运行时处理器总线数据得到的数据流为依据进行分析,实现对被测软件的测试与评估[1]。NIT的关键问题在于如何实时分析处理器总线数据流,获得其实际执行的指令序列。为此提出了一种通用的实时数据流分析算法——滑动窗口分析算法,并对该算法的正确性、复杂度和工程实现进行讨论。

关 键 词:非干涉测试  嵌入式软件测试  数据流算法  滑动窗口
文章编号:1001-3695(2007)01-0127-04
修稿时间:2005-10-26
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机应用研究》浏览原始摘要信息
点击此处可从《计算机应用研究》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号