Markov链使用模型的测试用例生成方法研究 |
| |
引用本文: | 雷航,陈丽敏. Markov链使用模型的测试用例生成方法研究[J]. 电子科技大学学报(自然科学版), 2011, 40(5): 732-736. DOI: 10.3969/j.issn.1001-0548.2011.05.019 |
| |
作者姓名: | 雷航 陈丽敏 |
| |
作者单位: | 1.电子科技大学信息与软件工程学院 成都 610054; |
| |
基金项目: | 国家自然科学基金(60973016) |
| |
摘 要: | 采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从“开始”状态到“结束”状态形成一个完整的测试案例.因此,输入和激励的选择对于产生高效的测试案例十分重要.提出一种激励选择 带概率约束的随机选择方法,以软件Markov链模型的状态迁移概率作为激励选择的约束条件,使用遗传算法中用于选择下一代种群的选择算子——轮...
|
关 键 词: | Markov链 轮盘赌算法 测试用例 测试输入 使用模型 |
收稿时间: | 2009-12-23 |
Test Case Generation Based on Markov Chain Usage Model |
| |
Affiliation: | 1.School of Information and Software Engineering,University of Eleatronic Science and Technology of China Chengdu 610054;2.School of Computer Science and Engineering,University of Eleatronic Science and Technology of China Chengdu 610054 |
| |
Abstract: | In software testing based on Markov chain usage model, the sequence of state and stimulus from state”Start”to state”Exit” is a complete test case. Therefore, test input, stimulus, is very important to generate effective test case. Focusing on this, a method for selecting stimulus is proposed in the paper, called a random selection algorithm with probability constrained. This method uses the migrating probability between states of Markov chain usage model as constraints, selects stimulus by roulette selection operator, and then gets the next state. Roulette selection operator is used in genetic algorithm to select next generation of species. In this paper, it is used to select stimulus at every state. Compared with the previous selection method, random selection algorithm with probability constrained can improve the effectiveness of test cases. |
| |
Keywords: | |
|
| 点击此处可从《电子科技大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《电子科技大学学报(自然科学版)》下载全文 |
|