IMA分区间通信的一致性测试模型

来源 :计算机仿真 | 被引量 : 4次 | 上传用户:chenshunsheng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了确保IMA操作系统中的通信方行为的正确性,并减少系统测试的人力以及时间成本。提出了一种对于符合ARINC653接口的规范的IMA分区间端口行为一致性测试方法。首先,对IMA分区通信机制进行分析,使用架构分析与设计语言,建立不同模块上的不同分区间的通信模型。然后提出一个分区间通信实例,说明了端口的调用规则与预期的通信流程,并编写相应的测试规范。最后对模型的框架,端口的调度以及数据等进行一致性测试,并生成端口一致性测试报告,结果所建立的模型通过了一致性验证。测试结果证明了测试方法的可行性,为进一步研
其他文献
一个时代有一个时代的主题,一个时代有一个时代的使命。这样一句当下堪称耳熟能详的话,不仅适用于中国特色社会主义事业全局,而且也适用于作为其重要组成部分的中国特色社会
2016年6月14日,中策橡胶(泰国)有限公司成功举行了"开业一周年庆典活动"。出席此次活动的嘉宾有泰国前副总理、罗勇府府尹、罗勇府州长,罗勇府警察局、移民局、劳工局、林查邦BOI
2015年,对于中国橡胶行业,尤其是轮胎行业来说,是前途晦涩,方向迷茫的一年,面对着内忧外困、错综复杂的国际国内形势,很多企业都陷入了发展停滞甚至大幅亏损的局面。一方面,整个橡胶
塑料机械发展极其迅猛的时代,随着轮胎行业的不断需求,开炼机作为塑料加工行业中历史悠久、适用范围广泛的一种简单机械设备,在质量、消耗、生产成本上有着更高、更多的要求;
《汗简》音切考校(上)吕朋林汗简“,宋初郭忠恕作。忠恕在书前的小序中说:“臣顷以小学莅官,校勘正经石字,繇是咨询鸿硕,假借字书,时或采掇,俄成卷轴。”由《郭忠恕传》可知其时间:“太
按照国家税务总局同一案件内外双查的“一案双查”安排部署,2016年X县国税局部分干部于一桩“农副产品收购企业虚构收购业务虚开增值税专用发票”专案中,因涉及违纪问题,被上
本文运用语境理论主要探讨两方面的问题:一、郑玄随文释义的方法,主要包括(1)根据辞例释义;(2)根据语义搭配和语法组合关系释义;(3)根据语用释义;(4)根据文意照应释义。二、郑玄随
2019年初,山东省J市和原L市经国务院批复同意,完成了行政区划合并。新设立的L区在辖区人口、地域面积、经济体量、服务职能等多方面都发生了重大变化,对全区工作带来全面而彻底的影响。其中,招商引资政策工作与地方经济基础、产业特点、人才资源和政府功能等因素关联程度较深,其受区划调整的影响尤为深刻。解决好因区划调整被放大或新诱发的招商引资政策问题,探索长效工作机制,真正释放区划调整红利,对L区经济社会发
基于Fishers判别准则的LDA方法在人脸识别中处理高维数据时,通常会遇到欠采样的问题,且稳定性欠缺。本文提出的核双子线性判别分析方法(KDS-DA),通过对LDA、DS-LDA、KDS-DA的层层深入研究,在双子空间中,将核方法与线性判别分析(LDA)方法相结合。通过matlab软件编程实现,证明这种方法具有更好的判别性能。
数据流断点区检测用于挖掘识别动态数据流中的异常数据,由于移动网络数据流具有无限输入与动态变化等特征,针对现有算法存在对动态数据的聚类精度不高、离群点的处理效率较差的缺陷,难以实现移动网络环境下数据流断点区的实时高精度检测,提出了一种改进加权近邻密度的动态数据流断点区优化检测算法。上述算法利用微簇的密度来发现数据流中的离群点与簇连接,用以表示动态数据流的演化信息,为了更准确体现数据流的原始特征,在算