模型检验软件体系结构研究与进展

计算机科学 ›› 2007, Vol. 34 ›› Issue (4): 7-12.

• 计算机网络与信息安全 • 上一篇下一篇

模型检验软件体系结构研究与进展

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本研究受到国家自然科学基金（批准号：60473065）和计算机软件新技术国家重点实验室（南京大学）课题资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 软件体系结构经过10多年的发展，在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前，就软件体系结构的分析、评价、测试和验证的研究也在如火如荼地进行中。模型检验是一种基于自动机理论的形式验证方法，采用穷举状态空间的方式来证明系统的模型是否满足要验证的属性。同传统的测试和验证的手段相比，模型检验有其自身的优势。为此，越来越多的研究人员正在将模型检验技术应用到软件体系结构的分析和验证中。本文调查了模型检验技术在软件体系结构中的应用现状，剖析了影响软件体系结

关键词: 软件体系结构模型检验应有属性形式验证

Abstract: In the past ten years, software architecture has made a great step in the research of foundation theory, SA style, architecture description language （ADL）, SA model etc. Currently, many people are doing the research of analysis, evaluation, testing and ve

Key words: Software architecture, Model checking, Desired properties, Formal verification

. 模型检验软件体系结构研究与进展[J]. 计算机科学, 2007, 34(4): 7-12. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

模型检验软件体系结构研究与进展

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0