| 一种用于类测试的改进型EFSM模型 |
| |
| 引用本文： | 陈祎,桑楠,雷航.一种用于类测试的改进型EFSM模型[J].计算机应用,2005,25(8):1890-1892. |
| |
| 作者姓名： | 陈祎 桑楠 雷航 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院 |
| |
| 摘 要： | 扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。
|
| 关 键 词： | 扩展有限状态机 UML状态图 软件测试 类 不可达路径 |
| 文章编号： | 1001-9081(2005)08-1890-03 |
An improved EFSM model for class test |
| |
| CHEN Yi,Sang Nan,Lei Hang.An improved EFSM model for class test[J].journal of Computer Applications,2005,25(8):1890-1892. |
| |
| Authors: | CHEN Yi Sang Nan Lei Hang |
| |
| Affiliation: | College of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu Sichuan 610054,China |
| |
| Abstract: | Due to the variable interdependencies among the operations and preconditions, certain paths of an extended finite state machine (EFSM) may not be feasible. These infeasible paths complicate the class test generation process from EFSMs. By transforming UML state diagrams into extended finite state machines (EFSMs), an algorithm is presented to eliminate the infeasible paths in these EFSMs. Thus a class test model for object-oriented software can be constructed.The model is suitable for class testing by using control and data flow analysis techniques. |
| |
| Keywords: | extended finite state machine UML state diagrams software test class infeasible paths |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
