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

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