一种基于UML状态图的面向对象类级测试模型
An Object-oriented Class Testing Model Based on UML Statechart作者机构:电子科技大学计算机与工程学院成都610054
出 版 物:《计算机工程》 (Computer Engineering)
年 卷 期:2005年第31卷第21期
页 面:75-77页
核心收录:
学科分类:0810[工学-信息与通信工程] 0808[工学-电气工程] 0839[工学-网络空间安全] 08[工学] 0835[工学-软件工程] 0701[理学-数学] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:国家"十五"预研项目
摘 要:扩展有限状态机(EFSM)因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。