教学课程资源库 更多>>

关键词： 软件测试   质量度量   缺陷密度  

摘要： 阐述了航天型号软件测试质量度量的现状,通过构建缺陷度量测试工具平台,提供了一种软件确认测试项目的质量数据统计方法和分析预测方法,指导嵌入式、非嵌入式及FPGA等各类软件第三方确认测试过程中软件缺陷的发现,提高软件测试的充分性和有效性。分别从测试度量平台搭建的重要性以及该平台应用于测试过程中软件缺陷度量、分析及预测等方面进行深入剖析,为提高软件测试的效率,发现软件开发设计缺陷提供有效真实的依据和方法。

关键词： 模型检测   状态空间爆炸   软件测试   LOTOS   μ-演算  

摘要： 为了实现对伪代码的模型检测并且能够缓解模型检测中的状态空间爆炸问题,提出了测试目的引导的模型检测方法。该方法的基本思想是首先对伪代码进行模块划分并对每个模块进行建模,获取基本路径的集合并以流图的方式进行存储;然后利用自主开发的转换工具实现流图到国际标准语言LOTOS的转换,再利用自主开发的辅助工具μ-演算编辑器对测试目的进行描述;最后使用模型检测工具验证被测程序是否满足测试目的。实验结果表明,测试目的引导的模型检测方法能够实现对伪代码的模型检测,并且可以缓解状态空间爆炸问题。

关键词： 医用软件   测试技术   项目驱动   课程建设  

摘要： 分析目前医用软件测试技术课程建设遇到的挑战,阐述通过课程体系梳理、项目驱动课程组织及实施、校企合作等方法对课程进行建设,培养符合社会需要的职业人才。

关键词： UTP   软件测试   测试建模  

摘要： 对软件测试过程的现状进行了分析,并对对象管理组织(Object Management Group,OMG)提出的测试建模标准(UMLTesting Profile,UTP)进行了简要介绍,对UTP的建模特点进行了分析,最后结合实例对UTP进行测试建模的有效性进行了说明。

关键词： 手机软件   测试   流程  

摘要： 智能手机的兴起使得手机功能得到了前所未有的扩展,除了基本的通讯功能之外,网络、多媒体功能早已成为必需配置,甚至于基于数据网络的手机支付、可穿戴设备管理等新功能都已经逐渐展开。手机功能的实现需要进行相应软件的开发,之后为了保证软件的功能和性能需求,需要进行相应的测试,本文重点对手机软件测试的流程进行了整体性分析。

关键词： 软件测试   子路径扩展   不可达路径检测   约束求解  

摘要： 不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.

关键词： 软件工程   系统测试   效率提升  

摘要： 作为提升研发效率的活动之一,部门开展了提升"软件测试效率"的项目。本文从定义目标、找出可改进因子、筛选因子、制定解决方案、实施等方面进行了介绍,事实证明引入科学测量统计方法进行效率改进对于有效提升企业研发效率有显著效果。

关键词： 软件测试   自动驱动   测试用例  

摘要： 针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱动方案,在此基础上,根据舰船嵌入式软件的业务逻辑,研究了测试用例建模方法,包括测试用例数据模型、行为模型和测试用例模型特性,给出了测试用例自动驱动方法,并且以上述方法为基础对测试用例自动驱动平台进行了设计,给出了平台硬件组成和软件设计方案;最后,利用测试用例驱动平台对某软件进行了测试应用验证,验证结果表明利用测试用例驱动平台可以显著提高测试效率。

关键词： 软件测试   UI测试   测试驱动   极限编程  

摘要： 在软件测试中,UI测试是保证软件质量、提高软件可靠性不可或缺的一部分,而基于单元的测试驱动开发对UI的关注度不够,本文探讨了适用于测试驱动开发的UI自动化测试框架需要的性质以及框架结构,并用开源框架KIF展示了UI自动化测试在测试驱动开发中的应用。

关键词： 软件测试   软件可靠性   测试用例优先级   依赖结构   深度优先搜索  

摘要： 优先级技术能够在不减少测试用例规模的情况下,提高测试用例集的性能。为了降低测试工作量,已有的很多文献通常假定测试用例是独立的,但在实际测试中,测试用例之间存在依赖关系,并且只有考虑了依赖关系的测试才能正常运行。针对这个问题,文章将依赖关系引入到优先级技术,提出了一种基于依赖结构的测试用例优先级技术,首先将依赖关系转化为量化指标依赖深度,然后以此指标为权重函数,运用加权的深度优先搜索算法进行测试用例排序。结果表明:与随机排序和基于功能覆盖的优先级技术相比,减少了测试代价,提高了缺陷检测率。