测试用例生成方法

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种面向形式化表格需求模型的测试用例生成方法被引量：6
《计算机科学》2021年第5期16-24,共9页汪文轩 胡军 胡建成 康介祥 王辉 高忠杰 
国家重点基础研究发展计划(973计划)项目(2014CB744900);2020年度重庆市出版专项资金资助项目。
现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需...
关键词：测试用例生成 表格需求模型 形式化需求模型 安全关键性系统 
基于SCADE模型的车载ATP测试用例生成方法被引量：9
《铁道学报》2020年第9期102-110,共9页李兰心 王海峰 齐志华 汤圣杰 张启鹤 
国家重点研发计划(2018YFB1201501);中国铁路总公司科技研发计划(N2018G064);北京市自然基金“轨道交通联合”(L181005);国家自然科学基金(61473029);国家重点基础研究发展计划(973计划)(2014CB340703)。
车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用...
关键词：车载ATP系统 SCADE模型 测试用例 基于模型的测试 MC/DC覆盖准则 
一种基于扩展有限状态机的自动化测试用例生成方法被引量：6
《中国科学：信息科学》2014年第5期588-609,共22页杨瑞 陈振宇 张智轶 刘子聪 徐宝文 
国家重点基础研究发展计划(批准号:2014CB340702);国家自然科学基金(批准号:61170067;61170071;61373013)资助项目
扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路...
关键词：测试用例生成 扩展有限状态机 可执行模型 路径可行性 测试预言 
应用UML2.0模型的测试用例生成方法被引量：8
《西安交通大学学报》2011年第8期18-23,共6页张琛 段振华 
国家重点基础研究发展规划资助项目(2010CB328102);国家自然科学基金资助项目(60433010;60873018;60910004;91018010;61003078;61003079);教育部高等学校博士学科点专项科研基金资助项目(200807010012);中央高校基本科研业务费专项资金资助项目(JY10000903004)
针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证...
关键词：测试用例 命题投影时序逻辑 模型检测 覆盖准则 
一种基于Object-Z规格说明的集成测试用例生成方法被引量：2
《上海大学学报（自然科学版）》2009年第1期60-65,共6页朱义毅 缪淮扣 唐新香 
国家自然科学基金资助项目(60673115);国家重点基础研究发展计划(973计划)资助项目(2007CB310800);上海市重点学科建设资助项目(J50103);上海市教委基金资助项目(07ZZ06)
形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z...
关键词：规格说明 集成测试 Object—Z模型 测试用例 组件 
一个基于UML协作图的集成测试用例生成方法被引量：25
《电子学报》2004年第8期1290-1296,共7页王林章 李宣东 郑国梁 
8 63项目 (No 2 0 0 2AA1 1 60 90 ) ;自然科学基金项目 (No 60 2 0 70 36 ;60 2 330 2 0 ) ;973项目 (No 2 0 0 2CB31 2 0 0 1 )
UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为 ,确认它们是否被正确实现是集成测试的工作 .本文提出了一个基于UML协作图生成集成测试用例的方法 ,将表示设计的协作图作为测试模型 ,首先通过遍历每条消息的直...
关键词：测试用例生成 集成测试 UML协作图 场景路径 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部