测试用例生成技术

作品数：26被引量：121H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：龚红仿李军义邹北骥聂长海徐宝文更多>>
相关机构：湖南大学东南大学浙江理工大学北京航空航天大学更多>>
相关期刊：《计算机光盘软件与应用》《计算机工程与设计》《北京航空航天大学学报》《电脑编程技巧与维护》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家高技术研究发展计划x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML实时扩展的嵌入式软件测试用例生成技术被引量：11
《系统工程与电子技术》2011年第3期694-699,共6页殷永峰 郑本焘 陆民燕 倪红英 
国家高技术研究发展计划(863计划)资助(2007AA01Z145);航空科学基金(20095551025)资助课题
将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,...
关键词：软件工程 自动化测试 统一建模语言 嵌入式软件 测试用例 
基于双价值函数禁忌搜索的测试用例生成技术被引量：1
《四川大学学报（自然科学版）》2010年第1期61-66,共6页端木传毅 邓洪敏 胡晓勤 赵奎 卢正添 
国家自然科学基金(60573130;60502011;60873246);国家"863"计划(2006AA01Z435);教育部博士点基金(20070610032)
基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程...
关键词：软件测试 价值函数 禁忌搜索 
基于EDPN的类测试框架及测试用例生成技术的研究被引量：2
《计算机科学》2005年第5期224-229,共6页龚红仿 李军义 邹北骥 孙家广 
本项研究得到国家863基础研究类项目(项目编号:2002AA411510);国家自然科学基金(项目编号60474070)
针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯...
关键词：测试用例 测试框架 生成技术 面向对象软件 自动生成方法 测试过程 交互测试 测试模型 输入输出 状态转移 类测试 路径 递推法 扩展 正交阵 爆炸 组合 标记 序列 协同 列表 
基于EDPN的面向对象的系统测试用例生成技术的研究被引量：1
《计算机工程与应用》2005年第3期37-39,共3页龚红仿 李军义 仝青山 
国家863高技术研究发展计划项目(编号:2002AA411510);中科院软件所计算机科学重点实验室课题(编号:SYSKF0307)资助
面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特...
关键词：面向对象 系统测试 测试用例生成 事件驱动Petri网 唯一输入输出 
基于事件消息驱动的Petri网的类族测试用例生成技术的研究被引量：3
《计算机应用》2005年第1期65-68,共4页龚红仿 李军义 邹北骥 
国家863计划资助项目(2002AA411510);中科院软件所计算机科学重点实验室课题支持(SYSKF0307)
在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优...
关键词：类族交互测试 测试用例生成 事件消息驱动Petri网 扩展的正交阵列测试系统 标记关 联递推法 同步消息序列 测试覆盖标准 
基于扩展的EDPN的类的交互测试用例生成技术的研究被引量：1
《湖南大学学报（自然科学版）》2005年第1期99-103,共5页龚红仿 李军义 胡积平 邹北骥 孙家广 
国家836基础研究类项目资助(2002AA411510);中科院软件所计算机科学重点实验室课题(SYSKF0307)
针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联...
关键词：类的交互测试 测试用例生成 扩展的事件驱动Petri网 扩展的正交阵列测试 系统 标记关联递推法 测试覆盖标准 
基于UML活动图模型的测试用例生成技术研究被引量：21
《北京航空航天大学学报》2001年第4期433-437,共5页张楣 刘超 孙昌爱 
国家 8 6 3高技术计划资助项目(86 3 30 6 ZD0 2 0 3 7)
为了设计和生成系统工作流程的测试用例 ,引入测试大纲模型的概念 ,设计出从UML(UnifiedModelingLanguage)活动图模型到测试大纲模型 ,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大...
关键词：计算机辅助测试 计算机设计自动化 软件工程 UML 活动图 测试用例生成技术 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部