| 软件Markov测试的使用链及测试充分性研究 |
| |
| 引用本文： | 曹鹏,罗自强. 软件Markov测试的使用链及测试充分性研究[J]. 舰船电子工程, 2004, 24(5): 69-72 |
| |
| 作者姓名： | 曹鹏 罗自强 |
| |
| 作者单位： | 1. 海军工程大学管理科学工程系,武汉,430033
2. 海军工程大学文理学院,武汉,430033 |
| |
| 摘 要： | 基于有限Markov链理论，形式化的描述了软件统计测试，提出了一种频率计数算法，它能够同时解决软件Markov，测试中存在的两个难题：1．建立精确的使用链(或用户剖面)；2．确定满足测试充分性的最优用例数。算例表明该算法是十分有效的。
|
| 关 键 词： | Markov测试 使用链 测试充分性 |
| 修稿时间： | 2004-01-08 |
Research of the Usage Chains and Testing Adequacy for Statistical Software Testing Based on Markov Chains |
| |
| Cao Peng ) Luo Ziqiang ). Research of the Usage Chains and Testing Adequacy for Statistical Software Testing Based on Markov Chains[J]. Ship Electronic Engineering, 2004, 24(5): 69-72 |
| |
| Authors: | Cao Peng ) Luo Ziqiang ) |
| |
| Affiliation: | Cao Peng 1) Luo Ziqiang 2) |
| |
| Abstract: | Based on Limited Markov Chains theories,formally describs statistical software testing,and presents a kind of frequency count method which addresses two hard nut to the Markov software testing simultaneously:1.establishing accurate user profiles(i.e. usage probabilities);2.incurring lengthy testing times which be sufficient for testing adequacy.The elgorithm synthesizes to consider the execution time,and calculates and example to express that method is extremely efficient. |
| |
| Keywords: | Markov testing usage chains testing adequacy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
