随着互联网技术快速发展以及业务需求不断累加,软件规模呈现出指数级增长态势,软件结构也越来越复杂,导致人工调整软件任务加重和成本增加。因此,软件系统需要具备一种自主优化的能力,即成为自适应软件。该类软件可根据系统实时运行状况进行自主优化调整,从而更好地实现系统目标。自适应决策可产生最合适的自适应策略为系统调整自身行为、参数、结构等属性提供指导,策略的优劣直接影响软件系统的运行效果。因此,确保策略的有效性和可靠性是自适应软件领域的关键问题。然而,当前工作主要集中于对整个自适应控制逻辑的研究,或侧重研究某一个具体的环节,缺乏对验证自适应策略有效性、可靠性和执行效果的研究。一方面,多数研究工作默认决策产生的自适应策略是可信赖的,可直接在目标系统中实施。另一方面,现有工作中缺少根据自适应策略的执行效果,对决策方法进行动态修正的过程。但是,自适应决策产生的策略并不一定是有效且可靠的,因此,为了降低自适应策略对系统带来的不确定影响,需要在策略投入实施前验证其有效性和可靠性。同时,需要对自适应策略实施后的效果进行评估,以作为决策模块优化的依据。本文工作的主要目标是针对上述问题,设计并实现自适应策略验证机制,保证策略执行前的有效性和可靠性,并通过评估策略的执行效果,实现对自适应决策过程的反馈优化。本文主要工作包括以下五个部分:第一,针对已定义策略有效性未知问题,提出了基于模型检测的策略有效性验证方法,通过形式化描述系统状态模型并采用线性时序逻辑描述待验证的属性,进而利用NuSMV模型检测工具进行验证,保证策略在执行前的有效性,降低策略失效率。第二,针对系统运行过程中动态产生的策略可靠性未知问题,提出了基于马尔科夫链的软件质量属性分析方法,通过将扩展质量属性的业务流程模型转化为马尔科夫模型,并基于马尔科夫模型计算整个业务流程的质量属性,实现对动态产生的自适应策略对系统质量属性影响的分析,保证策略在执行前的可靠性。第三,针对策略执行效果缺乏评估和决策方法缺乏反馈优化的问题,提出了基于需求目标模型的策略评估方法,通过建立系统需求目标模型,并基于所建立的模型和系统实时运行状态,评估策略执行效果,然后根据评估结果对决策方法进行修正,达到对决策模块进行反馈优化的目的。第四,设计实现了自适应策略评估中心,支持上述三种策略验证方法的实际使用。第五,通过实验对本文研究实现的自适应策略验证机制进行了验证,证明了本文所提出方法的有效性。