【摘 要】
：
为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用例的生成展开研究。将时间约束作为变量处理
论文部分内容阅读
为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用例的生成展开研究。将时间约束作为变量处理和并发任务的平坦化分析进行研究,通过分析生成了模拟软件完整执行过程的测试序列,采用组合设计解决了各输入变量不同取值之间的组合问题,并提出为变量增加时间属性来描述产生测试信号的时刻。以某弹药飞控软件为例,进行建模和测试用例生成实践,验证了方法的可行性。该研究为有限状态机模型在飞控软件和其它实时软件测试中的应用进行了探索。
其他文献
<正> 海尔集团创立于1984年,20年来持续稳定发展,已成为在海内外享有较高美誉的大型国际化企业集团。产品从1984年的单一冰箱发展到拥有白色家电、黑色家电、米色家电在内的9
基于IDR/IBS体制,从诸多参数的概念入手,分析卫星通信中载噪比、信噪比与误码率的关系,以及如何利用频谱分析仪准确测量接收卫星信号的载噪比。测试分析结果表明:不能为降低
<正>一、绿色化学与绿色化学观温室效应、臭氧层破坏、沙漠化、酸雨等环境公害已经严重危及到人类自身的生存和发展。通过对20世纪化学工业发展的反思,人们提出了治理环境问
近年来,无人机在军事领域的作用越来越显著,在战争中凸显出不可替代的地位,受到了世界各军事大国的广泛的关注。面对现代化战场中任务的多样性与复杂性,无人机的作战模式逐渐
综述了轨道交通车辆交流传动控制技术，包括四象限变流器控制技术、牵引电机控制技术、黏着控制技术以及微处理控制芯片与网络控制技术的研究进展。
分析了诱发地质灾害形成的自然和人为因素 :气候、地质、地形地貌、植被因素及人口、农林开发、工业生产、城镇规划建设等因素 ,介绍了地质灾害治理的几点主要经验
和谐社会意味着相互依赖、相互作用着的各个社会子系统均能良好生存和良性发展。通过对浙江农村妇女人身权利与其他社会主体、其他权利、经济发展、地区等子系统之间的和谐状
一位歌唱家能够演唱民族歌曲在国内获得大奖,又能以西洋歌剧咏叹调获得国际比赛的大奖,这在国内歌唱界是不多见的,吴碧霞就是这样一位横跨两种演唱风格的歌唱家。她的成功,将
针对高层建筑火灾的危害特点 ,在分析影响火灾烟气流动因素的基础上 ,提出了相应的高层建筑火灾的防排烟措施 ,对高层建筑火灾人员疏散具有一定的指导作用。