学位论文 > 优秀研究生学位论文题录展示

基于净室软件工程统计测试的CASE工具的研究与实现

作　者: 冯华
导　师: 徐锡山；王戟
学　校: 国防科学技术大学
专　业: 计算机科学与技术
关键词: 净室软件工程统计测试使用模型静态参数测试用例测试充分性软件可靠性
分类号: TP311.53
类　型: 硕士论文
年　份: 2002年
下　载: 143次
引　用: 3次
阅　读: 论文下载

内容摘要

净室(cleanroom)软件工程是一种应用数学和统计学方法以经济有效的方式开发高质量软件的工程技术。净室软件测试和认证方法——基于使用模型的统计测试——是统计方法在软件测试上的一种应用。统计测试时首先要构造出被测软件的使用模型，它描述了被测软件的使用方式；然后根据使用模型随机产生测试用例并实施测试；最后，按照数学和统计学模型对测试结果进行分析，获取软件的质量度量。使用模型是软件使用过程中软件形态的精确刻划，它把软件的使用方式以模型的方法表示出来。对使用模型进行静态分析可得出多种有关使用模型的静态参数，这些参数有助于验证使用模型的正确性、更好地理解系统的使用方式以及辅助制定测试计划。测试用例是从初态开始经过若干个中间状态到达终态的状态和边的序列。在辅助测试工具的帮助下可以轻而易举地产生大量的测试用例。但是，问题的关键不在于测试用例的多少，而是怎样在适当的时候停止测试。不充分的测试是不负责任的：过分的测试是一种资源的浪费，同样也是一种不负责任的表现。我们的操作困难在于：如何界定什么样的测试是不充分的，什么样的测试是过分的。统计测试通过比较测试过程中的使用链和测试链的差异程度来解决这个问题。统计测试以其高效率、低消耗等优点在国外得到了广泛的应用，出现了一些优秀的辅助测试工具，例如JUMBL、ToolSET Certify。本文在研究统计测试理论的基础上实现了一个基于Java平台的辅助统计测试工具STToolkit。它支持可视化建模、静态参数分析、测试用例的产生和测试充分性度量。另外，工具还能够与“可靠性评估与预测工具CaSoR”连接起来，以当前的失效数据为输入调用CaSoR进行可靠性评估与预测，形成一个完整的软件可靠性工程环境。

全文目录

相似论文

基于模型的Web测试技术研究与应用,TP311.53
软件可信性增长测试用例生成方法的研究,TP311.53
基于模型重建的软件测试及软件可靠性计算,TP311.53
商务网站的Web自动化测试设计与实现,TP311.52
一种基于UML用例图和活动图的测试用例生成方法研究,TP311.53
网关GPRS支持节点测试系统的设计与实现,TP311.52
自动生成SQL测试用例集的研究与实现,TP311.52
企业级软件组件质量保障与快速部团策略的研究,TP311.53
复杂数据类型测试用例自动生成技术研究,TP311.53
面向软件可靠性的性能测试方法研究与应用,TP311.53
基于用例复用的软件功能性比对测试方法研究,TP311.52
达梦数据库管理系统安全等级测评工具开发,TP311.13
基于可靠性度量的软件开发过程及关键技术的研究,TP311.52
集成测试及其在工作流管理系统中的应用,TP311.52
情景感知服务对移动政务持续使用影响研究,C931.6
基于广义随机Petri网的直升机动力与传动系统动态可靠性建模与仿真研究,V275.1
支架液压阀测试系统的故障诊断与软件可靠性研究,TH165.3
基于J2EE的软件测试用例管理系统的设计与实现,TP311.52
轨道静态横距测量仪的研制,U216.6
安全协议测试集生成技术研究,TP393.08
一种基于使用模型和可执行规格说明的软件测试框架,TP311.52