教学课程资源库 更多>>

关键词： 软件测试   第三方测试   大型信息系统   过程管理   结果管理  

摘要： 为了提高信息系统质量,降低风险,需引入独立的第三方测试。总结了大型信息系统建设过程中第三方测试的管理经验,论述了第三方测试的工作机制、各阶段的工作任务、过程管理和结果管理4个方面。

关键词： 软件测试   优化测试策略   自适应测试策略   受控Markov链   资源约束  

摘要： 基于简化的受控Markov链软件自适应测试模型大多是研究如何以最小的期望成本检测并移除所有的缺陷,并在构建模型时对部分条件进行特殊化和理想化处理.针对受控Markov链软件测试模型适用范围小、效率低的缺陷,在软件控制论思想基础上,对制约条件进行了一系列新的转换,提出一种改进的、资源约束的受控Markov链模型,该模型能够在高效性、复杂性和适用性3方面达到一个平衡.根据该模型设计一种新的软件缺陷优化测试策略,再通过参数估计对优化测试策略进行在线调整的方法,以构造软件自适应测试策略.为了证明其有效,利用该模型得到的新的软件自适应测试策略进行仿真实验,进一步得到了有效结果.

关键词： 软件测试   分类   软件开发   测试分析  

摘要： 在软件开发过程中,软件测试是重要组成之一,常用来检验一个开发好的程序的性能是否达到了开发之前的预期效果。软件测试方法的分析在整个测试过程中占据了很重要的位置。软件测试分析完成了,可以在测试前期就发现一些项目设计考虑不足的地方,降低了项目的风险,节约了测试的成本,提高了测试的效率。

关键词： 软件测试   THDS   测试过程   模型选择  

摘要： 详细介绍了THDS项目中的软件开发,软件测试过程及模型选择,软件测试的实施规划以及THDS项目中采用的测试方法。

关键词： 软件测试   组织管理   黑盒测试   白盒测试  

摘要： 现今软件开发的规模越来越大,作为软件开发的重要环节,软件测试越来越受到人们的重视,软件测试的重要性更加突出。文章主要探讨软件测试中的各种影响因素和软件测试质量的提升,以及测试管理阶段采用的方法和人员的组织。

关键词： 软件测试   覆盖率测试   嵌入式软件   测试方法   LDRA   Testbed  

摘要： 覆盖测试是检验嵌入式软件功能结构正确性以及查找问题的重要方法和手段。纯粹的人工测试工作量大、操作不方便、周期长,需要借助一定的工具才能取得较好的效果。使用测试工具LDRA Testbed进行了覆盖率测试,达到了一定的语句、分支以及LCSAJ覆盖率。测试过程说明了该工具能够有效获取被测软件的动态覆盖率信息,评价测试用例的完整性,并有针对性地补充测试用例,进而提高软件测试的覆盖率,帮助决定何时终止软件测试。

关键词： 软件测试   参数化单元测试   符号执行  

摘要： 近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点。符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用。重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势。

关键词： 有限状态机   软件测试   用例生成算法   用例集  

摘要： 研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性。基于状态机分解的思想提出了新的用例生成方法,DC-方法。相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例。并给出了生成用例方法的正确性证明。

关键词： 国产基础软件   兼容性测试   软件测试  

摘要： 近年来,随着我国基础软件产业的蓬勃发展,操作系统、数据库软件、服务中间件、基础办公软件等国产基础软件[1]已得到广泛的应用。然而,国产基础软件产品组合关系的复杂性以及引起国产基础软件应用平台兼容性问题的不确定性,给国产基础软件应用平台兼容性测试带来了一定的困难。对此提出了一种基于依赖关系的国产基础软件应用平台的兼容性测试方法DRBA(Dependency Relationship Based Approach),给出了DRBA方法的具体描述和测试执行策略,并以C/S的方式设计实现了基于DRBA的兼容性测试工具,应用一个实例验证了DRBA的可用性和有效性。

关键词： 软件测试   成对组合测试   测试用例生成   遗传算法  

摘要： 测试数据生成是组合测试的一个关键问题,但是组合测试用例集的构造问题的复杂度是NP完全的。提出了一种成对组合测试用例集整体优化和生成的方法。该方法通过编码机制将测试用例数据的生成问题转换为一个基于二进制编码的最优化问题,同时使用遗传算法对此编码空间进行搜索,并对所发现的最优个体进行解码,构造产生最佳测试用例集。实验结果表明,该方法简单高效,且具有解的质量高、时间消耗小的特点。