| 基于层次状态机的方面化特征模块的增量式验证 |
| |
| 引用本文： | 叶俊,谭庆平,李暾,徐建军.基于层次状态机的方面化特征模块的增量式验证[J].计算机学报,2009,32(9). |
| |
| 作者姓名： | 叶俊 谭庆平 李暾 徐建军 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金项目，长江学者和创新团队发展计划资助 |
| |
| 摘 要： | 方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM的验证方法,这制约了AFM范式的应用.文中首次为AFM范式建立了形式化模型,并基于此模型提出一种AFM程序的增量式的验证方法.该方法可以从一个小规模的AFM程序的验证开始,以后每次只添加对新组合的AFM模块的验证,因此可避免直接验证大型AFM程序时可能由于模型的规模太大而无法验证的问题.
|
| 关 键 词： | 方面化特征模块(AFM) 层次状态机(HSM) 增量式验证 面向特征编程范式(FOP) 面向方面编程范式(AOP) |
Incremental Verification of Aspectual Feature Module Based on Hierarchical State Machine |
| |
| YE Jun,TAN Qing-Ping,LI Tun,XU Jian-Jun.Incremental Verification of Aspectual Feature Module Based on Hierarchical State Machine[J].Chinese Journal of Computers,2009,32(9). |
| |
| Authors: | YE Jun TAN Qing-Ping LI Tun XU Jian-Jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
