Data Stream Algorithm in Non-Interference Test
Shang Lihong · Jisuanji yingyong yanjiu · 2007
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.