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

Research of Statistical Testing Based on a Usage Model

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

Statistical testing based on a usage model as well as properties of usage model is introduced in this paper. The paper also introduces how to generate test cases through a usage model and how to decide whether the test is sufficient or not. In the end, the paper presents a self-developed computer aided statistical testing tool：STToolkit.