基于使用模型的统计测试方法的研究

被引：3

作者：

冯华

王戟

徐锡山

机构：

[1] 国防科技大学计算机学院

[2] 国防科技大学计算机学院长沙

[3] 长沙

来源：

计算机工程 | 2002年 / 12期

关键词：

统计测试; 使用模型; 静态参数; 测试充分性; 测试用例; 软件可靠性;

D O I：

暂无

中图分类号：

TP311.56 [];

学科分类号：

081202 ; 0835 ;

摘要：

介绍了基于使用模型的统计测试方法，论述了使用模型的概念和特点，以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例，同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法。最后简要介绍了自行开发的统计测试辅助工具STToolkit。

引用

页码：93 / 95

页数：3