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

根据软件测试工具LDRA Testbed的特点,本文提出了一种基于LDRA Testbed的软件完整性静态测试方案。该方案策略性选取四种测试方法,详细描述了每种方法的测试过程,输入项和输出项。实际运用中表明此方案极大提高了测试效率和测试规范性。     

LDRA Testbed中常用覆盖测试方法研究

使用LDRA Testbed对实例进行覆盖测试,介绍了获得语句覆盖率、分支覆盖率以及MC/DC覆盖率的方法,同时阐述了这3种覆盖测试方法的优劣,表明了LDRA Testbed能够有效获取被测软件的动态覆盖率信息,降低测试难度,提高测试效率。     

基于LDRA Testbed的民用机载软件静态测试方法

静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤。介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。     

嵌入式系统软件可靠性设计与测试方法

通过设计与初始化ARM s3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问,有效增强了嵌入式系统软件的可靠性.并利用LDRA Testbed测试套件对项目中的代码进行了静态分析、复杂度分析、图形化分析,得出了各项测试结果,准确地评估了所设计出的系统的可靠性,并给出了优化建议.     

基于 DSP 的嵌入式软件测试方法

基于DSP的嵌入式系统因为其优异的高效性和实时性,在通信、军事、航空等多个领域得到了广泛应用。然而,由于嵌入式软件的硬件环境复杂等特点,一直缺乏行之有效的测试方法和工具。本文深入分析基于DSP的嵌入式软件的测试方法,并以软件测试工具LDRA Testbed为例,详细介绍基于DSP的嵌入式软件测试的一般方法,最后使用软件测试工具LDRA Testbed验证测试方法的有效性。     

嵌入式软件的覆盖测试

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

实用软件测试方法研究

分别讲述了实施GJB5000A二级软件管理过程中,软件单元测试、集成测试、合格性测试的管理过程和测试方法,并结合相应的测试工具,设计了使用C++test进行单元测试中动态测试的方法,使用Klocwork进行单元测试中静态测试的方法,使用Testbed进行集成测试的方法,使用QTP进行合格性测试的方法。实践证明,这些方法大大提高软件代码的规范性、稳定性、可靠性等,在提高软件验证、测试水平及软件产品质量等方面具有明显的优势。     

面向集控嵌入式实时软件的单元测试方法研究

针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。     

自动采集Testbed工具中软件质量因素的方法研究与应用

静态分析Testbed工具,生成QualityReviewReport,包含了各个函数模块的圈复杂度、扇入数、扇出数等质量因素。单元测试中,静态分析必不可少。软件测试报告中,上述质量信息是分析、评价软件函数模块的基础。鉴于此,研究与探索一个基于Testbed生成的QualityReviewReport,通过网页数据抓取、数据分析,完成采集、统计和输出圈复杂度、扇入数、扇出数等质量信息的自动化方法。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

基于LDRA的嵌入式软件覆盖率测试方法

基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应注意的问题．提出了单文件和多文件两种方式的覆盖率测试方法。对于嵌入式软件测试,具有实际参考价值。     

基于LDRA的嵌入式软件覆盖率测试方法

基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应注意的问题,提出了单文件和多文件两种方式的覆盖率测试方法。对于嵌入式软件测试,具有实际参考价值。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

基于Testbed的C++单元测试(动态测试)方法

自动化单元测试是保障通信类软件质量的重要手段,业界没有什么普适性方法。但通常是借助于第三方工具。本文介绍的Testbed测试工具套件是通第三方认证公司认可的安全软件测试工具,能够支持多种语言的自动化测试．本文主要介绍了如何使用TESTBED测试工具对C＋＋代码进行单元测试,对测试方法进行介绍,并从工程实践的角度,进行了测试步骤分解,最后从软件开发和项目管理的角度对单元测试的组织给出了建议。     

基于LDRA TBrun软件集成测试的研究

Integration testing is to ensure that each functional module is correct and performs well, so that these modules can be as- sembled together to work well. The manual testing method of the tester alone cannot effectively evaluate the tested aviation soft- ware, and the use of advanced automated testing tools can overcome these difficulties. This paper introduces the method and process of integration testing with Testbed suite tool TBrun through a practical test project.