| 确认测试路径的一种生成方法 |
| |
| 引用本文： | 曹化工,赖蕾. 确认测试路径的一种生成方法[J]. 华中科技大学学报(自然科学版), 1999, 27(2): 311 |
| |
| 作者姓名： | 曹化工 赖蕾 |
| |
| 作者单位： | 华中理工大学计算机科学与技术学院 |
| |
| 基金项目： | 国家高技术发展计划CIMS主题资助 |
| |
| 摘 要： | 针对确认测试自动化在实现中的难题，提出了将测试过程进行划分的确认控制策略，并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担，另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外，其余的步骤均能自动实现．
|
| 关 键 词： | 确认测试；规格说明；数据流图；Petri网 |
| 修稿时间： | 1998-09-03 |
A Generation Method for Validation Testing Paths |
| |
| Cao Huagong Lai Lei. A Generation Method for Validation Testing Paths[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 1999, 27(2): 311 |
| |
| Authors: | Cao Huagong Lai Lei |
| |
| Affiliation: | Cao Huagong Lai Lei |
| |
| Abstract: | Aimed at the difficulty in the validation of testing automation, a kind of testing process for validation of control is presented. Based on data flow diagram, the method is expanded to the control, justifying the control. In addition, proving the isomorphism between the synchronous data flow diagram and the Peri net, we find a new way of generating the validation of testing paths. This method can lessen the burden of test case planning and ensures the integrity of the test. This validation testing process is an automatic course except that the date flow diagram is transformed the data flow diagram with the extended control. |
| |
| Keywords: | validation testing specification data flow diagram Petri net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
