测试用例自动生成

作品数：125被引量：382H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄翰赵瑞莲宫云战赵卫东陈鑫更多>>
相关机构：四川大学北京交通大学北京邮电大学北京化工大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SMT求解技术的发展及最新应用研究综述被引量：11
《计算机研究与发展》2017年第7期1405-1425,共21页王翀 吕荫润 陈力 王秀利 王永吉 
国家自然科学基金项目(61170072;61303057);中国科学院;国家外国专家局创新团队国际合作伙伴计划~~
可满足性模理论(satisfiability modulo theories,SMT)是判定一阶逻辑公式在组合背景理论下的可满足性问题.SMT的背景理论使其能很好地描述实际领域中的各种问题,结合高效的可满足性判定算法,SMT在测试用例自动生成、程序缺陷检测、RTL(...
关键词：可满足性模理论 SMT求解器 SMT求解算法 测试用例自动生成 程序缺陷检测 云计算 
基于EFSM不定型切片测试用例自动生成的研究被引量：5
《计算机研究与发展》2017年第3期669-680,共12页苏宁 郭俊霞 李征 赵瑞莲 
国家自然科学基金项目(61170082;61472025);教育部新世纪优秀人才支持计划项目(NCET-12-0757)~~
基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite state machine,EFSM)是一种广泛应用的模型,它是对有限状态机(finite state machine,FSM)的扩展,能够更...
关键词：EFSM模型 依赖性分析 切片 测试用例生成 测试用例补全 
基于输出域的测试用例自动生成方法研究被引量：6
《计算机研究与发展》2016年第3期541-549,共9页尤枫 赵瑞莲 吕珊珊 
国家自然科学基金项目(61472025;61170082)~~
对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首...
关键词：BP神经网络 软件功能模型 测试用例生成 输出域 遗传算法 
基于调用图的类间MM路径自动生成方法研究
《计算机研究与发展》2013年第2期332-343,共12页何伟 赵瑞莲 朱群雄 
国家自然科学基金项目(61170082;61073035;60903002)
在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提...
关键词：MM路径 调用图 类层次分析 安德森指向分析 面向对象软件的集成测试 面向路径的测试用例自动生成 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部