| 基于一种扩展分层有限状态机模型的测试生成 |
| |
| 引用本文： | 萨智海,王俊义. 基于一种扩展分层有限状态机模型的测试生成[J]. 内蒙古大学学报(自然科学版), 2005, 36(5): 575-578 |
| |
| 作者姓名： | 萨智海 王俊义 |
| |
| 作者单位： | 内蒙古大学,计算机学院,呼和浩特,010021;内蒙古大学,计算机学院,呼和浩特,010021 |
| |
| 摘 要： | 为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.
|
| 关 键 词： | 扩展分层有限状态机(EHFSM) 控制流 数据流 测试生成 |
| 文章编号： | 1000-1638(2005)05-0575-04 |
| 收稿时间： | 2004-12-21 |
| 修稿时间： | 2004-12-21 |
An Automatic Test Generation Based on a Kind of Extended Hierarchical Finite State Machines |
| |
| SA Zhi-hai,WANG Jun-yi. An Automatic Test Generation Based on a Kind of Extended Hierarchical Finite State Machines[J]. Acta Scientiarum Naturalium Universitatis Neimongol, 2005, 36(5): 575-578 |
| |
| Authors: | SA Zhi-hai WANG Jun-yi |
| |
| Abstract: | In order to solve the data and constraint problem in Hierarchical Finite State Machines (HFSMs),the definition of extended hierarchical finite state machines (EHFSM) and the analysis of the property of EHFSMs are presented. Furthermore, based on a special kind of EHFSM, a test generation method for the conformance testing is developed.The extended finite state machine test generator (EFTG) of extended finite state machines (EFSMs) and techniques of data flow and control flow are used in this method. |
| |
| Keywords: | extended hierarchical finite state machine(EHFSM) control flow data flow test generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
