共查询到18条相似文献,搜索用时 119 毫秒
1.
2.
机载嵌入式软件的系统测试 总被引:1,自引:0,他引:1
针对航空电子系统的功能特点,分析了某航电分系统控制管理计算机软件的特征和要求,结合机载嵌入式软件的系统测试需求,提出利用航电分系统设计开发试验平台,通过总线上的故障注入和数据采集方法,实现机载嵌入式软件的系统测试。 相似文献
3.
由于嵌入式软件对目标硬件平台的依赖性,在宿主机环境下无法编译运行。因此,在宿主机环境下通常采用仿真的方法来实现对嵌入式软件的测试。提出了一种基于ARINC429总线数据仿真的方法,通过对被测嵌入式软件代码中的读写硬件接口进行仿真,实现被测嵌入式代码在宿主机环境下动态运行,从而达到在宿主机环境下对嵌入式软件进行系统功能测试的目的。 相似文献
4.
5.
嵌入式软件仿真开发系统的实现 总被引:1,自引:0,他引:1
为降低嵌入式软件开发成本和难度,对嵌入式系统硬件功能进行抽象,完全采用软件模拟真实硬件环境,提供了嵌入式软件的运行和调试“软”平台。建立了一套集编辑、编译、调试、运行等功能于一体的集成化开发系统。本文介绍了该开发系统的设计思想,着重阐述了硬件系统仿真和仿真调试器等关键技术的实现。 相似文献
6.
7.
嵌入式软件的成败对航空电子装备效能发挥愈发重要.随着航空电子装备技术与能力的不断提升,软件的规模和复杂性也急剧增长.目前大部分航空电子装备能力分阶段迭代生成,软件不断升级已成常态.复杂的装备及其复杂的开发过程给质量管理带来了难度,为提升航空复杂电子装备的软件质量,高效保障装备效能稳定发挥,本文聚焦技术状态管理与测试验证... 相似文献
8.
针对嵌入式软件仿真测试环境中,测试脚本对激励数据的实时控制和结果数据的实时收集的问题,研究并实现了一种嵌入式软件仿真测试环境中的实时脚本技术,给出了实时脚本设计实现的方法,并通过实例验证了实时脚本技术的有效性。 相似文献
9.
10.
为了对导弹无线电高度表的性能进行全面测试,分析了现行无线电高度表测试原理、方法的不足,提出了动态测试方法,即用正交微波调制器调制高度表发射信号,产生差拍频率及附加噪声,解决了无线电高度表动态测试问题。 相似文献
11.
12.
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems. 相似文献
13.
14.
软件测试的控制论方法 总被引:7,自引:0,他引:7
软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。 相似文献
15.
主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。 相似文献
16.
结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性. 相似文献
17.
18.
采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果. 相似文献