教学课程资源库 更多>>

关键词： 全数字仿真   嵌入式软件测试   CRESTS/TESS  

摘要： 嵌入式软件的广泛应用决定了其质量的重要程度。本文介绍了全数字仿真技术的特点,利用CRESTS/TESS构建了全数字仿真测试环境,针对嵌入式软件测试的重点和难点提出了综合解决方案,这对于提高嵌入式软件的质量具有一定的借鉴意义。

关键词： 云计算   软件测试   服务   研究  

摘要： 如今,云计算已经成为一种领先于各种计算资源的信息化技术,在软件开发的测试过程中运用云计算,是云计算在软件测试应用领域的一项创新。云计算软件测试对于软件开发来说,扮演着不可替代的角色,它不但可以及时发现程序中出现的错误,而且可以同时执行各项程序,还能够通过帮助识别实现软件开发的完成,从而在各个环节促进软件开发的完善与发展。该文通过对基于云计算的软件测试的概况、特点、目前存在的问题及解决方案等方面来进行着重介绍,以加深人们对云计算环境下软件测试服务方面的了解,便于促进软件测试服务更好更快的发展。

关键词： 农业专家系统   遗传算法   粒子群算法  

摘要： 针对中国农业专家系统研究中存在的问题,介绍软件自动化测试。重点介绍了遗传算法、粒子群算法,将其应用到路径选择和路径覆盖用例生成。并对比两种算法的进化代数和进化时间,选择出一种相对好的算法。

关键词： 嵌入式软件   软件测试   嵌入式软件测试  

摘要： 本文介绍了嵌入式软件测试的概念,通过分析嵌入式系统下软件的独特性,重点讲解了嵌入式软件测试方法,测试工具等方面内容。

关键词： 高职院校   软件测试   分层次教学   教学改革  

摘要： 软件测试作为高校计算机软件专业的一门新课程,传统的软件测试教学模式往往存在理论与实践脱节等问题,基于此分析目前软件测试课程的现状,讨论存在的问题与困难。如何调整软件测试教学方法以适应IT界的人才需求已成为一个亟待解决的问题,为此提出修订大纲、分层次教学等措施,并针对实训室建设,给出了一个比较合理的软件测试实训室建设方案。

关键词： 软件测试   课程群   测试过程管理  

摘要： 针对目前高校软件类测试课程存在的课程体系不规范、教学资源缺乏、测试过程不规范、测试管理随意等现状,提出建设软件测试课程群、引入案例式教学、组建学生测试团队、规范软件测试流程等建议。

关键词： UML序列图   有向序列图   软件测试   测试用例自动生成  

摘要： 传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高质量、高覆盖率测试用例的自动生成.该方法以UML序列图模型为基础,定义了与其等效的形式化DSG模型,并提出一种UM L序列图模型到DSG模型的自动转换算法,基于转换得到的DSG模型,采用逐层递进的遍历方式获取所有测试路径以生成测试用例.在某系统软件中的测试应用结果表明,该方法可有效生成测试用例,并且具有较高的测试效率和测试覆盖率.

关键词： 并发缺陷   死锁   数据竞争   原子性违背   顺序违背   程序分析   软件测试  

摘要： 当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以检测、调试和修复.文中指出软件开发正从顺序模式转向并发模式的趋势,揭示并发程序和并发缺陷各自的三大特点,剖析并发缺陷面临的三大挑战,然后将并发缺陷分为死锁、数据竞争、原子性违背和顺序违背4类,并讨论4类并发缺陷的相互关系,接着就如何尽快暴露、及时检测和高效规避各类并发缺陷对已有研究作出分析、比较和归纳,最后从智能快速的缺陷暴露、通用准确的缺陷检测、确定性重放支持、软硬件协同设计和新的并发编程模型等5个方面展望了未来的研究重点.

关键词： 扩展语义接口自动机   符号执行   测试用例生成  

摘要： 随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.

关键词： 嵌入式软件   测试   自动化技术  

摘要： 本文就对嵌入式软件测试自动化技术进行深入分析和探讨。