首页> 中文会议>中国计算机学会全国软件与应用学术会议（NASAC2009） >基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现

基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现

页面导航

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

摘要

测试用例的自动生成可以极大地节省人力，提高程序质量可信度。rn 由于测试用例输入空间的无界性和程序逻辑的复杂性，基于结构覆盖的测试用例自动生成问题一直没有很好的解决。本文介绍了一种单元测试用例自动生成方法，简称作MCSE。它将模型检验和符号演算相结合，将程序中的变量符号化，探测程序可能的执行路径，并收集每条路径执行必须满足的条件，再通过求解路径条件集从而得出每条路径的测试用例。本方法以函数为单元测试粒度，针对Java语言实现了基于Java虚拟机的用例生成框架。以二叉查找树为例，生成了188个无重复路径的测试用例，对该方法的有效性进行了验证。

著录项

来源
《中国计算机学会全国软件与应用学术会议（NASAC2009）》|2009年|p.138-144|共7页
会议地点沈阳
作者
邓小琴; 刘超;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
单元测试; 用例生成; 符号演算; 模型检测; 可信度; 二叉查找树;

相似文献

中文文献
外文文献
专利

1. 基于流程图自动生成测试用例的方法研究与实现 [J] . 梁衡 ,朱亮亮 ,杨华强 . 信息系统工程 . 2012,第008期
2. 测试用例自动生成方法研究与实现 [J] . 肖瑜 . 现代电子技术 . 2008,第016期
3. 一种基于模型检验的类测试用例生成方法 [J] . 梁陈良 ,聂长海 ,徐宝文 . 东南大学学报（自然科学版） . 2007,第005期
4. 基于模型的进路建立过程测试用例自动生成 [J] . 谢林 ,杨扬 . 铁道标准设计 . 2017,第002期
5. 基于模型的车载设备测试用例自动生成研究 [J] . 易承龙 ,李开成 ,周晶晶 . 西华大学学报（自然科学版） . 2014,第002期
6. 基于符号演算的正性检验与稳定性判定 [C] . 李凯 . 中国控制会议 . 1995
7. 基于符号化执行的测试用例自动生成方法研究 [A] . 任瑞国 . 2018

基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现

摘要

著录项

相似文献

相关主题

期刊订阅