混成系统测试研究综述

被引量 : 0次 | 上传用户:sakuma556
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
混成系统包含了连续组件以及离散组件两个部分,作为一种动态系统广泛应用于安全关键领域。然而,由于混成系统的结构复杂性,使得其测试数据的自动生成成为一个难点问题。随着形式化方法与测试技术的结合,基于形式化规约支持测试用例生成可以有效的指导混成系统测试。本文介绍了混成系统建模及测试技术,并指出了存在的问题及未来的研究方向。
其他文献
移动互联网时代,基于数字传播的主题报道创新表达构成了信息传播领域的主要方式,移动化、社交化、场景化传播成为主流媒体守正创新的关键发力点。当前,我国媒体融合正向纵深
腌制是最常用的肉制品前处理方式,但传统的腌制方法在实际的工业生产中,有太多的局限性。存在着严重的不足,如腌制速度慢、时间长,生产加工效率低,肉质水分含量低等问题。针对上述问题,以淘汰蛋鸡鸡胸肉为研究对象,利用超声波协同碳酸氢钠辅助处理,对鸡胸肉进行快速腌制,分析了其腌制后的腌制速率及食用品质,并优化了腌制工艺,同时初步探索了碳酸氢钠和超声波加速鸡肉腌制速率的机理。具体内容如下:1、腌制工艺对鸡肉腌
目的:探讨腮腺腺淋巴瘤与多形性腺瘤的MRI表现特征,提高对两者的诊断准确率。方法:搜集本院2014年-2018年经手术病理证实的41例腮腺腺淋巴瘤与35例多形性腺瘤的临床资料进行
红色在中国人和西方人眼中的意义是不一样的。中国人的红,是喜庆且吉祥的,西方人的红, 却浪漫而热情。然而我国自古以来就有妇女穿“石榴裙”。直到今天红已经非常流行,2000
临储玉米拍卖序幕将正式拉开,真正的供给压力也将全面释放,在考验各方主体心态的同时,其价格也将重新寻找前进方向.4月4日,国家粮食交易中心公布了临储玉米拍卖时间和起拍价