抽象解释技术在嵌入式软件测试中的应用

Application of the abstract interpretation in the embedded software-testing

随着人们对软件地位的重视程度提高,软件测试也成为软件工程中必不可少的一部分[1],软件测试技术的发展也日新月异,抽象解释技术的出现无疑是一个大的变革。从剖析运行错误和抽象解释的概念入手,先后讨论了抽象解释技术在嵌入式软件测试中的工作原理和应用案例情况,最后阐述了基于抽象解释技术的测试方案的好处。

With the cognition of the software improved, the software testing is turning into the crucial part. As the testing technology changes with each passing day, the appearance of the Abstract Interpretation is a big change. The paper firstly explained the concepts of the Abstract Interpretation and running errors, then discussed the working principle and the application of the Abstract Interpretation in the embedded system. In the end the benefit of applying the Abstract Interpretation was summarized.