| Ada软件测试与认证模型及支持系统 |
| |
| 引用本文： | 高仲仪,姚淑珍. Ada软件测试与认证模型及支持系统[J]. 北京航空航天大学学报, 1997, 0(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, 0(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 等数据库收录！ |
