期刊文献+
共找到313篇文章
< 1 2 16 >
每页显示 20 50 100
基于TestBed/TBrun的高效测试执行方法 被引量:1
1
作者 罗睿梅 万东燕 +2 位作者 唐超 辛增献 陈铖 《制导与引信》 2024年第2期25-28,49,共5页
在使用TestBed/TBrun工具执行软件单元测试用例过程中,存在长数组无法自动赋值和结果比对导致测试效率低的问题。针对该问题,提出了一种基于TestBed/TBrun的高效测试执行方法。通过在后台文件中建立可自动识别读取长数组的通用驱动函数... 在使用TestBed/TBrun工具执行软件单元测试用例过程中,存在长数组无法自动赋值和结果比对导致测试效率低的问题。针对该问题,提出了一种基于TestBed/TBrun的高效测试执行方法。通过在后台文件中建立可自动识别读取长数组的通用驱动函数和自动对比测试结果的比对函数,对软件单元中的长数组输入/输出变量进行自动赋值及结果比对。经测试验证,该方法降低了用例执行耗时,提高了测试执行效率。 展开更多
关键词 testbed/tbrun 单元测试 通用驱动函数 比对函数 长数组
在线阅读 下载PDF
Testbed/Tbrun应用于嵌入式软件单元测试 被引量:1
2
作者 王煜 何永军 《声学与电子工程》 2006年第4期36-37,共2页
以实际测试对象为例,论述软件测试工具Testbed/TBrun在嵌入式软件单元测试中的应用。介绍了软件测试工具的功能、代码插装原理、测试环境搭建、结构覆盖率测试、测试数据获取途径等相关技术研究及经验总结。
关键词 testbed/tbrun 嵌入式测试 代码插装 测试环境 结构覆盖率
在线阅读 下载PDF
基于Testbed/Tbrun的嵌入式软件单元测试
3
作者 欧阳玮 《电子技术与软件工程》 2016年第14期64-64,共1页
针对嵌入式软件单元测试,开展了一定的工程实践,明确了单元测试的要求,介绍了如何达到覆盖率测试的充分性以及结合工具开展单元测试的方法,有利于提高软件单元测试的有效性。
关键词 testbed/tbrun 软件单元测试 嵌入式
在线阅读 下载PDF
基于LDRA Testbed的历史文件获取方法比较分析
4
作者 丁锐 邢浩 李碧涵 《电脑编程技巧与维护》 2025年第4期40-42,共3页
在机载软件的验证过程中,结构覆盖率分析是确保软件质量的关键环节。LDRA Testbed作为广泛使用的工具,其历史文件的获取方法对分析结果的准确性和测试效率有着直接影响。研究比较了4种不同的历史文件获取方法,分析了它们的适用范围、实... 在机载软件的验证过程中,结构覆盖率分析是确保软件质量的关键环节。LDRA Testbed作为广泛使用的工具,其历史文件的获取方法对分析结果的准确性和测试效率有着直接影响。研究比较了4种不同的历史文件获取方法,分析了它们的适用范围、实现难易程度、优缺点,并提出了推荐方案。通过实际项目举例,验证了推荐方法的有效性,为机载软件的结构覆盖率分析提供了参考。 展开更多
关键词 LDRA testbed工具 结构覆盖率分析 历史文件获取 机载软件验证
在线阅读 下载PDF
LDRA Testbed在动车EBCU软件测试中的应用与研究
5
作者 王贤斌 《现代信息科技》 2025年第1期155-160,共6页
动车制动控制系统是高铁安全运行的重要保障。随着动车系统的复杂性和自动化程度的提高,对制动控制系统的软件测试也提出了更高的要求。文章通过将LDRA Testbed软件自动化测试工具应用于动车EBCU软件,详细介绍了静态分析、单元测试及集... 动车制动控制系统是高铁安全运行的重要保障。随着动车系统的复杂性和自动化程度的提高,对制动控制系统的软件测试也提出了更高的要求。文章通过将LDRA Testbed软件自动化测试工具应用于动车EBCU软件,详细介绍了静态分析、单元测试及集成测试的方法和步骤,并结合实际测试结果分析其有效性和重要性。通过全面的测试手段,不仅提高了EBCU软件的可靠性和安全性,还为动车制动控制系统的维护和优化提供了科学依据。 展开更多
关键词 动车 制动控制系统 testbed 静态分析 单元测试 集成测试
在线阅读 下载PDF
Influence of testbed characteristics on community resilience using agent-based modeling
6
作者 Xu Han Maria Koliou 《Resilient Cities and Structures》 2025年第2期69-83,共15页
There has been a large increase in the number of days per year with numerous EF1-EF5 tornadoes.Given the significant damage incurred by tornadoes upon communities,community resilience analyses for tornado-stricken com... There has been a large increase in the number of days per year with numerous EF1-EF5 tornadoes.Given the significant damage incurred by tornadoes upon communities,community resilience analyses for tornado-stricken communities have been gaining momentum.As the community resilience analysis aims to guide how to lay out effective hazard mitigation strategies to decrease damage and improve recovery,a comprehensive and accurate approach is necessary.Agent-based modeling,an analysis approach in which different types of agents are created with their properties and behavior clearly defined to simulate the processes of those agents in an external environ-ment,is the most comprehensive and accurate approach so far to conducting community resilience simulations and investigating the decision-making for mitigation and recovery under natural hazards.In this paper,agent-based models(ABMs)are created to simulate the recovery process of a virtual testbed based on the real-world community in Joplin City,MO.The tornado path associated with the real-world tornado event that occurred in May 2011 is adopted in the tornado hazard modeling for the Joplin testbed.In addition,agent-based models are created for another virtual community in the Midwest United States named Centerville using an assumed tornado scenario of the same EF-scale as that in Joplin.The effects of hazard mitigation strategies on the two communities are also explored.A comparison between the analysis results of these two testbeds can indicate the influence of the characteristics of a tornado-prone community on the resilience of the community as well as on the effects of hazard mitigation strategies.It is observed that a community’s level of development significantly impacts the tornado resilience.In addition,the effects of a specific type of hazard mitigation strategy on the recovery process are contingent upon testbed characteristics. 展开更多
关键词 Community resilience agent-based model(ABM) TORNADO Hazard mitigation strategy testbed characteristics
在线阅读 下载PDF
LDRA TESTBED在航天软件测试中的应用 被引量:8
7
作者 李中萍 岳海 薛静 《航天控制》 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
8
作者 邹会荣 《航空计算技术》 2010年第5期91-94,共4页
基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试... 基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。 展开更多
关键词 飞机中央维护系统 LDRA testbed 语句覆盖分析 分支覆盖测试
在线阅读 下载PDF
Testbed套件在航天嵌入式软件中的应用 被引量:4
9
作者 郭莹 刘纪元 康智 《火控雷达技术》 2010年第1期20-23,共4页
随着航天技术的发展,航天软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测航天软件作出准确评价,使用高级的自动用例生成工具可以克服这些困难,但是完全的测试用例自动生成几乎是不可能的。本文介绍了人工设... 随着航天技术的发展,航天软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测航天软件作出准确评价,使用高级的自动用例生成工具可以克服这些困难,但是完全的测试用例自动生成几乎是不可能的。本文介绍了人工设计测试用例和使用Testbed工具自动生成测试用例两种测试用例生成方法的优缺点,通过分析提出了一种Testbed测试工具辅助的测试用例设计方法,最后,以X型侦察处理DSP嵌入式软件为例,介绍了使用Testbed套件辅助测试用例生成和测试的具体方法步骤。 展开更多
关键词 嵌入式 测试用例 testbed 单元测试
在线阅读 下载PDF
LDRA TestBed在弹载软件测试中的应用 被引量:6
10
作者 石磊 《软件导刊》 2008年第5期11-13,共3页
介绍了LDRA TestBed在弹载软件测试中的具体应用方法,并通过对软件进行静态和动态分析,发现了软件的缺陷,降低了项目的风险。
关键词 LDRA testbed 软件测试 软件质量 静态分析 动态分析
在线阅读 下载PDF
基于实验床(Testbed)的DSR协议的性能评价
11
作者 周宇征 舒炎泰 +1 位作者 张连芳 李光成 《计算机工程与应用》 CSCD 北大核心 2004年第3期148-153,共6页
DSR犤1,2犦协议是一种用于无线Adhoc网络的路由协议。笔者在Linux操作系统下实现了DSR路由协议,并以此为基础,搭建了一个无线Adhoc网络的实验床(Testbed)。在实验床的真实场景中,笔者从路由性能、协议开销和TCP业务的传输性能三个角度对... DSR犤1,2犦协议是一种用于无线Adhoc网络的路由协议。笔者在Linux操作系统下实现了DSR路由协议,并以此为基础,搭建了一个无线Adhoc网络的实验床(Testbed)。在实验床的真实场景中,笔者从路由性能、协议开销和TCP业务的传输性能三个角度对DSR协议进行了一系列实验和性能评价工作。论文对该实验床的搭建和所得到的性能测试的结果进行了介绍。实验中,发现在无线多跳Adhoc网络的环境下,TCP业务的性能很差,此外也给出了对这种现象的解释。 展开更多
关键词 无线AD hoc网络 实验床 DSR TCP 路由协议 性能评价
在线阅读 下载PDF
Testbed在装备软件测试中的静态分析应用 被引量:2
12
作者 贺英杰 《电子世界》 2018年第15期103-103,共1页
本文首先介绍Testbed静态分析功能的特点,其次从装备软件测试的角度制定静态分析检查单,并以实际测试为例,说明静态分析过程及容易出现的问题和相应的解决措施,为装备软件测试的静态分析提供方法和实践指导。
关键词 testbed 装备软件测试 静态分析
在线阅读 下载PDF
基于LDRA Testbed的软件单元测试 被引量:9
13
作者 徐润德 陈亚 赵慕奇 《海军航空工程学院学报》 2011年第3期356-360,共5页
通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testbed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量。
关键词 软件测试 单元测试 testbed
在线阅读 下载PDF
基于LDRA Testbed软件的单元测试
14
作者 孙小淋 《数字技术与应用》 2015年第9期61-61,共1页
LDRA Testbed测试工具辅助完成稿可靠性的军用软件测试工作,文章对LDRA Testbed的分析并进行单元测试,阐述了LDRA Testbed在软件测试中的作用。文章针对测试的对象进行了需求分析并形成报告,构建测试用例并对如何查看和分析动态覆盖率... LDRA Testbed测试工具辅助完成稿可靠性的军用软件测试工作,文章对LDRA Testbed的分析并进行单元测试,阐述了LDRA Testbed在软件测试中的作用。文章针对测试的对象进行了需求分析并形成报告,构建测试用例并对如何查看和分析动态覆盖率测试报告做了阐述。证明合理的使用该工具,能有效地提高软件测试的效率。 展开更多
关键词 单元测试LDRA testbed覆盖分析
在线阅读 下载PDF
基于LDRA Testbed的软件静态测试研究与实现 被引量:7
15
作者 胡丹瑞 《计算机安全》 2012年第6期69-71,共3页
介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。
关键词 静态测试 LDRA testbed 编码规则 MISRA-C
在线阅读 下载PDF
Two freedom linear parameter varying μ synthesis control for flight environment testbed 被引量:10
16
作者 Meiyin ZHU Xi WANG +2 位作者 Zhihong DAN Song ZHANG Xitong PEI 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2019年第5期1204-1214,共11页
To solve the problem of robust servo performance of Flight Environment Testbed(FET)of Altitude Ground Test Facilities(AGTF) over the whole operational envelope, a two-degree-offreedom μ synthesis method based on Line... To solve the problem of robust servo performance of Flight Environment Testbed(FET)of Altitude Ground Test Facilities(AGTF) over the whole operational envelope, a two-degree-offreedom μ synthesis method based on Linear Parameter Varying(LPV) schematic is proposed, and meanwhile a new structure frame of μ synthesis control on two degrees of freedom with double integral and weighting functions is presented, which constitutes a core support part of the paper. Aimed at the problem of reference command's rapid change, one freedom feed forward is adopted, while another freedom output feedback is used to meet good servo tracking as well as disturbance and noise rejection; furthermore, to overcome the overshoot problem and acquire dynamic tuning,the integral is introduced in inner loop, and another integral controller is used in outer loop in order to guarantee steady errors; additionally, two performance weighting functions are designed to achieve robust specialty and control energy limit considering the uncertainties in system. As the schedule parameters change over large flight envelope, the stability of closed-loop LPV system is proved using Lyapunov inequalities. The simulation results show that the relative tracking errors of temperature and pressure are less than 0.5% with LPV μ synthesis controller. Meanwhile, compared with non-LPV μ synthesis controller in large uncertainty range, the proposed approach in this research can ensure robust servo performance of FET over the whole operational envelope. 展开更多
关键词 ALTITUDE ground test facilities Flight environment testbed Linear parameter VARYING Robust CONTROL TWO-DEGREE-OF-FREEDOM μ Synthesis
原文传递
LDRA TestBed在CTCS2-200C扩展单元软件测试中的应用 被引量:2
17
作者 周永健 范明 +1 位作者 张淼 赵东旭 《机车电传动》 北大核心 2016年第5期102-106,共5页
介绍了LDRA Test Bed软件测试工具和CTCS2-200C扩展单元,以CTCS2-200C为例,通过对软件进行静态和动态测试,参照EN 50128:2011标准,提高了整个软件开发生命周期中的各项验证和确认活动效率,降低了软件的风险。
关键词 软件测试 Test BED EN 50128 CTCS2-200C扩展单元 列控车载系统
原文传递
基于LDRA Testbed的民用机载软件静态测试方法 被引量:6
18
作者 周培 《计算机测量与控制》 2019年第7期107-110,149,共5页
静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤;介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象... 静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤;介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。 展开更多
关键词 软件测试 LDRA testbed 静态测试 民用机载
在线阅读 下载PDF
基于LDRA Testbed的软件完整性静态测试方法研究 被引量:2
19
作者 王玮 《电脑与电信》 2014年第4期49-51,共3页
根据软件测试工具LDRA Testbed的特点,本文提出了一种基于LDRA Testbed的软件完整性静态测试方案。该方案策略性选取四种测试方法,详细描述了每种方法的测试过程,输入项和输出项。实际运用中表明此方案极大提高了测试效率和测试规范性。
关键词 静态测试 测试方法 LDRA testbed
在线阅读 下载PDF
Real-time controller hardware-in-the-loop co-simulation testbed for cooperative control strategy for cyber-physical power system 被引量:2
20
作者 Zhenyu Wang Donglian Qi +3 位作者 Jingcheng Mei Zhenming Li Keting Wan Jianliang Zhang 《Global Energy Interconnection》 CAS CSCD 2021年第2期214-224,共11页
Various distributed cooperative control schemes have been widely utilized for cyber-physical power system(CPPS),which only require local communications among geographic neighbors to fulfill certain goals.However,the p... Various distributed cooperative control schemes have been widely utilized for cyber-physical power system(CPPS),which only require local communications among geographic neighbors to fulfill certain goals.However,the process of evaluating the performance of an algorithm for a CPPS can be affected by the physical target characteristics and real communication conditions.To address this potential problem,a testbed with controller hardware-in-the-loop(CHIL)is proposed in this paper.On the basis of a power grid simulation conducted using the real-time simulator RT-LAB developed by the company OPAL-RT,along with a communication network simulation developed with OPNET,multiple distributed controllers were developed with hardware devices to directly collect the real-time operating data of the power system model in RT-LAB and provide local control.Furthermore,the communication between neighboring controllers was realized using the cyber system modelin OPNET with an Ethernet interface.The hardware controllers produced a real-world control behavior instead of a digital simulation,and precisely simulated the dynamic features of a CPPS with high speed.A classic cooperative control case for active power output was studied to explain the integrated simulation process and validate the effectiveness of the co-simulation testbed. 展开更多
关键词 Cyber-physical power system Cooperative control Co-simulation testbed HARDWARE-IN-THE-LOOP
在线阅读 下载PDF
上一页 1 2 16 下一页 到第
使用帮助 返回顶部