摘要
首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．
A testing and certification model for Ada softwares is presented at first.Then the support system of this model and its structure,function and feature are described.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1997年第1期1-6,共6页
Journal of Beijing University of Aeronautics and Astronautics
关键词
软件质量
软件可靠性
软件工程
动态测试
software quality
software reliability
software engineering
static analysis
dynamic test
