摘要
概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试。
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.
出处
《海军工程大学学报》
CAS
2002年第4期1-6,共6页
Journal of Naval University of Engineering
基金
教育部骨干教师基金
武汉大学软件工程国家重点实验室资助项目
国家自然科学基金资助 (项目号 :6 96 73 0 0 9)
国家 86 3计划资助 (项目号 :86 3 3 0 6 ZT0 2 0 4 2 )
高等学校重点实验室访问学者基金资助
关键词
软件质量
能力成熟度模型
CMM
软件标准
软件测试
软件可靠性
形式化
software quality
capability maturity model (CMM)
software standards
software testing
software reliability
formal methods
