基于LDRA Testbed的软件完整性静态测试方法研究.pdf

《基于LDRA Testbed的软件完整性静态测试方法研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、软件技术与研究学术探讨2014年第4期基于LDRATestbed的软件完整性静态测试方法研究王玮（南京航空航天大学计算中心，江苏南京211106）[摘要]根据软件测试工具LDRATestbed的特点，本文提出了一种基于LDRATestbed的软件完整性静态测试方案。该方案策略性选取四种测试方法，详细描述了每种方法的测试过程，输入项和输出项。实际运用中表明此方案极大提高了测试效率和测试规范性。[关键词]静态测试；测试方法；LDRATestbed那么如何进行文档分析呢？文档分析的检查内容可以1．引言根据具体的测试内容进行调整，最终形成文档审查单。测试软件测试的经典定义是：在规定的条件

2、下对程序进行操人员按照文档审查单中的每一检查项，对被审查文档逐项分作，以发现程序错误，衡量软件质量，并对其是否能满足设计析。若发现有不符合项，则在问题报告中列出。文档审查单要求进行评估的过程。软件复杂度的增加，可能导致软件结主要内容可以包括：构不合理，代码编写不规范，存在代码缺陷。在软件开发或(1)文档是否符合对应的编写标准；测试过程中引入静态测试，有利于开发人员更好了解系统，(2)文档中是否存在需求未描述的功能；坚持编码质量标准，判定系统的复杂性，发现更多的代码缺(3)文档和上层文档中对术语、简称等名词的描述是否陷[1]。本文将软件测试方法和软件测试工具LDRATestbed一

3、致；有效结合，提出一种基于LDRATestbed的静态测试完整方(4)软件需求描述文档是否与用户需求对应；案。(5)软件设计文档是否与软件需求描述文档和软件接口2．静态测试描述文档对应；(6)软件设计文档是否说明了软件结构、输入/输出、资源静态测试是指无需执行被测代码，而是采用人工检测和配置、性能要求、兼容性分析、异常处理等；专用软件测试工具辅助静态分析的手段对代码进行检测，主(7)软件接口描述文档是否说明各个接口的用途和等要检查代码和设计是否一致，代码是否遵循编码规范，代码级；的逻辑表达是否正确，代码结构是否合理性等方面。(8)软件接口描述文档是否说明了接口的值域和精度；据统计

4、，静态测试比动态测试更快速有效，可以发现(9)用户手册描述是否简明清晰；30%～70%的逻辑设计和编码错误，静态测试完成的质量越(10)用户手册是否说明了软件输入，同时给出预期输高，将会极大减少整个测试的总工作量。因此，如何进行高出；质量的静态测试显示十分重要。本文根据各种静态测试方(11)用户手册是否说明了终止软件操作；法的特点和专用软件测试工具的功能进行策略组合，将静态(12)用户手册是否说明了软件错误信息的含义及异常测试分为4个阶段，文档分析、计算机辅助静态分析、代码审处理方法。查和评审，详细描述4个阶段的测试内容和输出结果，使之构2．2计算机辅助静态分析成完整的静态测试方

5、案。静态测试的第二个阶段是计算机辅助静态分析。这一2．1文档分析阶段的输入项是被测试的源代码，测试过程是利用专用软件静态测试的第一个阶段是文档分析。这里的文档是指测试工具辅助静态分析，对被测试的源代码进行特性分析，与代码对应的软件需求描述文档、软件设计文档、软件接口从代码中提取一些信息，以便检查代码逻辑的各种错误和可描述文档、用户手册等。这些软件开发文档作为这个测试阶疑的程序构造，如错误地使用局部变量和全局变量、不匹配段的输入项；测试过程主要通过人工测试，即不依靠计算机[2]的参数、潜在的死循环以及不会执行到的代码等。人工审查文档；审查结果和测试过程中发现的文档异常或缺软件测试工

6、具的应用可以提高测试的质量、测试的效陷最终生成的问题报告，作为这个测试阶段的输出项。本项率、减少测试过程中的重复劳动、实现测试自动化。软件测测试的目的是通过分析对文档的完整性、一致性和准确性进试工具的种类众多，其中LDRATestbed功能强大而且全面，行检查。能够实现汇编语言、C/C++、Fortran、Ada等语言的静态和动——————————————作者简介:王玮，女，安徽淮南人，硕士，助理工程师，研究方向：软件工程、计算机技术与应用。-49-学术探讨软件技术与研究2014年第4期态测试。在静态测试方面，LDRATestbed提供强大的包括编码规则检查在内的静态分析功能和全

7、面的静态分析报告，用户可以选择行业认可的标准，如MISRAC、DERA、AVC++等。提供软件质量的度量，以可视化的方法了解代码的复杂性，提供详细的函数调用关系和程序控制流程图，自动生成报告，提供软件质量文档。提供接口分析、识别潜在的错误程序变量，对所有过程参数以及函数的全局变量和返回值进行分析。LDRATestbed的静态分析是在对源代码的语法分析的图2LDRATestbed函数调用关系图和程序控制流程图基础上进行的，源代码可以是单个文件也可以是完整的一个工程。对于多个文件，L