一种基于模型的软件系统监测方法

Keywords: [软件维护, 软件质量保障, 软件系统监测, 运行时验证, 约束, 模型, software maintenance, assurance of software quality, integrity, software monitoring and verification, constraint, model]

Full-Text   Cite this paper   Add to My Lib

Abstract:

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软..

Full-Text