一种用于软件运行时分析的行为模式描述语言

摘要

软件本质上是代替人执行一定行为的,对软件行为的描述与分析一直是软件技术关注的重点.为有效表达软件交互行为,提高分析效率,基于正则表达式,提出了一种用于软件运行时分析的行为模式描述语言BPL.在BPL中,通过对软件运行时可观察行为中反复出现的事件序列的特征抽取和概括,软件行为被描述为一个由小写字母表示的行为踪迹及约束构成.最后使用BPL描述了电子交易过程.