Towards an integrated approach for validating qualities of self-adaptive systems
Towards an integrated approach for validating qualities of self-adaptive systems
复制标题
DOI：
10.1145/2338966.2336803
复制
发表时间：
2012-07
期刊：
影响因子：
--
通讯作者：
Danny Weyns
中科院分区：
文献类型：
--
作者：
Danny Weyns
自适应被广泛认为是一种有效的方法来处理日益增加的复杂性和动态性的现代软件系统。自适应系统的一个主要挑战是提供所需的运行时质量，如性能和可靠性的保证。现有的研究采用正式的方法，提供保证的自适应系统的设计，或执行运行时分析支持适应特定的质量目标。然而，形式化的工作产品并没有在软件生命周期的不同阶段被利用。在这份立场文件中，我们认为一个集成的正式成立的方法来验证所需的软件质量的自适应系统。这种方法集成了三个活动：（1）在设计过程中对自适应系统的行为进行模型检查，（2）在开发过程中对具体实现进行基于模型的测试，以及（3）在系统部署后进行运行时诊断。我们举例说明的方法与摘录的初步研究，并讨论每个活动的研究面临的挑战。
Self-adaptation has been widely recognized as an effective approach to deal with the increasing complexity and dynamicity of modern software systems. One major challenge in self-adaptive systems is to provide guarantees about the required runtime qualities, such as performance and reliability. Existing research employs formal methods either to provide guarantees about the design of a self-adaptive systems, or to perform runtime analysis supporting adaptations for particular quality goals. Yet, work products of formalization are not exploited over different phases of the software life cycle. In this position paper, we argue for an integrated formally founded approach to validate the required software qualities of self-adaptive systems. This approach integrates three activities: (1) model checking of the behavior of a self-adaptive system during design, (2) model-based testing of the concrete implementation during development, and (3) runtime diagnosis after system deployment. We illustrate the approach with excerpts of an initial study and discuss for each activity research challenges ahead.