黑龙江大学自然科学学报

2020, v.37(03) 362-366

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于SMV模型检测工具的分布式动漫渲染系统软件建模与分析
SMV model checking tool-based modeling and analysis of distributed animation rendering system software

洪志国;王永滨;石民勇;于水源;

摘要(Abstract):

利用网络资源搭建分布式动漫渲染系统是提升渲染速度、克服动漫制作效率瓶颈的有效方式。分布式动漫渲染系统软件的健壮性和可用性是渲染系统稳定高效运行的重要保障。因此,从模型检测角度对软件开发进行建模与分析将有效地预防和消除程序中的Bugs,保证程序设计的正确性。基于模型检测方法对系统进行了建模,采用计算树逻辑(Computational tree logic, CTL)对系统待验证的性质进行了描述,并进一步通过符号模型检查(Symbolic model verification, SMV)工具验证了所构建模型的相关性质,为提高系统软件开发的正确性提供了重要的理论依据。

关键词(KeyWords): 模型检测;动漫渲染;SMV;状态机

Abstract:

Keywords:

基金项目(Foundation): 国家科技支撑计划课题资助项目(2013BAH54F03);; 中国传媒大学优秀中青年教师培养工程资助项目(YXJS201508);中国传媒大学理工科规划项目(3132015XNG1504)

作者(Author): 洪志国;王永滨;石民勇;于水源;

Email:

DOI: 10.13482/j.issn1001-7011.2019.09.042

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享