基于LDRA Testbed的历史文件获取方法比较分析

1

作者 丁锐 邢浩 李碧涵 《电脑编程技巧与维护》 2025年第4期40-42,共3页

在机载软件的验证过程中,结构覆盖率分析是确保软件质量的关键环节。LDRA Testbed作为广泛使用的工具,其历史文件的获取方法对分析结果的准确性和测试效率有着直接影响。研究比较了4种不同的历史文件获取方法,分析了它们的适用范围、实... 在机载软件的验证过程中,结构覆盖率分析是确保软件质量的关键环节。LDRA Testbed作为广泛使用的工具,其历史文件的获取方法对分析结果的准确性和测试效率有着直接影响。研究比较了4种不同的历史文件获取方法,分析了它们的适用范围、实现难易程度、优缺点,并提出了推荐方案。通过实际项目举例,验证了推荐方法的有效性,为机载软件的结构覆盖率分析提供了参考。 展开更多

关键词 ldra Testbed工具 结构覆盖率分析 历史文件获取 机载软件验证

在线阅读 下载PDF 职称材料

LDRA Testbed在轨道交通装备软件功能安全认证中的应用

2

作者 吕云壮 席开鑫 袭文娟 《工业控制计算机》 2025年第12期46-47,50,共3页

围绕轨道交通装备系统软件功能安全认证流程,挖掘其中针对软件测评活动所提出的各项细致要求,阐述了LDRA Testbed软件测试工具在契合相关标准的软件测评实践活动中的具体应用。旨在为后续轨道交通项目的软件测试流程构筑一套具有实用价... 围绕轨道交通装备系统软件功能安全认证流程,挖掘其中针对软件测评活动所提出的各项细致要求,阐述了LDRA Testbed软件测试工具在契合相关标准的软件测评实践活动中的具体应用。旨在为后续轨道交通项目的软件测试流程构筑一套具有实用价值的借鉴范例与参考指南,助力相关安全认证项目在软件测试环节能够精准施策、高效推进,全方位保障轨道交通设备的功能安全性。 展开更多

关键词 软件功能安全认证 ldra Testbed 软件测评

在线阅读 下载PDF 职称材料

LDRA TESTBED在航天软件测试中的应用 被引量：8

3

作者 李中萍 岳海 薛静 《航天控制》 CSCD 北大核心 2007年第2期73-77,共5页

提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的... 提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。 展开更多

关键词 软件测试 测试工具 ldra TESTBED

在线阅读 下载PDF 职称材料

基于LDRA Testbed的飞机中央维护系统覆盖测试 被引量：7

4

作者 邹会荣 《航空计算技术》 2010年第5期91-94,共4页

基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试... 基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。 展开更多

关键词 飞机中央维护系统 ldra TESTBED 语句覆盖分析 分支覆盖测试

在线阅读 下载PDF 职称材料

LDRA TestBed在弹载软件测试中的应用 被引量：6

5

作者 石磊 《软件导刊》 2008年第5期11-13,共3页

介绍了LDRA TestBed在弹载软件测试中的具体应用方法,并通过对软件进行静态和动态分析,发现了软件的缺陷,降低了项目的风险。

关键词 ldra TESTBED 软件测试 软件质量 静态分析 动态分析

在线阅读 下载PDF 职称材料

基于LDRA Testbed软件的单元测试

6

作者 孙小淋 《数字技术与应用》 2015年第9期61-61,共1页

LDRA Testbed测试工具辅助完成稿可靠性的军用软件测试工作,文章对LDRA Testbed的分析并进行单元测试,阐述了LDRA Testbed在软件测试中的作用。文章针对测试的对象进行了需求分析并形成报告,构建测试用例并对如何查看和分析动态覆盖率... LDRA Testbed测试工具辅助完成稿可靠性的军用软件测试工作,文章对LDRA Testbed的分析并进行单元测试,阐述了LDRA Testbed在软件测试中的作用。文章针对测试的对象进行了需求分析并形成报告,构建测试用例并对如何查看和分析动态覆盖率测试报告做了阐述。证明合理的使用该工具,能有效地提高软件测试的效率。 展开更多

关键词 单元测试ldra Testbed覆盖分析

在线阅读 下载PDF 职称材料

基于LDRA Testbed的软件静态测试研究与实现 被引量：7

7

作者 胡丹瑞 《计算机安全》 2012年第6期69-71,共3页

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。

关键词 静态测试 ldra TESTBED 编码规则 MISRA-C

在线阅读 下载PDF 职称材料

基于LDRA Testbed的民用机载软件静态测试方法 被引量：6

8

作者 周培 《计算机测量与控制》 2019年第7期107-110,149,共5页

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

关键词 软件测试 ldra TESTBED 静态测试 民用机载

在线阅读 下载PDF 职称材料

基于LDRA Testbed的软件完整性静态测试方法研究 被引量：2

9

作者 王玮 《电脑与电信》 2014年第4期49-51,共3页

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

关键词 静态测试 测试方法 ldra TESTBED

在线阅读 下载PDF 职称材料

基于LDRA Testbed的嵌入式软件静态测试

10

作者 职晓 吴迪 张江华 《电源技术应用》 2015年第4期36-39,44,共5页

提出了一种将人工测试与基于测试工具LDRA Testbed的自动化静态分析结合起来的静态测试方法。该方法首先通过测试工具对程序进行测试，然后针对工具的分析结果，并结合相关的文档进行人工审查，形成最终的静态测试报告。经验证，此方法... 提出了一种将人工测试与基于测试工具LDRA Testbed的自动化静态分析结合起来的静态测试方法。该方法首先通过测试工具对程序进行测试，然后针对工具的分析结果，并结合相关的文档进行人工审查，形成最终的静态测试报告。经验证，此方法相比传统方法测试效率更高，节省了测试资源，在工程上有着较好的应用价值。 展开更多

关键词 静态测试 ldra TESTBED 代码评审 数据流分析 质量评审

在线阅读 下载PDF 职称材料

基于LDRA TBrun软件集成测试的研究 被引量：3

11

作者 刘荔娜 《电脑与电信》 2020年第4期64-67,共4页

集成测试是为了保证每一功能模块的功能正确和性能良好,使这些模块组装在一起时可以很好地协调工作。测试人员的人工测试方法不能高效地对被测软件做出正确评估,使用自动化测试工具进行辅助测试,可以有效地解决这些问题。通过实际测试项... 集成测试是为了保证每一功能模块的功能正确和性能良好,使这些模块组装在一起时可以很好地协调工作。测试人员的人工测试方法不能高效地对被测软件做出正确评估,使用自动化测试工具进行辅助测试,可以有效地解决这些问题。通过实际测试项目,介绍了使用测试工具Testbed套件工具TBrun辅助进行集成测试的方法和过程。 展开更多

关键词 ldra TBrun 集成测试 功能模块 辅助测试

在线阅读 下载PDF 职称材料

基于LDRA Testbed的单元测试用例设计及案例分析 被引量：1

12

作者 胡多海 《电子测试》 2020年第6期9-12,共4页

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

关键词 单元测试 ldra TESTBED 用例设计 覆盖率

在线阅读 下载PDF 职称材料

基于LDRA Testbed的DSP软件单元测试 被引量：2

13

作者 李艳艳 《电子技术与软件工程》 2018年第14期40-40,共1页

在分析软件单元测试问题的基础上,本文对基于LDRA Testbed的DSP软件单元测试方法展开了分析,介绍了相应的测试工具和测试过程,为关注这一话题的人们提供参考。

关键词 ldra TESTBED DSP软件单元测试

在线阅读 下载PDF 职称材料

基于LDRA Testbed的主机/目标机测试方法研究 被引量：2

14

作者 周培 《航空精密制造技术》 2019年第5期16-20,共5页

DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩... DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。 展开更多

关键词 软件测试 ldra TESTBED 主机/目标机 延时取回 机载软件

原文传递

基于DSP的嵌入式软件测试方法 被引量：9

15

作者 杨珂瑶 张小芳 曾雷杰 《计算机与现代化》 2014年第10期61-65,共5页

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

关键词 DSP 嵌入式软件 测试 ldra TESTBED

在线阅读 下载PDF 职称材料

嵌入式软件的覆盖测试 被引量：8

16

作者 刘颖 王英 刘漫丹 《自动化仪表》 CAS 北大核心 2012年第6期63-66,共4页

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

关键词 软件测试 覆盖率测试 嵌入式软件 测试方法 ldra TESTBED

在线阅读 下载PDF 职称材料

嵌入式系统软件可靠性设计与测试方法 被引量：9

17

作者 李金麒 徐建平 《计算机系统应用》 2013年第1期74-78,共5页

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

关键词 嵌入式系统 可靠性设计 ARM 可靠性测试 ldra TESTBED

在线阅读 下载PDF 职称材料

嵌入式软件覆盖率测试的研究与应用 被引量：6

18

作者 孙陇平 《现代电子技术》 2014年第18期67-69,共3页

覆盖率测试是检验软件测试完整性、充分性的重要方式,这里介绍了覆盖率测试基础理论、覆盖率的测试类型、覆盖率测试工作流程、比较了覆盖率测试工具Bullseye Coverage、LDRA TestBed。并通过LDRA Testbed测试工具对被测软件程序插装,... 覆盖率测试是检验软件测试完整性、充分性的重要方式,这里介绍了覆盖率测试基础理论、覆盖率的测试类型、覆盖率测试工作流程、比较了覆盖率测试工具Bullseye Coverage、LDRA TestBed。并通过LDRA Testbed测试工具对被测软件程序插装,分析插装程序输出的结果得到语句覆盖率、分支覆盖率等数据,以达到对软件问题的查找和对测试充分性、全面性的验证。同时给出了Turbo C开发环境下DOS操作系统的嵌入式软件,利用LDRA Testbed进行覆盖率分析和通过查看未覆盖的代码定位软件问题、测试用例覆盖情况的详细步骤。 展开更多

关键词 嵌入式软件 覆盖率测试 ldra TESTBED 测试方法

在线阅读 下载PDF 职称材料

在软件研发与测试中推广GJB5000A 被引量：7

19

作者 倪亭 《软件》 2013年第2期31-35,共5页

目前GJB5000A-2008《军用软件研制能力成熟度模型》在军工企业的逐步应用推广,软件产品研制过程的工程化要求越来越规范和严谨。本文概述了GJB5000A-2008,分析了与GJB5000-2003,CMMI的主要区别。然后介绍了GJB5000A-2008在软件研发与测... 目前GJB5000A-2008《军用软件研制能力成熟度模型》在军工企业的逐步应用推广,软件产品研制过程的工程化要求越来越规范和严谨。本文概述了GJB5000A-2008,分析了与GJB5000-2003,CMMI的主要区别。然后介绍了GJB5000A-2008在软件研发与测试中的应用,通过高效的软件项目管理体系和先进的软件测试技术来推广GJB5000A-2008。 展开更多

关键词 GJB5000A-2008 CMMI 项目管理体系 软件测试技术 ldraTestbed

在线阅读 下载PDF 职称材料

引入VoLTE业务后核心网PCRF的容灾组网方案研究 被引量：1

20

作者 王晓周 蔺琳 王芳 《现代电信科技》 2015年第6期55-61,共7页

核心网PCRF容灾技术的应用直接影响VoLTE业务的可靠性能。通过分析PCRF在VoLTE业务流程中的作用以及故障后的影响,详细给出多种PCRF容灾方案,同时就运营商引入PCRF容灾部署的策略给出初步建议。

关键词 VoLTE PCC PCRF SPR POOL ldra

在线阅读 下载PDF 职称材料