教学课程资源库 更多>>

ISBN: (纸本)9787307095403

关键词： 等价类   判定表   软件测试  

摘要： 软件测试的类型通常分为白盒测试和黑盒测试,其中基于等价类的划分法与基于判定表的测试法都是较为典型和实用的黑盒测试技术方法。在实际工作中,为了使测试用例的覆盖更加全面,测试目的更加明确,通常不仅仅局限于某一种测试手段。针对等价类和判定表这两种方法各自的特点,可以将两者有机结合,通过对输入条件进行等价类划分,对输出行为进行判定表列举,用综合的手段进行软件测试工作,从而达到使测试用例的设计覆盖全面、条理清晰的目的。

关键词： 软件测试   多重中断   不确定性   并发错误   共享资源  

摘要： 为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境。实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析。

关键词： 机载软件   软件测试   测试策略  

摘要： 归纳、分析了机载软件所特有的实时性、反应性、嵌入式、高度的可靠性及安全性的特点,并依据其特点提出了机载软件的测试策略。在综合分析讨论的基础上,总结得出了进行机载软件测试的原则和方法,对保证机载软件质量,提高其稳定性、可靠性、安全性具有指导意义。

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

摘要： 在基于软件产品度量值的缺陷预测中,度量值主要是基于两个层次:类/文件层次和包/组件层次。类级别的预测模型通常会有更好的预测效率,而包级别的模型往往能得到更好的查全率及查准率。提出综合类级别和包级别度量值进行缺陷预测的方法,在类级别预测的基础上,使用包级别预测的信息对类级别进行调整,在类级别预测中融合包级别预测中所隐含的问题域信息。通过基于Eclipse3.0系统的实验发现,该方法能够有效改善缺陷预测的效果。与类级别的缺陷预测模型相比,综合包级别度量值的缺陷预测方法提高了5%到8%的查全率。同时在预测效率上,测试出50%的缺陷,使用该方法可以有效减少3.6%到9.84%的代码检查量。

关键词： 软件可靠性   软件测试   关系  

摘要： 软件测试的目的就是通过对软件的测试找出软件中存在的问题,从而确保软件的可靠性。由此可见,软件可靠性与软件测试是息息相关的,软件可靠性离不开软件测试的支持。本文通过对软件可靠性和软件测试的相关理论进行分析,进而对软件可靠性与软件测试的关系进行了阐述。

关键词： 软件测试   单元测试   静态分析   度量  

摘要： 单元测试是软件测试过程的第一站,高质量的单元测试是软件质量保证的必要条件,本文就单元测试的概念、测试类型及规程作了简单的阐述,同时就单元测试进行了案例分析。

关键词： 串行通信口   ADSP218x   寄存器   串行数据接收/发送(DR/DT)   接收/  

摘要： 本文通过举例简单介绍了一种兼容ADSP_218x系列串行通信口在各种模式下的软件测试方法。通过Visual DSP++对串口一系列寄存器的配置,用Modelsim对收发数据进行仿真、查看波形以及读取仿真后的Memory List中的数据并与所发送的数据进行比较以验证整个串口的正常工作。本测试中采用了数据自发自收的方法,测试过程中每次只需对配置地址进行改变,并在仿真中施以不同激励,无需硬件改动、采取灵活的配置方式,比以往很大程度上降低了系统测试的难度。

关键词： 软件单元测试   测试用例   模块化  

摘要： 随着计算机技术的飞速发展,软件测试技术已作为一项单独的科目从软件工程领域分离了出来。测试是为做出的软件更好地满足用户需求而进行的一致性测评,即测量最终结果是否与需求分析中的用户需求相吻合或吻合程度。测试方法种类繁多,最基本的有黑盒测试和白盒测试。测试的模块化分析的作用也日益突出,对一个大的软件可以分模块,分单元测试。测试用例的设计技巧性也很强,比如选取最具代表性的用例,使测试文档更加精简。另外,随着测试技术的不断发展,也出现了许多优秀的测试工具,比如:QAC,McCabe,Eunit等,它们使我们对测试事半功倍。

关键词： 全程软件测试   质量管理   规范  

摘要： 本文首先介绍了"全程软件测试"的定义、思想,分析了当前软件测试教与学中存在的不足,提出了"全程软件测试"教学中的关键内容以及教学方法,结合软件测试实际的工作过程,在软件测试技术这门课程的教学中取得了良好的效果。