基于TestBed/TBrun的高效测试执行方法

在使用TestBed/TBrun工具执行软件单元测试用例过程中,存在长数组无法自动赋值和结果比对导致测试效率低的问题。针对该问题,提出了一种基于TestBed/TBrun的高效测试执行方法。通过在后台文件中建立可自动识别读取长数组的通用驱动函数和自动对比测试结果的比对函数,对软件单元中的长数组输入/输出变量进行自动赋值及结果比对。经测试验证,该方法降低了用例执行耗时,提高了测试执行效率。

LDRA TESTBED在航天软件测试中的应用

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

基于LDRA Testbed的飞机中央维护系统覆盖测试

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

LDRA TestBed在弹载软件测试中的应用

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

基于LDRA Testbed的软件单元测试

通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testbed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量。

基于LDRA Testbed软件的单元测试

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

基于LDRA Testbed的软件静态测试研究与实现

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

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

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

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

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

LDRA TestBed在CTCS2-200C扩展单元软件测试中的应用

介绍了LDRA Test Bed软件测试工具和CTCS2-200C扩展单元,以CTCS2-200C为例,通过对软件进行静态和动态测试,参照EN 50128:2011标准,提高了整个软件开发生命周期中的各项验证和确认活动效率,降低了软件的风险。

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

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

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

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

基于LDRA Testbed的DSP软件单元测试

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

基于TestBed和Visual Studio对QT程序单元测试的研究与实现

针对测试工具TestBed无法动态执行QT程序单元测试用例的问题,文章通过介绍单元测试定义、测试原理以及TestBed工具的使用原理、并指出了TestBed工具对QT程序进行单元测试存在的问题,最终提出了一种结合TestBed和Visual Studio对QT程序进行单元测试的方法,并给出了方法的详细设计与实现步骤,为QT程序动态执行单元测试提供一种简单、便捷的实现方式。实际结果表明,结合TestBed与Visual Studio对QT程序的单元测试方法显著提高了单元测试的效率,减少了单元测试的成本。

Environmental Information-Aided Electromagnetic Propagation Testbed for Maritime Communication

Maritime channel modeling can be affected by some key time-varying environmental factors.The ducting effect is one of the thorniest factors since it causes anomalous propagation enhancement and severe co-channel interference.Moreover,the atmospheric attenuation is much more severe in the ocean environment,resulting in shorter coverage distance and more link outage.In this paper,we propose an environmental information-aided electromagnetic propagation testbed.It is based on complex refractivity estimation and improved parabolic equation propagation model,taking into account both ducting effect and atmospheric attenuation.A large-scale temporal and spatial propagation measurement was conducted with meteorological acquisition.We consider practical path loss and ducting conditions to verify the testbed feasibility in these long-distance radio links.The simulation results are in good agreement with the measured data,which further reveal the basic temporal and spatial distribution of ducting effect at 3.5 GHz band.

基于Testbed的单元测试方法及实例分析

随着计算机技术的发展,软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测软件作出准确评价。文章基于Testbed详细描述了软件单元测试的方法,结合实例完成了测试用例设计、覆盖率分析以及回归测试等。结果表明,使用Testbed能显著降低软件缺陷,提升软件质量。

面向稳控系统E1通道的网络靶场实验台的设计与实现

随着智能电网和跨区稳定控制技术的发展,信息通信与电力系统的耦合更加紧密,网络攻击带来的安全风险也越来越高。稳控系统E1通道作为重要的测控通道,其安全性对稳控系统起到重要的作用,因此,开展面向稳控系统E1通道的半实物仿真和攻防演练,对发现E1通道的安全漏洞有重要意义。首先,基于半实物仿真技术设计了面向稳控系统E1通道的网络靶场实验台,介绍基于该实验台的攻防演练方案;然后,通过该实验台对一个典型的在运稳控系统E1通道开展仿真和攻击模拟实验,测试了稳控系统的安全隐患,并验证了实验台的有效性;最后,提出几种提升E1通道安全性的方法,并展望了实验台的应用前景。

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

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

基于防缠绕技术的胡麻蒴果收获试验台设计与试验

针对胡麻机械化收获过程中植株缠绕脱粒滚筒问题,提出了1种基于割前摘脱原理的胡麻蒴果收获方式,设计了1种梳刷气吸复合式胡麻蒴果收获试验台。依据前期梳齿式胡麻蒴果梳刷试验台的台架试验结果,对试验台的关键零部件进行设计选型,对主要部件进行了动力学分析,对试验台的性能进行了台架试验研究。台架试验结果表明:各因数对蒴果脱尽率的影响都不显著,梳齿截面形状、离心式通风机风量和其它因素对蒴果破壳率的影响分别为显著、极显著和不显著,离心式通风机风量和其它因素对蒴果收集率的影响分别为极显著和不显著,梳齿截面形状和其它因素对植株缠绕率的影响分别为显著和不显著;得到较优试验因素组合梳齿截面形状为矩形、梳刷滚筒转速90 r/min、机具行进相对速度80 mm/s、离心风机风量6000 m^(3)/h;验证试验结果表明:在较优试验因素组合作业条件下,蒴果脱尽率为96.46%、破壳率98.91%、收集率95.66%、植株缠绕率2.52%。该试验台提供了解决胡麻植株缠绕脱粒滚筒和胡麻蒴果收集问题的可行性方案。

基于实验床(Testbed)的DSR协议的性能评价

DSR犤1,2犦协议是一种用于无线Adhoc网络的路由协议。笔者在Linux操作系统下实现了DSR路由协议,并以此为基础,搭建了一个无线Adhoc网络的实验床(Testbed)。在实验床的真实场景中,笔者从路由性能、协议开销和TCP业务的传输性能三个角度对DSR协议进行了一系列实验和性能评价工作。论文对该实验床的搭建和所得到的性能测试的结果进行了介绍。实验中,发现在无线多跳Adhoc网络的环境下,TCP业务的性能很差,此外也给出了对这种现象的解释。