版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
非干涉测试中的数据流处理算法
Data Stream Algorithm in Non-Interference Test作者机构：北京航空航天大学计算机学院北京100083
出 版 物：《计算机应用研究》 (Application Research of Computers)
年 卷 期：2007年第24卷第1期
页 面：127-130页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国防基金资助项目(51404020403HK0149) 国家部委基金支持项目
摘 要：嵌入式软件非干涉测试(NIT)方法[1]是一种不在被测软件中插桩的白盒测试方法,NIT以采集被测软件运行时处理器总线数据得到的数据流为依据进行分析,实现对被测软件的测试与评估[1]。NIT的关键问题在于如何实时分析处理器总线数据流,获得其实际执行的指令序列。为此提出了一种通用的实时数据流分析算法———滑动窗口分析算法,并对该算法的正确性、复杂度和工程实现进行讨论。
