| 抽象解释技术在嵌入式软件测试中的应用 |
| |
| 引用本文： | 常硕,赵彬,辛文逵.抽象解释技术在嵌入式软件测试中的应用[J].中国测试技术,2007,33(6):93-95. |
| |
| 作者姓名： | 常硕 赵彬 辛文逵 |
| |
| 作者单位： | 1. 空军航空大学航空电子工程系,吉林,长春,130022
2. 北京航空工程技术研究中心,北京,100076 |
| |
| 摘 要： | 随着人们对软件地位的重视程度提高,软件测试也成为软件工程中必不可少的一部分1],软件测试技术的发展也日新月异,抽象解释技术的出现无疑是一个大的变革。从剖析运行错误和抽象解释的概念入手,先后讨论了抽象解释技术在嵌入式软件测试中的工作原理和应用案例情况,最后阐述了基于抽象解释技术的测试方案的好处。
|
| 关 键 词： | 运行错误 抽象解释 嵌入式软件 工作原理 软件测试技术 |
| 文章编号： | 1672-4984（2007）06-0093-03 |
| 修稿时间： | 2007-03-04 |
Application of the abstract interpretation in the embedded software-testing |
| |
| CHANG Suo,ZHAO Bin,XIN Wen-kui.Application of the abstract interpretation in the embedded software-testing[J].China Measurement Technology,2007,33(6):93-95. |
| |
| Authors: | CHANG Suo ZHAO Bin XIN Wen-kui |
| |
| Affiliation: | 1.Department Electronic Engineering, Air Force Aviation College, Changchun 130022, China; 2.Beijing Aeronautical Technology Research Center,Beijing 100076,China |
| |
| Abstract: | 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. |
| |
| Keywords: | Run errors Abstract interpretation Embedded software Working principle Software testing technology |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
