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

Application of the abstract interpretation in the embedded software-testing

作　　者：常硕[1] 赵彬[2] 辛文逵[2] 

机构地区：[1]空军航空大学航空电子工程系,吉林长春130022 [2]北京航空工程技术研究中心,北京100076

出　　处：《中国测试技术》2007年第6期93-95,共3页CHINA MEASUREMENT & TESTING TECHNOLOGY

摘　　要：随着人们对软件地位的重视程度提高,软件测试也成为软件工程中必不可少的一部分[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.

关 键 词：运行错误 抽象解释 嵌入式软件 工作原理 软件测试技术 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]