| Ada并发软件的质量保证策略和模型 |
| |
| 引用本文： | 廖彬山,高仲仪.Ada并发软件的质量保证策略和模型[J].计算机研究与发展,1995,32(5):41-45. |
| |
| 作者姓名： | 廖彬山 高仲仪 |
| |
| 作者单位： | 北京航空航天大学软件工程研究所 |
| |
| 基金项目： | 国家《八．五》重点攻关项目 |
| |
| 摘 要： | 本文概述了Ａｄａ并发软件质量保证的基本特点，探讨了死锁检测和实时性检测与优化方法，并研究了相应的质量保证策略和模型。
|
| 关 键 词： | 软件质量 并发软件 质量保证 Ada语言 |
Strategy and Model of Ada Concurrent Software Quality Assurance |
| |
| Liao Binskan and Gao Zhongyi.Strategy and Model of Ada Concurrent Software Quality Assurance[J].Journal of Computer Research and Development,1995,32(5):41-45. |
| |
| Authors: | Liao Binskan and Gao Zhongyi |
| |
| Abstract: | This paper overviews the basic properties of Ada concurrent software quality assurance, discusses the methods of deadlock detection and real-time performance detection and optimization, and studies the strategy and model of its quality assurance. |
| |
| Keywords: | software quality assurance strategy model |
| 本文献已被 CNKI 维普 等数据库收录！ |
