期刊文献+
共找到71篇文章
< 1 2 4 >
每页显示 20 50 100
Virtual testbeds for community resilience analysis:step-by-step development procedure and future orientation 被引量:1
1
作者 S.Amin Enderami Elaina J.Sutley +1 位作者 Ram K.Mazumder Meredith Dumler 《Resilient Cities and Structures》 2023年第2期42-56,共15页
Virtual community resilience testbeds enable community-level inferences,convergence research,and serve as decision-making aids.Testbeds are critical for the verification and validation of emerging computational models... Virtual community resilience testbeds enable community-level inferences,convergence research,and serve as decision-making aids.Testbeds are critical for the verification and validation of emerging computational models and quantitative assessment frameworks of community-level disaster impacts,disruption,and recovery processes.This paper illuminates the significance of establishing a standardized approach for developing virtual community resilience testbeds and proposes a systematic schema for this purpose.The workflow facilitates testbed develop-ment by defining a series of steps,starting with specifying the testbed simulation scope.Arguing hazard and community modules are the principal components of a testbed,we present a generic structure for testbeds and introduce minimum requirements for initiating each module.The workflow dissects the testbed’s architecture and different attributes of the components beneath these modules.The proposed steps outline existing relevant tools and resources for creating the building,infrastructure,population,organization,and governance inventories.The paper discusses challenges testbed developers may encounter in procuring,cleaning,and merging required data and offers the initiatives and potential remedies,developed either by the authors or other researchers,to address these issues.The workflow concludes by describing how the testbed will be verified,visualized,published,and reused.The paper demonstrates the application of the proposed workflow by developing a testbed based on On-slow County,North Carolina using publicly available data.To foster sharing and reusing of developed testbeds by other researchers,all supporting documents,metadata,template algorithms,computer codes,and inventories of the Onslow Testbed are available at the DesignSafe-CI.The procedure proposed here can be used by other researchers to guide and standardize testbed development processes,and open access to virtual testbeds to the broader research community. 展开更多
关键词 Virtual testbed Computer simulation Community resilience Building inventory Population inventory
在线阅读 下载PDF
基于Testbed的车载ECU软件集成测试方法研究
2
作者 路国光 周晓清 +2 位作者 刘煜 祝昌久 彭佳佳 《汽车实用技术》 2026年第3期80-85,共6页
在软件开发初期进行代码级集成测试可以提早发现并修复潜在的错误和缺陷,减少后期修复成本。ISO 26262中要求做基于需求的软件测试,但在目前的车载软件集成测试中,更多关注代码结构覆盖率,缺乏对软件需求和功能的验证。文章依托Testbed... 在软件开发初期进行代码级集成测试可以提早发现并修复潜在的错误和缺陷,减少后期修复成本。ISO 26262中要求做基于需求的软件测试,但在目前的车载软件集成测试中,更多关注代码结构覆盖率,缺乏对软件需求和功能的验证。文章依托Testbed工具实现了一种新的软件集成测试方法,通过功能分解、线程划分、调用路径分析以及设计参数等,完成了基于需求的用例设计,保证对软件需求的100%覆盖与追溯。此外,为了进一步覆盖系统运行的特殊工况,提出了可变参数循环执行用例的方法。通过监测用例多次执行的路径和语句被执行次数,在代码层面实现了故障注入测试。最后,在车载拖车控制器软件上对该方法进行验证,结果表明,该方法具有很强的实用性和高效性。 展开更多
关键词 软件集成测试 车载ECU Testbed工具
在线阅读 下载PDF
Combined Electric and Heat System Testbeds for Power Flow Analysis and Economic Dispatch 被引量:9
3
作者 Xin Qin Xinwei Shen +3 位作者 Ye Guo Zhaoguang Pan Qinglai Guo Hongbin Sun 《CSEE Journal of Power and Energy Systems》 SCIE CSCD 2021年第1期34-44,共11页
In combined electric and heat systems,selecting a suitable testbed for power flow analysis or economic dispatch is not easy:a large number of existing testbeds are not opensource,while others are difficult to be reuse... In combined electric and heat systems,selecting a suitable testbed for power flow analysis or economic dispatch is not easy:a large number of existing testbeds are not opensource,while others are difficult to be reused by other researchers due to the particularity of system scale,topology,and data.In this paper,we present three open-source testbeds with different scales based on practical combined electric and heat systems.To satisfy researchers"specific demands on the system topology and data,we also discuss how to modify testbeds based on existing topologies and data.Researchers can use the testbeds presented in this paper to test their innovative methods for power flow analysis and economic dispatch,and can also design their own testbeds based on the methodology in this paper,using published topologies and data. 展开更多
关键词 Combined heat and power system economic dispatch power flow TESTBED
原文传递
基于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在轨道交通装备软件功能安全认证中的应用
7
作者 吕云壮 席开鑫 袭文娟 《工业控制计算机》 2025年第12期46-47,50,共3页
围绕轨道交通装备系统软件功能安全认证流程,挖掘其中针对软件测评活动所提出的各项细致要求,阐述了LDRA Testbed软件测试工具在契合相关标准的软件测评实践活动中的具体应用。旨在为后续轨道交通项目的软件测试流程构筑一套具有实用价... 围绕轨道交通装备系统软件功能安全认证流程,挖掘其中针对软件测评活动所提出的各项细致要求,阐述了LDRA Testbed软件测试工具在契合相关标准的软件测评实践活动中的具体应用。旨在为后续轨道交通项目的软件测试流程构筑一套具有实用价值的借鉴范例与参考指南,助力相关安全认证项目在软件测试环节能够精准施策、高效推进,全方位保障轨道交通设备的功能安全性。 展开更多
关键词 软件功能安全认证 LDRA Testbed 软件测评
在线阅读 下载PDF
LDRA TESTBED在航天软件测试中的应用 被引量:8
8
作者 李中萍 岳海 薛静 《航天控制》 CSCD 北大核心 2007年第2期73-77,共5页
提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的... 提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。 展开更多
关键词 软件测试 测试工具 LDRA TESTBED
在线阅读 下载PDF
基于DSP的嵌入式软件测试方法 被引量:9
9
作者 杨珂瑶 张小芳 曾雷杰 《计算机与现代化》 2014年第10期61-65,共5页
基于DSP的嵌入式系统因为其优异的高效性和实时性,在通信、军事、航空等多个领域得到了广泛应用。然而,由于嵌入式软件的硬件环境复杂等特点,一直缺乏行之有效的测试方法和工具。本文深入分析基于DSP的嵌入式软件的测试方法,并以软件测... 基于DSP的嵌入式系统因为其优异的高效性和实时性,在通信、军事、航空等多个领域得到了广泛应用。然而,由于嵌入式软件的硬件环境复杂等特点,一直缺乏行之有效的测试方法和工具。本文深入分析基于DSP的嵌入式软件的测试方法,并以软件测试工具LDRA Testbed为例,详细介绍基于DSP的嵌入式软件测试的一般方法,最后使用软件测试工具LDRA Testbed验证测试方法的有效性。 展开更多
关键词 DSP 嵌入式软件 测试 LDRA TESTBED
在线阅读 下载PDF
基于LDRA Testbed的飞机中央维护系统覆盖测试 被引量:7
10
作者 邹会荣 《航空计算技术》 2010年第5期91-94,共4页
基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试... 基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。 展开更多
关键词 飞机中央维护系统 LDRA TESTBED 语句覆盖分析 分支覆盖测试
在线阅读 下载PDF
Testbed套件在航天嵌入式软件中的应用 被引量:4
11
作者 郭莹 刘纪元 康智 《火控雷达技术》 2010年第1期20-23,共4页
随着航天技术的发展,航天软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测航天软件作出准确评价,使用高级的自动用例生成工具可以克服这些困难,但是完全的测试用例自动生成几乎是不可能的。本文介绍了人工设... 随着航天技术的发展,航天软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测航天软件作出准确评价,使用高级的自动用例生成工具可以克服这些困难,但是完全的测试用例自动生成几乎是不可能的。本文介绍了人工设计测试用例和使用Testbed工具自动生成测试用例两种测试用例生成方法的优缺点,通过分析提出了一种Testbed测试工具辅助的测试用例设计方法,最后,以X型侦察处理DSP嵌入式软件为例,介绍了使用Testbed套件辅助测试用例生成和测试的具体方法步骤。 展开更多
关键词 嵌入式 测试用例 TESTBED 单元测试
在线阅读 下载PDF
面向集控嵌入式实时软件的单元测试方法研究 被引量:2
12
作者 裴承艳 《电子技术应用》 北大核心 2014年第12期125-128,共4页
针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优... 针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。 展开更多
关键词 嵌入式实时软件 TESTBED 静态分析 动态分析 覆盖率
在线阅读 下载PDF
LDRA TestBed在弹载软件测试中的应用 被引量:6
13
作者 石磊 《软件导刊》 2008年第5期11-13,共3页
介绍了LDRA TestBed在弹载软件测试中的具体应用方法,并通过对软件进行静态和动态分析,发现了软件的缺陷,降低了项目的风险。
关键词 LDRA TESTBED 软件测试 软件质量 静态分析 动态分析
在线阅读 下载PDF
Testbed在装备软件测试中的静态分析应用 被引量:2
14
作者 贺英杰 《电子世界》 2018年第15期103-103,共1页
本文首先介绍Testbed静态分析功能的特点,其次从装备软件测试的角度制定静态分析检查单,并以实际测试为例,说明静态分析过程及容易出现的问题和相应的解决措施,为装备软件测试的静态分析提供方法和实践指导。
关键词 TESTBED 装备软件测试 静态分析
在线阅读 下载PDF
嵌入式软件的覆盖测试 被引量:8
15
作者 刘颖 王英 刘漫丹 《自动化仪表》 CAS 北大核心 2012年第6期63-66,共4页
覆盖测试是检验嵌入式软件功能结构正确性以及查找问题的重要方法和手段。纯粹的人工测试工作量大、操作不方便、周期长,需要借助一定的工具才能取得较好的效果。使用测试工具LDRA Testbed进行了覆盖率测试,达到了一定的语句、分支以及L... 覆盖测试是检验嵌入式软件功能结构正确性以及查找问题的重要方法和手段。纯粹的人工测试工作量大、操作不方便、周期长,需要借助一定的工具才能取得较好的效果。使用测试工具LDRA Testbed进行了覆盖率测试,达到了一定的语句、分支以及LCSAJ覆盖率。测试过程说明了该工具能够有效获取被测软件的动态覆盖率信息,评价测试用例的完整性,并有针对性地补充测试用例,进而提高软件测试的覆盖率,帮助决定何时终止软件测试。 展开更多
关键词 软件测试 覆盖率测试 嵌入式软件 测试方法 LDRA TESTBED
在线阅读 下载PDF
基于LDRA Testbed的软件单元测试 被引量:9
16
作者 徐润德 陈亚 赵慕奇 《海军航空工程学院学报》 2011年第3期356-360,共5页
通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testbed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量。
关键词 软件测试 单元测试 TESTBED
在线阅读 下载PDF
基于LDRA Testbed软件的单元测试
17
作者 孙小淋 《数字技术与应用》 2015年第9期61-61,共1页
LDRA Testbed测试工具辅助完成稿可靠性的军用软件测试工作,文章对LDRA Testbed的分析并进行单元测试,阐述了LDRA Testbed在软件测试中的作用。文章针对测试的对象进行了需求分析并形成报告,构建测试用例并对如何查看和分析动态覆盖率... LDRA Testbed测试工具辅助完成稿可靠性的军用软件测试工作,文章对LDRA Testbed的分析并进行单元测试,阐述了LDRA Testbed在软件测试中的作用。文章针对测试的对象进行了需求分析并形成报告,构建测试用例并对如何查看和分析动态覆盖率测试报告做了阐述。证明合理的使用该工具,能有效地提高软件测试的效率。 展开更多
关键词 单元测试LDRA Testbed覆盖分析
在线阅读 下载PDF
嵌入式系统软件可靠性设计与测试方法 被引量:9
18
作者 李金麒 徐建平 《计算机系统应用》 2013年第1期74-78,共5页
通过设计与初始化ARM s3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问,有效增强了嵌入式系统软件的可靠性.并利用LDRA Testbed测试套件对项目中的代码进行了静态分析、复杂度分析、图形化分析,得... 通过设计与初始化ARM s3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问,有效增强了嵌入式系统软件的可靠性.并利用LDRA Testbed测试套件对项目中的代码进行了静态分析、复杂度分析、图形化分析,得出了各项测试结果,准确地评估了所设计出的系统的可靠性,并给出了优化建议. 展开更多
关键词 嵌入式系统 可靠性设计 ARM 可靠性测试 LDRA TESTBED
在线阅读 下载PDF
浮力调节软件的单元测试技术研究 被引量:1
19
作者 李磊 《计算机测量与控制》 2017年第3期119-122,共4页
为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则... 为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。 展开更多
关键词 浮力调节软件 单元测试 单元测试充分性准则 单元测试策略 TESTBED
在线阅读 下载PDF
基于实验床的MSR协议的开销分析
20
作者 龙翀 张连芳 +1 位作者 舒炎泰 廖志 《计算机应用》 CSCD 北大核心 2004年第6期39-42,共4页
MSR协议是一种基于DSR协议的无线Adhoc网络路由协议。在Linux操作系统下搭建了一个Adhoc无线实验床(Testbed)。在实验床的真实场景下,作者使用MSR协议传送FTP业务,并对MSR中影响其性能的各种开销进行了分析,分析的结果为今后改进MSR和DS... MSR协议是一种基于DSR协议的无线Adhoc网络路由协议。在Linux操作系统下搭建了一个Adhoc无线实验床(Testbed)。在实验床的真实场景下,作者使用MSR协议传送FTP业务,并对MSR中影响其性能的各种开销进行了分析,分析的结果为今后改进MSR和DSR的性能提供了有益的启示。 展开更多
关键词 AD HOC网络 MSR DSR TESTBED
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部