基于过程型语言的软件故障分类方案探讨研究.pdfVIP

软件测试学术交流论文集 基于过程型语言的 软件故障分类方案探讨 王丽娜 (宇航智能控制技术国防科技重点实验室) 摘要对软件故障进行分类能够提高软件测试的针对性和有效性及软件测试的 工作效率．本文简要分析了对软件故障进行分类的弘要性，介绍了几种有代表性的 软件故障分类方案，并从过程型语言程序产生软件故障的根本原因入手，以在实际 测试工作中遇到的软件故障的症状为依据，分析了过程型语言程序中软件故障的表 现，提出了一种适用于过程型语言程序的软件故障分类方案． 关键词过程型语言，软件测试，软件故障 1引言 软件测试的方法和技术是多种多样的。实践证明，能够有效的检测出各种类型的软件 故障的测试策略是不存在的，同一测试策略对不同类型的软件故障，其测试效果各不相同。 某种故障能被这种测试技术发现，但却能够逃脱另一种测试技术检测的情况是经常出现的 【Il。因而，按照某种原则先对软件故障进行分类，然后再针对每类软件故障产生的不同原 因或症状，在软件测试阶段分别采取不同的措施，设计出有针对性的检测方法，可以提高 软件测试的针对性和有效性。 软件中每类故障发生的概率是不同的，在对软件故障进行分类后，通过统计以往各类 故障发生的概率，可以知道哪类故障在哪类软件中比较容易发生，进而分析出在进行软件 测试时，应对哪类故障花费较多的工作量进行重点检测，而对哪类故障可以花费较少的工 作量，这样可以提高软件测试的效率。 2几种软件故障分类方案 国外很多专家对大量的测试行为和测试结果进行了分析研究，分别从不同的角度、针 对不同的目的，提出了各种不同的软件故障的分类方案。这里简要介绍几种有代表性的分 类方案。 Goe 2．1 I的软件故障分类方案豫’ Goel的软件故障分类方案是一种按错误性质进行分类的方法。这种分类法可以加深对 错误发生规律的认识，有助于寻求避免错误产生的方法。该分类法将软件故障分为5类： 语法错误、语义错误、说明错误、运行错误、性能错误，其中运行错误又包括定义域错误、 计算错误、非终止错误。 117 软件测试学术交流论文集 2．2Thayer的软件故障分类方案圆 分类的原始信息是软件测试和使用中填写和反馈的问题报告，该分类法将软件故障分为16 错误：(14)性质不明的错误；(15)操作员错误：(16)问题。 i 2．3Howden／ZeI的软件故障分类方案田 Howden提出了软件故障的分类方案后，Zeii对该方案进行了合理的扩充，他们将软 件故障分为域故障和计算故障两大类。 域故障是指由于程序中出现了控制流的错误，而造成软件产生了不正确的输出的软件 故障，包括路径遗漏故障和路径选择故障；计算故障是指虽然程序按正确的路径执行，但由 于在计算过程中出现错误而产生了不正确的输出的软件故障，包括变量错误、表达式错误、 语句颠倒、语句遗漏。 2．4根据症状的软件故障分类方案旧 软件故障可以根据其症状和产生原因的不同分为18类：(1)内存或资源泄漏；(2) 码长度／尺寸；(17)版本故障；(18)布尔故障。 3过程型语言程序软件故障分类 过程型语言是面向描述算法执行过程的语言，它不必考虑机器的内部构造和不同机器 的特点，用它去解决一个问题，必须详细的描述算法，详尽的规定解题过程的每一个步骤。 它告诉Von Neumann机器一条指令、一条指令的去执行算法，其程序设计就是要详细的指 出计算机一步一步怎样做，直到规定出每一个细节。要对过程型语言程序中的软件故障进 行分类，就需要分析产生软件故障的根本原因和软件故障的表现。 3．1过程型语言程序产生故障的根本原因 首先，过程型语言程序中的赋值语句不服从引用透明性原理这一数学演绎的基本公 理，因而会产生一系列的副作用导致软件故障的产生。 其次，过程型语言程序中程序执行顺序的变化起因于条件转移和无条件转移。对于条 件转移，条件和判断是转移的前提，而条件生成