模型自动转换与一致性验证方法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:ppg1234
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为降低软件测试成本,基于模型驱动的测试领域研究得到了极大发展。测试的准确性以模型的正确性为前提,在进行测试前必须对模型正确性进行验证。基于此,提出一种方法进行正确性验证。将测试系统UML模型集转换为时间自动机网络模型,利用现有的模型验证工具进行验证,在过程中根据实际项目需求定义验证规则,实现模型验证过程。
其他文献
纵观世界大国崛起,无不把人才作为第一资源。习近平总书记提出,“建立集聚人才体制机制,择天下英才而用之”,是当前人才工作科学指南。从国际经验看,经济发展水平是影响人才流动的
为加速Occam反演算法中对称带状系数矩阵上的高斯-约当消元法,研究二维等带宽存储方法,提出一种基于对分策略的并行算法,解决顺序策略中因工作三角形上各行的计算量不同导致
江西某电厂700 MW机组湿法脱硫系统(Wet Flue Gas Desulfurization,WFGD)添加了氧化增效剂,为了解氧化增效剂对WFGD系统脱硫脱汞效率的影响,对该机组进行了氧化增效剂的添加实
介绍九江长江大桥110KV变电所综合自动化系统。
自2016年《中国学生发展核心素养》问世,核心素养培育成为基础教育课程改革的方向标。课堂教学是培育核心素养的主阵地,高中思想政治课是“立德树人”的关键课程,作为基础教育的必修课,推动核心素养落地生根不但需要因时因势对传统教学进行反思,而且更需要在课程教学中融入新的教学设计元素,实现高中思想政治课“理想图景”与“现实的人”融通的教学目标,提升课堂教学成效。同时,逆向教学设计理论自产生以来,也已受到一
联想集团创始人柳传志说过:所谓复盘,就是一件事情做完了以后,做成功了,或者没做成功,尤其是没做成功的,坐下来把当时的这个事情,我们预先怎么定的、中间出了什么问题、为什
为判断模糊图像的失真程度,针对模糊图像的质量评价提出一种方法。通过非下采样轮廓波变换提取图像特征形成特征向量,将得到的特征向量作为输入,图像的DMOS值作为输出,利用支持向量回归建立图像质量评价模型,结合序列后向选择算法预测图像质量得分。实验结果表明,在LIVE、VCL@FER、CSIQ和TID2013数据集上,该方法和人类视觉系统具有较好的一致性。
贵溪发电有限责任公司2×300 MW机组锅炉电除尘器原设计选型偏小,导致出口烟尘排放严重超标,在除尘器各电场最大功率运行下,实测出口排放浓度平均为140 mg/m^3,不能满足
分析了水轮机导轴承油位指示不准确的原因,提出了解决措施。
在后工业社会背景下长大的坎迪斯·布什奈尔深切地体会了现代人生活的荒诞和无奈,她的半自传体小说《欲望都市》以错乱零散和黑色幽默的叙事话语,反映了欲望主体在疯狂世