非干涉测试中的数据流处理算法

Data Stream Algorithm in Non-Interference Test

嵌入式软件非干涉测试(NIT)方法[1]是一种不在被测软件中插桩的白盒测试方法,NIT以采集被测软件运行时处理器总线数据得到的数据流为依据进行分析,实现对被测软件的测试与评估[1]。NIT的关键问题在于如何实时分析处理器总线数据流,获得其实际执行的指令序列。为此提出了一种通用的实时数据流分析算法———滑动窗口分析算法,并对该算法的正确性、复杂度和工程实现进行讨论。

Non-Interference Test（NIT） method of embedded system is a kind of embedded software testing methodthat 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. 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.