摘要
随着人们对软件地位的重视程度提高,软件测试也成为软件工程中必不可少的一部分[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.
出处
《中国测试技术》
2007年第6期93-95,共3页
CHINA MEASUREMENT & TESTING TECHNOLOGY
关键词
运行错误
抽象解释
嵌入式软件
工作原理
软件测试技术
Run errors
Abstract interpretation
Embedded software
Working principle
Software testing technology
