软件质量保证技术研究综述

被引：10

作者：

贲可荣

机构：

[1] 海军工程大学管理工程系

来源：

海军工程大学学报 | 2002年 / 04期

关键词：

软件质量; 能力成熟度模型(CMM); 软件标准; 软件测试; 软件可靠性; 形式化方法;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题

引用

页码：1 / 6

页数：6

共 10 条

[1] 文档测试与文档过程成熟度模型探讨 [J].

孙宁 ;

贲可荣 .

计算机应用研究, 2002, (11) :17-19

[2] 国际高成熟度研讨会综述 [J].

贲可荣 ;

俞立军 .

舰船电子工程, 2002, (04) :25-29

[3] 小型软件开发单位软件过程改进模型探讨 [J].

张宇 ;

贲可荣 .

计算机应用研究, 2001, (11) :1-4

[4] 能力成熟度模型及其评估算法 [J].

贲可荣 ;

俞立军 .

舰船电子工程, 2001, (05) :56-61

[5] 通过提升CMM级别改进软件质量(实例介绍) [J].

曾浩 ;

贲可荣 .

舰船电子工程, 2001, (02) :35-41

[6] 测试方法综述 [J].

石剑琛 ;

贲可荣 ;

汤志国 .

武汉大学学报(自然科学版), 1999, (05) :687-690

[7] 净室技术与软件能力成熟度模型的融合 [J].

熊伟 ;

贲可荣 .

武汉大学学报(自然科学版), 1999, (05) :691-694

[8] 软件工程能力成熟度模型研究 [J].

马良荔 ;

刘孟仁 ;

贲可荣 .

计算机应用研究, 1998, (06) :10-13

[9] 战略防御系统软件的可靠性分析 [J].

贲可荣 ;

邹云松 ;

刘孟仁 .

海军工程学院学报, 1998, (02) :7-12

[10]

面向对象系统的测试.[M].(美)RobertV.Binder著;华庆一等译;.人民邮电出版社.2001,

← 1 →