下一代通信软件中的特征冲突检测

摘要：

通信软件在其基本服务基础上进行扩展而得到的附加功能被称为特征,由于特征之间的相互干扰所导致的软件系统的异常行为被称为特征冲突问题.研究了下一代通信软件中由于特征的分布式实现和部署而产生的特征冲突问题.基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则.对所提出的方案及优化策略进行了理论上的证明和实际中的验证,结果均表明,该方案对于通信软件中的特征冲突检测是有效的.

关键词：下一代通信软件、特征冲突、通信有限状态机、系统验证、状态爆炸

所属期刊栏目：16

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60233010

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1232-1341