Providing early feedback in the development cycle through automated application of model checking to software architectures
Providing early feedback in the development cycle through automated application of model checking to software architectures
复制标题
DOI：
10.1109/ase.2001.989825
复制
发表时间：
2001-11
期刊：
影响因子：
--
通讯作者：
K. S. Barber;T. Graser;J. Holt
中科院分区：
文献类型：
--
作者：
K. S. Barber;T. Graser;J. Holt
评估软件体系结构的属性的好处来自两个重要的软件体系结构角色：(1)在实现之前提供评估需求和纠正缺陷的机会；(2)为系统开发人员提供蓝图。介绍了一种新的软件体系结构评估工具--体系结构分析动态环境(ARCADE)，该工具在需求收集和分析阶段使用模型检测来提供软件体系结构的安全性和活性评估。模型检查需要系统分析师和软件开发人员通常不具备的专业知识。因此，必须解决应用模型检测的两个障碍：(1)将软件体系结构规范翻译成适合于模型检测的形式，以及(2)解释模型检测的结果。Arade为这些障碍提供了一种自动化的方法，允许将软件体系结构的模型检查添加到专注于需求收集和分析的软件分析师和开发人员可用的技术列表中。
The benefits of evaluating properties of software architectures stem from two important software architecture roles: (1) providing an opportunity to evaluate requirements and correct defects prior to implementation; and (2) serving as a blueprint for system developers. The paper focuses on a new software architecture evaluation tool called Architecture Analysis Dynamic Environment (Arcade) that uses model checking to provide software architecture safety and liveness evaluation during the requirements gathering and analysis phase. Model checking requires expertise not typically held by systems analysts and software developers. Thus, two barriers to applying model checking must be addressed: (1) translation of the software architecture specification to a form suitable for model checking, and (2) interpretation of the results of model checking. Arcade provides an automated approach to these barriers, allowing model checking of software architectures to be added to the list of techniques available to software analysts and developers focusing on requirements gathering and analysis.