位置:成果数据库 > 期刊 > 期刊详情页
一种用于软件运行时分析的行为模式描述语言
  • 期刊名称:湖南工业大学学报(自然科学版)
  • 时间:0
  • 页码:34-37
  • 语言:中文
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]湖南工业大学计算机与通信学院,湖南株洲412008
  • 相关基金:国家自然科学基金资助项目(60773110); 中国博士后科学基金资助项目(20080440216); 湖南省自然科学基金资助项目(09JJ6087); 湖南省研究生创新基金资助项目(CX2009B200); 湖南省教育厅科研基金资助项目(07C234 09C325)
  • 相关项目:开放环境下的软件动态演化研究
中文摘要:

软件本质上是代替人执行一定行为的,对软件行为的描述与分析一直是软件技术关注的重点。为有效表达软件交互行为,提高分析效率,基于正则表达式,提出了一种用于软件运行时分析的行为模式描述语言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.

同期刊论文项目
期刊论文 59 会议论文 6 获奖 2 专利 1 著作 1
同项目期刊论文