一种用于软件运行时分析的行为模式描述语言 |
| |
引用本文: | 李长云,王志兵.一种用于软件运行时分析的行为模式描述语言[J].湖南工业大学学报,2010,24(6):34-37. |
| |
作者姓名: | 李长云 王志兵 |
| |
作者单位: | 湖南工业大学计算机与通信学院,湖南株洲,412008 |
| |
基金项目: | 国家自然科学基金资助项目(60773110),中国博士后科学基金资助项目(20080440216),湖南省自然科学基金资助项目(09JJ6087),湖南省研究生创新基金资助项目(CX2009B200),湖南省教育厅科研基金资助项目(07C234, 09C325) |
| |
摘 要: | 软件本质上是代替人执行一定行为的,对软件行为的描述与分析一直是软件技术关注的重点。为有效表达软件交互行为,提高分析效率,基于正则表达式,提出了一种用于软件运行时分析的行为模式描述语言BPL。在BPL中,通过对软件运行时可观察行为中反复出现的事件序列的特征抽取和概括,软件行为被描述为一个由小写字母表示的行为踪迹及约束构成。最后使用BPL描述了电子交易过程。
|
关 键 词: | 行为模式 迹模式 约束 |
收稿时间: | 2010/9/19 0:00:00 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《湖南工业大学学报》浏览原始摘要信息 |
|
点击此处可从《湖南工业大学学报》下载全文 |
|