Research and Development of Model Checking Software Architecture
Zhang Peng · 2007
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 verification. As a formal verification technique based on automata theory, model checking verifies system’s attributes by enumerating all its state spaces. Compared with the traditional testing and verification techniques, it has its own advantages. Therefore, more and more researches are applying model checking to analyze and verify quality attributes of SA. In this paper the states of model checking SA are first investigated, the factors affecting to it are analyzed in the second, and the future research topics are debated in the final.