文献检索-宁波市创意产业特色资源库

限定检索结果

基于SPIN的HMSC模型自动检验方法: 收藏
分享
引用; 《计算机工程与设计》2023年第10期44卷 3047-3055页; 作者：李立亚孙雨荷马汉杰丁佐华黄鸿云无锡科技职业学院人工智能学院江苏无锡214000 浙江理工大学计算机科学与技术学院浙江杭州310018 浙江理工大学图书馆多媒体大数据中心浙江杭州310018; 自动检测与验证HMSC(high-level message sequence chart)模型的正确性对保证文本需求被正确建模具有十分重要的意义,为此提出一种为HMSC模型进行自动检验的方法,并将其实现。利用转换规则为HMSC模型生成Promela检测语言,借助SPIN工具...; 自动检测与验证HMSC(high-level message sequence chart)模型的正确性对保证文本需求被正确建模具有十分重要的意义,为此提出一种为HMSC模型进行自动检验的方法,并将其实现。利用转换规则为HMSC模型生成Promela检测语言,借助SPIN工具对需求进行验证。该方法不仅支持模型检测,同时通过对系统行为的动态模拟可以实现需求的合理性分析。从Promela实现到SPIN验证整个过程实现自动化操作。在该方法的基础上实现一个文本需求自动建模及检测分析的工具,通过一个实例展示其自动建模检测分析的效果,表明了其有效性和实用性。; 来源：详细信息评论

限定检索结果