| 基于Petri网的测试用例生成研究进展 |
| |
| 引用本文： | 牟小玲,丁晓明,张望.基于Petri网的测试用例生成研究进展[J].重庆交通大学学报(自然科学版),2012(1):163-167. |
| |
| 作者姓名： | 牟小玲 丁晓明 张望 |
| |
| 作者单位： | 西南大学计算机与信息科学学院;重庆市智能软件与软件工程重点实验室;重庆城市管理职业学院 |
| |
| 摘 要： | 在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。
|
| 关 键 词： | 测试用例 基于模型的测试 Petri网 建模 |
Research Progress in Test Case Generation Based on Petri Nets |
| |
| Mu Xiaoling,Ding Xiaoming,Zhang Wang.Research Progress in Test Case Generation Based on Petri Nets[J].Journal of Chongqing Jiaotong University,2012(1):163-167. |
| |
| Authors: | Mu Xiaoling Ding Xiaoming Zhang Wang |
| |
| Institution: | 1.School of Computer & Information Science,Southwest University,Chongqing 400715,China; 2.Key Lab of Intelligent Software & Software Engineering Research Institution,Chongqing 400715,China; 3.Chongqing City Management College,Chongqing 401131,China) |
| |
| Abstract: | Test case generation is the key step in software test and it has an important impact on the automation of software test.The tested object was modeled,and then test sequences were generated according to the model.The research status and the problem of test case generation based on Petri nets were described. |
| |
| Keywords: | test case model-based testing Petri nets modeling |
| 本文献已被 CNKI 等数据库收录！ |
