收录:
摘要:
本发明公开了一种对含有特殊转换过程的非通用有限状态机进行改造的方法, 属于系统测试领域,具体涉及一种对非通用有限状态机中的特殊转换过程进行改造的方法。针对非通用FSM中的特殊转换,本发明提出一种FSM模型改造方法,将非通用FSM模型转换为通用FSM模型。此外,通过构建一组表示非通用FSM特点的特征图元,实现非通用有限状态机的XML文件存储化。本发明通过对非通用FSM进行改造,使得具有特殊转换过程的非通用FSM也可适用于测试用例生成方案,扩充了有限状态机在软件测试各阶段中的适用范围。此外,构建了表示非通用FSM的特征图元及其数据结构,实现了非通用FSM的XML存储方式。
关键词:
通讯作者信息:
电子邮件地址: