【摘 要】
：
系统测试是提高航电软件质量的重要途径。建立测试需求模型是进行系统测试的前提和基础。使用形式化的语言建立需求模型,有助于提高系统测试的自动化程度。状态图具有形式化
【机 构】
：
北京航空航天大学工程系统工程系100083
【出 处】
：
第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on
论文部分内容阅读
系统测试是提高航电软件质量的重要途径。建立测试需求模型是进行系统测试的前提和基础。使用形式化的语言建立需求模型,有助于提高系统测试的自动化程度。状态图具有形式化特征,并且非常适合实时嵌入式软件的建模。因此本文以状态图为核心技术,基于面向对象方法,提出了一种适合软件密集航电系统的需求建模方法。基于该方法生成需求模型,结合一定的测试用例生成策略,可以自动生成测试用例和被测系统的交联环境仿真模型。作为示例,本文利用该方法对某飞机航电系统的导弹控制功能进行了建模,模型具有简洁、直观、易用的特点。
其他文献
分析目前机构动作可靠性研究的现状,提出基于仿真的机构动作可靠性分析和计算方法,介绍了机构动作可靠性仿真分析的思路和途径,并以某航炮自动机为主体建立了动作可靠性仿真
丙型肝炎病毒(HCV)是导致非甲、非乙型肝炎的重要原因,属于基因组高度变异的 RNA 病毒,可逃避宿主免疫监控和免疫清除,且容易进展成为慢性肝脏疾病[1].HCV 可通过血液、性和
总结了航空发动机健康监控和管理（EHM）技术的发展过程和技术现状。较为全面地描述了EHM系统功能及其主要流程,并介绍了EHM先进的传感器技术、异常检测技术、故障诊断、预测的模
胃癌是常见的消化道恶性肿瘤,具有发病率高、死亡率高的特点.全世界胃癌的发病率在恶性肿瘤中排名第 4 位,死亡率排名第 2 位,而在我国,胃癌的发病率及死亡率均占恶性肿瘤的
丙型肝炎病毒(HCV)感染无论是在成人还是儿童,都是全球严重的健康问题之一.据估计,全球约有 2.5％的人群感染过 HCV,而在发展中国家,其流行率可能更高[1-2].在发达国家,相对于
采用抽样调查、分析比较、数理统计等方法,对河北科技师范学院2003、2005年《学生体质健康标准》的检测结果进行比较、分析,以了解和掌握我院学生体质健康状况。结果表明:我
本文提出了基于观测器设计的随机分布系统的故障检测和故障诊断新方法,首先利用平方根B 样条逼近系统的输出概率密度函数来构造残差,当残差的绝对值大于给定的阈值时,可以判
基于虚拟样机技术,应用ADAMS软件进行了3-RPS并联机器人运动可靠性的研究。首先在ADAMS/View模块下建立参数化的虚拟样机模型。考虑各原始误差的随机性,利用随机抽样获得不同
提出了基于EDA仿真的电路测试性主要参数的预计方法,论述了面向测试性预计需求的故障建模、故障注入方法,针对隔离需求对故障注入进行了优化处理,给出了基于EDA仿真的电路测
随着信息技术日益发展和应用,在小区配电站﹑工厂电力室﹑变电站等动力环境中使用的通讯设备越来越多。文章根据几个现场电磁干扰案例分析了动力环境电磁干扰的特点, 讨论了通讯