教学课程资源库 更多>>

关键词： 信号发生器   软件可靠性   编码规范   软件测试  

摘要： 该文结合软件可靠性设计技术的发展现状和微波矢量信号发生器软件总体设计要求,从软件工程化设计、软件开发工具选择、软件代码规范编写和软件容错纠错技术等方面采取相应技术措施,进行软件可靠性设计。最后,通过完整的软件测试,验证了该文所提出的微波矢量信号发生器软件可靠性设计技术的有效性和可用性。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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