摘要
为改善软件质量,对Ada软件的动态测试技术进行了研究,并且就以下内容着重进行了讨论:Ada软件的分析与理解;Ada软件的动态测试原则与方法;Ada软件的动态测试工具ASDT.
In order to improve the quality of software several techniques for Ada software dynamic testing are investigated,and the following three points are mostly concerned: First,the analysis and understanding of Ada software; Second,the principles and methods used in Ada software dynamic testing; Third,the dynamic testing tool for Ada software——ASDT.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1997年第1期18-24,共7页
Journal of Beijing University of Aeronautics and Astronautics
关键词
软件工具
软件质量
软件测试
结构测试
software tools
software quality
software engineering
software testing
dynamic testing
structural testing