首页> 中文期刊> 《科技信息》 >形式化方法自动生成测试用例的算法研究

形式化方法自动生成测试用例的算法研究

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤,算法设计,并进行了算法分析.最后指出了下一步工作的重点所在.

著录项

来源
《科技信息》 |2008年第23期|405-406|共2页
作者
王冬; 吕慧娟;
展开▼
作者单位

河南大学计算中心;

河南;

开封;

475001;

河南大学计算中心;

河南;

开封;

475001;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
形式化方法; 测试用例; 等价类划分; 形式规格说明;

相似文献

中文文献
外文文献
专利

1. 一种全覆盖的列控车载系统测试用例自动生成算法研究 [J] . 袁磊 ,吕继东 ,刘雨 . 铁道学报 . 2014,第008期
2. 一种面向形式化表格需求模型的测试用例生成方法 [J] . 汪文轩 ,胡军 ,胡建成 . 计算机科学 . 2021,第005期
3. 软硬件功能测试用例半形式化生成方法 [J] . 邓辉 ,石竑松 ,张宝峰 . 通信技术 . 2016,第010期
4. 基于Z语言的测试用例形式化描述方法研究 [J] . 王吉茂 ,尹平 ,张慧颖 . 计算机测量与控制 . 2013,第012期
5. 基于输入/输出动作的协议形式化描述和测试用例生成方法 [J] . 顾翔 ,邱建林 ,严燕 . 计算机应用 . 2008,第006期
6. 基于改进菌群算法测试用例自动生成方法的研究 [C] . HUANG Jin-hui ,黄今慧 ,ZHANG Xin-xin . 2012（第五届)全国网络与信息安全学术会议 . 2012
7. 基于基本路径测试的测试用例自动生成应用研究——从基本路径编码到测试用例的自动生成 [A] . 曹烽燕 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号