5、自适应系统的永续保证：挑战与应对

自适应系统的永续保证：挑战与应对

1. 引言

近年来，自适应对软件工程过程的影响受到了广泛研究。传统的迭代、增量和进化软件工程过程，已难以满足许多需要在运行时处理变化的现代系统的需求。在自适应系统中，变更活动从开发阶段转移到运行时，责任也从软件工程师或系统管理员转移到系统本身，这使得开发时间和运行时间的界限变得模糊，需要对软件工程过程进行全面的重新概念化。

对于自适应系统，尤其是关键业务或安全关键系统，提供系统在整个生命周期内满足需求的新证据至关重要。然而，由于需求和环境行为的不确定性，这一过程充满挑战。为了确保系统满足需求，目前自适应系统领域倡导使用形式化模型，一些方法采用形式化方法来提供构建保证，最近，概率模型在处理不确定性方面也受到了关注。但要保证自适应系统在整个生命周期内实现目标，仍然是一项艰巨的任务。

2. 永续保证的关键挑战

2.1 定义

• 自适应系统的保证 ：为需求合规性提供证据，这些证据可以离线提供（即与运行中的系统没有直接连接或不受其控制），并在线补充（即与运行中的系统连接或受其控制）。
• 自适应系统的永续保证 ：通过一个持久的过程为需求合规性提供证据，该过程通过结合系统驱动和人为驱动的活动，持续提供新的证据，以应对系统在整个生命周期（从初始阶段到实际运行）中面临的不确定性。

2.2 不确定性的挑战

不确定性是永续保证面临的主要挑战，它有多种定义，如知识的缺失、信息的不足等。我们采用一种将不确定性分为三个维度的分类法：位置、级别和性质。
-