论文部分内容阅读
对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。
基于有限状态机模型的飞控软件测试方法浅析
【摘 要】
：
对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件
【机 构】
：
中国航空综合技术研究所;
【出 处】
：
航空标准化与质量
【发表日期】
：
2004年期
其他文献
神经源性膀胱是脊髓损伤(SCI)的临床常见合并症之一。膀胱功能障碍引起的肾功能衰竭是脊髓损伤患者死亡的第一位原因。因此,重建脊髓损伤患者的膀胱功能,是脊髓损伤患者康复
基于移动科技和智能手机不断发展与普及,新闻直播也由传统电视直播发展到移动直播。直播领域专业化、技术化和职业化发展要求为新闻直播平台带来发展契机,严谨专业的新闻直播内容可以弥补娱乐性网红直播所出现的一系列问题。移动直播被引入新闻报道,符合媒介融合与两微一端改革发展方向。随着直播融合发展不断深入,融合层次不断提升,移动新闻直播可以说是最能全面体现融合新闻发展阶段性成果的新闻报道形式。融合性移动新闻直播
以泉州湾跨海大桥引桥桥面铺装为例,重点对防水粘结层施工前施工工艺基面处置、材料选择、用量控制、渗水试验进行分析,阐明防水粘结层的质量对桥面铺装的重要性,为类似工程
本研究对我国东北地区口蘑属Tricholoma、杯伞属Clitocybe、假根杯伞属Rhizocybe、白杯伞属Leucocybe、辛格杯伞属Singerocybe、漏斗伞属Infundibulicybe、假杯伞属Pseudocli
目的:探讨热敏灸配合中药治疗股骨头缺血性坏死的临床疗效。方法:选择2010年1月～2011年1月本科100例股骨头缺血性坏死的患者,随机分为热敏灸配合中药治疗组50例和推拿治疗对照
分析了国内外水产养殖的现状和存在的问题，针对水产养殖环境自动化控制的需要设计了智能多环境因子水产养殖单片机实时检测与控制系统；该智能控制系统是以PC机为上位机和以单片
只有在市场经济社会，在政府职能转型的背景下，以区别于高度集权社会的政府干预行为和市场经济社会的传统政府干预行为的政府干预行为。才有所谓的监管存在。监管与监督密切相关
风能作为清洁能源,在世界各国得到了广泛应用。但是风资源本身的波动性决定了风能利用时必然会产生不确定性问题,无论是陆地风电还是海上风电,在利用风能时都将面临风电功率
离心喷嘴作为横管降膜蒸发器常用的布液设备,提高其喷淋均匀性可获得较好的料液成膜效果并提高蒸发器的传热性能。本文主要对不同几何结构的离心喷嘴外部喷淋过程以及内部流