| 软件质量保证技术研究综述 |
| |
| 引用本文： | 贲可荣. 软件质量保证技术研究综述[J]. 海军工程大学学报, 2002, 14(4): 1-6 |
| |
| 作者姓名： | 贲可荣 |
| |
| 作者单位： | 海军工程大学,管理工程系,湖北,武汉,430033;软件工程国家重点实验室,湖北,武汉,430072 |
| |
| 基金项目： | 教育部骨干教师基金，武汉大学软件工程国家重点实验室资助项目，国家自然科学基金资助 (项目号 :6 96 73 0 0 9)，国家 86 3计划资助 (项目号 :86 3 3 0 6 ZT0 2 0 4 2 )，高等学校重点实验室访问学者基金资助 |
| |
| 摘 要： | 概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题
|
| 关 键 词： | 软件质量 能力成熟度模型(CMM) 软件标准 软件测试 软件可靠性 形式化方法 |
| 文章编号： | 1009-3486(2002)04-0001-06 |
| 修稿时间： | 2002-01-25 |
Outlines of software quality assurance technologies research |
| |
| BEN Ke-rong . Outlines of software quality assurance technologies research[J]. Journal of Naval University of Engineering, 2002, 14(4): 1-6 |
| |
| Authors: | BEN Ke-rong |
| |
| Affiliation: | BEN Ke-rong 1,2 |
| |
| Abstract: | This paper outlines the necessity of software reliability research,gives some software quality improvement techniques in regard to development process management, quality assurance standards, testing techniques, reliability estimation and predication, formal specification and verification, introduces some achievements that we have obtained recent years.Lastly,the paper points out further research problems on statistics testing and formal methods. |
| |
| Keywords: | software quality capability maturity model (CMM) software standards software testing software reliability formal methods |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
