排序方式: 共有35条查询结果,搜索用时 421 毫秒
1.
2.
3.
4.
5.
6.
为了探索SCADE开发环境在基于模型设计(MBD)的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析中的实现方法,基于某型航空发动机FADEC系统的健康管理软件开发,应用了SCADE开发环境的建模、仿真、测试及覆盖率分析、代码生成与集成的全流程的MBD开发方法,并进行了完整的系统测试,测试用例全部通过。系统测试的结果验证了基于SCADE开发环境进行FADEC软件开发的正确性和可靠性,为SCADE开发环境在航空发动机FADEC软件开发中的应用提供了技术指导和工程借鉴。 相似文献
8.
我国航天测控网发展构想 总被引:3,自引:0,他引:3
本文首先综述了我国测控网的发展过程和现状,然后根据我国航天发展规划,探讨了测控网所面临的挑战和问题。针对这些问题提出了诸如提高测控网精度、覆盖率、测控网运行效率的解决措施。 相似文献
9.
为了更加真实地模拟Ti6Al4V钛合金的喷丸强化过程,建立了一个基于概率控制多弹丸冲击靶面位置的三维喷丸有限元模型,以考虑喷丸强化过程中弹丸之间的相互作用。模拟了喷丸角度为60°和90°的两种工况,结果表明:对于相同的弹丸尺寸和初始速度,达到完全喷丸覆盖率和饱和喷丸强度,60°喷丸角度工况在单位受喷面积上需要的弹丸个数为15/D2(D是弹丸直径),90°喷丸角度工况需要的弹丸个数为35/D2;在达到完全喷丸覆盖率的过程中,随着弹丸个数的增加,喷丸强化的残余压应力逐渐增大并趋于稳定,而受喷表面粗糙度基本呈线性增大;在完全喷丸覆盖率下,相对于60°喷丸角度工况,90°喷丸角度工况的表面残余压应力较小,但最大残余压应力较大,表面粗糙度也较大。 相似文献
10.
结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性. 相似文献