排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
民用机载软件的研制以DO-178B标准为指导.与传统的软件工程相比,DO-178B标准更面向目标和过程.该标准为各个等级的软件提出了相对应的目标,申请者需要向局方提供证据以表明研制的软件满足适航目标.软件的编码和集成过程,该标准要求集成过程的输出是正确和完整的.但该标准中并没有提出如何满足这个目标.本文通过无线电调谐软件对软件编码和集成过程以及对软件编译和链接过程的研究,提出一种方式来满足DO-178B标准的这一目标. 相似文献
4.
ITER装置是以氘氚为燃料进行大规模核聚变反应的大型科学实验装置,气体注入系统是其重要的一个子系统。为验证和固化基于MFC(流量控制器)的ITER气体注入系统设计,对MFC的性能包括内漏、静磁场抗扰度、流量控制精度和响应时间进行实验研究并在真空模拟平台上对该气体注入原型系统开展验证测试。实验结果表明,基于MFC的ITER气体注入系统在技术参数上符合设计技术指标,同时还可为ITER装置气体注入控制方式设计提供参考,为未来聚变堆气体注入系统的设计和建造提供基础工程数据。 相似文献
5.
本文以无线电调谐单元设备中的无线电调谐软件为例,通过引入LDRATESTBED自动化测试工具提高测试效率,实现满足DO-178C中的语句覆盖数据的目标.语句覆盖是民用飞机软件研制中最基本的覆盖率测试目标.语句覆盖可以有效检测出源代码中的多余代码,提高代码质量.通过实验表明LDRATESTBED可以快速完成源代码插桩以及代码覆盖率数据分析任务,同时,该工具自动标识源代码中未执行的代码,为开发者提供了分析的基础.工具生成的语句覆盖率数据满足DO-178C标准目标要求,可以作为证据提交给局方进行审查,提高软件的置信度. 相似文献
1