基于扩展有限状态机的定义-清除路径的生成方法

卢炎生; 雷波; 谢晓东; 毛澄映

首页> 中文期刊> 《计算机工程与科学》 >基于扩展有限状态机的定义-清除路径的生成方法

基于扩展有限状态机的定义-清除路径的生成方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集.

著录项

来源
《计算机工程与科学》 |2006年第7期|67-69|共3页
作者
卢炎生; 雷波; 谢晓东; 毛澄映;
展开▼
作者单位

华中科技大学计算机科学与技术学院;

湖北;

武汉;

430074;

华中科技大学计算机科学与技术学院;

湖北;

武汉;

430074;

华中科技大学计算机科学与技术学院;

湖北;

武汉;

430074;

华中科技大学计算机科学与技术学院;

湖北;

武汉;

430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
类单元测试; 扩展有限状态机; 定义-使用路径; 定义-清除路径; 测试用例;

相似文献

中文文献
外文文献
专利

1. 基于扩展有限状态机测试用例生成方法 [J] . 王蒙蒙 ,罗杨 . 电子设计工程 . 2020,第005期
2. 基于扩展有限状态机测试用例生成方法 [J] . 王蒙蒙 ,罗杨 . 电子设计工程 . 2020,第006期
3. 基于扩展有限状态机测试序列生成方法研究 [J] . 蒋凡 ,魏蓉 ,郐吉丰 . 计算机工程与应用 . 2007,第007期
4. 基于扩展有限状态机的类测试用例生成方法 [J] . 郭朝彬 ,郭永红 ,郭红涛 . 华北水利水电学院学报 . 2006,第003期
5. 面向Web服务器端敏感路径的客户端扩展有限状态机测试生成 [J] . 赵瑞莲 ,郭小红 ,王微微 . 哈尔滨工程大学学报 . 2020,第006期
6. 基于扩展有限状态机的测试集生成技术的研究 [C] . 梁晓娅 ,肖德宝 . 第十五届中国计算机学会网络与数据通信学术会议 . 2006
7. 基于扩展有限状态机测试路径生成方法研究 [A] . 王蒙蒙 . 2020

基于扩展有限状态机的定义-清除路径的生成方法

摘要

著录项

相似文献

相关主题

期刊订阅