Data Stream Algorithm in Non-Interference Test
非干涉测试中的数据流处理算法*

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.