基于事件约束的软件过程验证

• 作者: 陈道蓄 顾庆
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件工程 软件过程 软件过程改进 过程模型 过程验证 事件约束
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1735-1742
• 页数: 8页
• 分类号: TP311
• 字数: 5737字
• 语种: 中文

摘要

软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extended constraints on succeeding and proceeding events)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(event constraint based process difference metric)和EAD(event constraint based activity deviation metric)指标.EPD指标可以反映过程执行与过程模型的偏差,EAD指标则为过程演化提供依据.