| Ada软件测试与认证模型及支持系统 |
| |
| 引用本文： | 高仲仪,姚淑珍.Ada软件测试与认证模型及支持系统[J].北京航空航天大学学报,1997(1). |
| |
| 作者姓名： | 高仲仪 姚淑珍 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系 |
| |
| 摘 要： | 首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．
|
| 关 键 词： | 软件质量 软件可靠性 软件工程 静态分析 动态测试 |
MODEL AND SUPPORT SYSTEM OF TESTING AND CERTIFICATION FOR ADA SOFTWARE |
| |
| Gao Zhongyi\ Yao Shuzhen.MODEL AND SUPPORT SYSTEM OF TESTING AND CERTIFICATION FOR ADA SOFTWARE[J].Journal of Beijing University of Aeronautics and Astronautics,1997(1). |
| |
| Authors: | Gao Zhongyi\ Yao Shuzhen |
| |
| Abstract: | 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. |
| |
| Keywords: | software quality software reliability software engineering static analysis dynamic test |
| 本文献已被 CNKI 等数据库收录！ |
