教学课程资源库 更多>>

关键词： 软件测试   W模型   测试设计  

摘要： 该文首先简单分析了软件测试重要性,然后介绍了W模型及其对软件测试的指导作用,最后以模拟Margarita Mid的COPY模块为为测试对象,采用W测试模型,以等价类划分、边界值分析、错误推测法为主要方法,实现从需求分析、系统设计到编码各个软件开发阶段的测试设计与实现。

关键词： 软件测试   课程教学   课程建设  

摘要： 软件测试人员极度匮乏,软件测试人才的培养已经成为高校最迫切的任务之一。该文对软件测试课程教学进行了深入的分析,以黑盒测试边界值分析法为例分析了软件测试专业课程的教学形式,为其他高职院校软件测试专业课程建设提供了借鉴。

关键词： 嵌入式系统   软件测试技术   计量器具   设备系统   计算系统   实时计算   消费电子   通信产业  

摘要： 嵌入式系统是一种为执行实时计算而设计的专用计算系统．一般安装在其他物理设备系统中．主要用于控制、龄视或辅助某个设备、机器或装置。嵌入式系统对功能、时间、安全性、可靠性、成本、体积、功耗等方面都有严格的要求，广泛应用于丁业控制、消费电子、通信产业、制造系统、家用电器、医疗设备、电力电网、汽车制造、交通、航空航天等众多民用及军事领域，对国民经济和国防建设产生着越来越重要的影响。

关键词： 软件测试   自动化测试  

摘要： 本文分析了软件测试技术的现状,描述了软件自动测试技术的发展过程,并提出了软件自动测试技术的各种研究方向。

关键词： 机载软件   软件测试模型   Y模型   全过程模型  

摘要： 针对机载软件测试需要高可靠性、高安全性和高稳定性等特殊要求,设计了一个新的过程模型———Y模型,该模型以W模型为基础,添加了编码验证功能,完整体现了整个机载软件的开发和测试过程,并支持迭代及变更,缩短了研制的周期,再结合Y模型的特点和在实际工作中的具体应用步骤,采用LogiScope套件中的Audit、TestChecker两个模块对设计的Y模型进行了实验测试和分析;实验结果证明Y模型能提高软件的测试效率和可靠性。

关键词： 软件测试   星敏感器   边界测试  

摘要： 介绍一种新的星敏感器软件的测试方法,该测试方法能高效地完成第三方测试工作,实现实验室环境下对星敏感器的黑盒测试。通过对外场获得的星图的人工干预,即增加、减少、平移星点来实现不同的测试用例,实现边界测试。该方法能够复现测试过程,准确定位软件问题,已成功应用于三种型号的卫星软件测试中。

关键词： S2E   软件测试   漏洞挖掘   Qemu虚拟机   并行性能分析  

摘要： S2E是一款开源的基于Qemu虚拟机并结合KLEE以及LLVM的软件安全测试平台,其主要优越性体现为:支持全系统控制;支持多平台分析;支持多核以提高分析效率。分析研究该平台,对软件测试、漏洞挖掘都具有现实意义。S2E的成功得益于对符号执行、动态二进制翻译和虚拟机技术的运用。文章着重介绍S2E的架构,插件的使用实例,并结合实例分析S2E的并行性能。

关键词： 高职院校   软件测试   课程体系   区域经济  

摘要： 基于软件测试专业培养目标,分析了软件测试专业的岗位需求,提出了以就业为导向的高职软件测试专业课程体系设置思路,并给出了完善课程建设的相关建议。

关键词： 软件测试   测试用例集   两两组合测试   贡献度   有序配对集  

摘要： 为在两两组合测试中获得近似最小的测试用例集,提出一种基于贡献度的两两组合测试用例自动生成算法。生成满足覆盖要求的有序配对集,根据有序配对集生成初始用例集,对初始用例集进行简约,获得测试用例集。实验结果表明,该算法生成的测试用例数目较少,算法效率较高。

关键词： 测试   自动化测试   自动化测试框架  

摘要： 随着软件行业的发展,软件质量直接影响软件企业的生存与发展,软件测试作为一个重要的工程过程,对软件质量保证起到关键作用。传统的测试技术在某些项目中,已经无法有效地进行测试,自动化测试应运而生。结合软件测试自动化的特点、自动化测试框架等几个方面对软件测试自动化加以阐述。