测试用例生成方法

作品数:121被引量:382H指数:9
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:包晓安张鹏程张娜惠战伟黄松更多>>
相关机构:深圳市腾讯计算机系统有限公司南京大学北京航空航天大学中国农业银行股份有限公司更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划江苏省自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 主题=自动化x
条 记 录,以下是1-5
视图:
排序:
列控中心自动化测试测试用例生成方法被引量:2
《北京交通大学学报》2020年第5期49-54,共6页王硕 张亚东 郭进 李耀 兰浩 
国家自然科学基金(61703349);中央高校基本科研业务费专项资金(2682017CX101);中国铁路总公司科技研究开发计划(N2018G062)。
为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构建带有输入输出时间的确定性有限状态机模型,并利用改进的广度优先搜索生成测试路径,形成抽象测试集.然后...
关键词:列控中心 自动化测试 测试路径 测试用例 基于模型的测试 
基于PEFSM行为模型的黑盒测试用例生成方法被引量:1
《计算机科学》2017年第4期234-240,共7页梁浩然 周宽久 崔凯 潘杰 侯刚 
国家自然科学基金(61402073)资助
随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本。针对嵌入式系统黑盒测试问题,提出了基于概率扩展有...
关键词:可信验证 PEFSM 正则表达式 自动化测试 
一种基于扩展有限状态机的自动化测试用例生成方法被引量:6
《中国科学:信息科学》2014年第5期588-609,共22页杨瑞 陈振宇 张智轶 刘子聪 徐宝文 
国家重点基础研究发展计划(批准号:2014CB340702);国家自然科学基金(批准号:61170067;61170071;61373013)资助项目
扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路...
关键词:测试用例生成 扩展有限状态机 可执行模型 路径可行性 测试预言 
一种基于规则提取的自动化测试用例生成方法被引量:2
《西北工业大学学报》2012年第2期296-300,共5页郑炜 杨威 宋海静 周南 郭凯源 
西北工业大学2011届本科毕业设计重点支持项目资助
软件测试过程中,缩小测试用例集的规模,通常需要根据经验进行分析,找出输入输出间的非映射关系,这往往要耗费过多的测试资源。而人工神经网络在此问题的处理上有其特有的优势。因此文章提出了一种改进的规则提取方法,用于生成测试用例...
关键词:自动化测试 测试用例生成 人工神经网络(ANN) 规则提取 
基于安全策略模型的安全功能测试用例生成方法被引量:6
《计算机研究与发展》2009年第10期1686-1692,共7页张敏 冯登国 陈驰 
国家"八六三"高技术研究发展计划基金项目(2007AA120404;2007AA120405)~~
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动...
关键词:安全策略模型 安全功能测试 测试用例生成 自动化测试 基于类型的划分 
检索报告 对象比较 聚类工具 使用帮助 返回顶部