嵌入式软件覆盖测试的研究和应用

基于软件覆盖率测试的基本理论,针对嵌入式软件测试的特点和难点,介绍了如何利用测试工具LDRA testbed获取嵌入式软件的结构覆盖率,给出了测试环境建立、源代码插装等具体实践过程,并进一步总结了嵌入式软件覆盖测试的经验和方法。     

基于LDRA Testbed的单元测试用例设计及案例分析

随着测试工具功能的逐渐强大,软件测试技术有了进一步的提高。其中单元测试是软件测试的基础,是发现软件缺陷,保证软件质量的必要步骤。本文以LDRA Testbed测试工具为基础,以单元测试的基本概念出发点,详细说明了单元测试中几种常见情况的用例设计方法,并且对实际案例进行分析,使得满足测试中相关覆盖率要求。测试结果表明LDRA Testbed进行单元测试时可以有效提高软件质量。     

基于嵌入式软件的覆盖测试问题研究

覆盖测试是保证软件测试的充分性和查找软件问题的最直观,最有效的方法之一。针对实时嵌入式软件的特点,结合嵌入式软件覆盖测试的原理,介绍了利用McCabe测试工具进行嵌入式软件覆盖率分析的方法和技术。同时针对嵌入式软件覆盖测试中遇到的特殊问题,提出了有效的解决方法。     

基于Testbed、TBrun的航天型号软件单元测试应用

本文首先介绍了航天型号软件单元测试的定义和软件单元测试的意义,然后,介绍了主要测试的内容、方法和通过准则,最后以测试工具Testbed、TBrun针对汇编语言举例详细阐述了单元测试的方法。通过这些例子表明单元测试能发现软件调试过程中不能发现的潜在问题,从而有效地提高了软件的可靠性、健壮性,为后续测试、软件验收和交付打下坚实基础。     

一个面向路径的软件测试辅助工具

软件测试作为保证软件质量、提高软件可靠性的重要手段．路径覆盖准则就是考察软件测试充分性的一种重要准则．由于严格的路径覆盖测试不可实现，选择一些对软件整体质量影响较大的重点路径进行测试，以提高软件测试工作的效率和效益．主要针对面向对象的软件系统提出了一种通用的基于统计的自动化辅助工具，通过对程序代码的静态分析和插装，以及由大量随机测试用例驱动所得到的统计分析结果，为软件的功能测试和可靠性测试中的重点路径选择提供参考依据．对该工具的主要思想、相应算法以及一些具体的实现问题进行了阐述．     

Testbed套件在航天嵌入式软件中的应用

随着航天技术的发展,航天软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测航天软件作出准确评价,使用高级的自动用例生成工具可以克服这些困难,但是完全的测试用例自动生成几乎是不可能的。本文介绍了人工设计测试用例和使用Testbed工具自动生成测试用例两种测试用例生成方法的优缺点,通过分析提出了一种Testbed测试工具辅助的测试用例设计方法,最后,以X型侦察处理DSP嵌入式软件为例,介绍了使用Testbed套件辅助测试用例生成和测试的具体方法步骤。     

软件结构测试自动化关键技术研究

基于自主开发的自动化白盒测试工具WBoxTool，本文对开发软件结构性测试自动化工具的一些关键技术进行了研究，重点研究了静态测试、插装技术和自动测试用例选择技术。并介绍了WBoxTbol的系统体系结构。分析和探讨了当前基于结构的软件测试中存在的问题和进一步的研究方向。     

基于插桩技术的动态测试研究与实现

为了动态进行白盒、黑盒测试,设计实现了基于源代码插桩的动态测试工具,该工具包含了源代码的预处理方法、插桩库设计、插桩策略以及统计分析等内容。通过对源代码的语法、词法分析,对其插桩能获取最高的准确度,并且设计在函数执行,结束之前统一将桩信息写入桩文件中,减少了大量的I/O操作。最终,通过测试用例的执行获得了覆盖率、执行时间、复杂度等测试数据,正确地得到了测试用例优劣性的指标。     

EWFT:基于程序执行过程的白盒测试工具

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-based Whitebox Fuzzing Tool)原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相比国际上同类测试工具,能够更加有效地检测出不同软件中存在的多种类型的程序漏洞.     

室内移动网络覆盖环境分析与设计

重点介绍了解决商场室内移动网络覆盖的设计思路,研究了解决室内覆盖分布系统的原理,根据目前室内覆盖现状确立了几种解决方案,并对设计方案中的直放站、微蜂窝等方式进行了分析比对,归纳出各种覆盖方案的适用地域、优缺点、关注事项等。针对商场的实地调查与测试情况选定设计方案,通过理论计算确定信源、传输方式、规划重点等,方案实施后,通过模拟发射器进行现场覆盖模拟,使用爱立信的测试工具进行覆盖场强和覆盖质量的前后效果测试对比,验证了设计的可行性,为提高网络覆盖率、改善网络质量提出了可行性方案。     

Measuring C program coverage based on binary decision diagrams

Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.     

软件测试数据自动生成方法研究

在对软件进行测试中,生成测试用例是一个工作量巨大的工作,若是依靠手工方式生成测试数据则极有可能出现错误.为了保证测试的充分性,测试用例的有效性,本文研究了如何进行测试数据的自动生成,提出了基于遗传算法的软件测试数据的生成方法.本方法利用遗传算法实现测试数据的自动化生成,并在生成的过程中并对测试数据进行测试,解决了路径覆盖的测试.     

TEST COVERAGE ANALYSIS BASED ON PROGRAM SLICING

Coverage analysis is a structural testing technique that helps to eliminate gaps in a test suite and determines when to stop testing.To compute test coverage,this letter proposes a new concept-coverage about variables,based on program slicing.By adding powers according to their improtance,the users can focus on the important variables to obtain higher test coverage.The letter presents methods to compute basic coverage based on program structure graphs,In most cases,the coverage obtained in the letter is bigger than that obtained by a traditional measure,because the coverage about a variable takes only the related codes into account.     

基本路径测试方法在仿真训练软件测试中的应用

覆盖率测试是仿真训练软件白盒测试的重点。研究了仿真训练软件测试的特点,分析了仿真训练软件测试的关键点,应用基本路径测试方法间接的实现了仿真训练软件全路径覆盖问题。通过实例验证,该方法可以较好的提高仿真训练测试效率、降低测试成本。     

系统测试的应用

系统测试在软件测试生命周期中占有重要地位,在软件产品正式发布和投入运行之前必需通过正式、全面的系统测试以确认其是否符合需求.介绍了如何在企业内部开展系统测试工作,总结了系统测试的基本工作流程和方法.     

基于MC/DC准则的确认测试用例生成方法

形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试。以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性。     

基于VxWorks的逻辑覆盖测试方法

本文描述了逻辑覆盖测试的基本原理,分析了嵌入式实时软件逻辑覆盖测试的难点,详细介绍了一种可行的基于VxWorks的逻辑覆盖测试方法,可有效应用于对实时性要求较高,硬件资源有限的嵌入式软件测试中.