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

A Behavior Pattern Descriptive Language for Software Runtime Behavior Analysis

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

In essence,software may substitute human to execute some certain actions.The description and analysis for software behavior is always research focus.For the effective expression of the software interactions and the improvement of analysis efficiency,presents a novel descriptive language for software behavior pattern—BPL based on regular expressions,which describes software behavior as a combination of traces and constraints marked with lowercase letters after abstracting and generalizing the features of recurrent event sequences of the observable software behaviors at runtime.Finally,BPL is used to represent the process of electronic transaction.