| 软件测试的一种数学简化方法 |
| |
| 引用本文： | 张忠林,马海云,贾利敏. 软件测试的一种数学简化方法[J]. 计算机应用与软件, 2008, 25(4): 100-103 |
| |
| 作者姓名： | 张忠林 马海云 贾利敏 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院,甘肃,兰州,730070 |
| |
| 摘 要： | 在马尔可夫链模型的基础上,将软件测试结果的分析问题转化为一个经典概率问题.通过数学方法实现了软件测试模型的简化,加速了测试用例的生成,从而降低了测试的复杂度,解决了简化测试用例集难度的问题.通过实例证明,这种测试技术具有一定的实用性和有效性.
|
| 关 键 词： | 软件可靠性 软件测试方法 马尔可夫链 经典概率模型 |
| 修稿时间： | 2007-06-21 |
A MATHEMATIC METHOD FOR SIMPLIFICATION OF SOFTWARE TESTING |
| |
| Zhang Zhonglin,Ma Haiyun,Jia Limin. A MATHEMATIC METHOD FOR SIMPLIFICATION OF SOFTWARE TESTING[J]. Computer Applications and Software, 2008, 25(4): 100-103 |
| |
| Authors: | Zhang Zhonglin Ma Haiyun Jia Limin |
| |
| Affiliation: | Zhang Zhonglin Ma Haiyun Jia Limin(School of Electronic , Information Engineering,Lanzhou Jiaotong University,Lanzhou 730070,Ganshu,China) |
| |
| Abstract: | Based on Markov Chain,the result analysis of the software test is converted to a classical probability issue.With a mathematic method,the software test model is simplified with an accelerated and simplified process,and the difficulty of the test simplification is solved.It is verified by examples that the test method is useful and efficient. |
| |
| Keywords: | Reliability of software Software test methods Markov Chain Classical probability model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
