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

• 作者: 梅宏 王栋
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 下一代通信软件 特征冲突 通信有限状态机 系统验证 状态爆炸
• 年，卷（期）: 2005,（7）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1232-1341
• 页数: 10页
• 分类号: TP311
• 字数: 7187字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅宏		15	1508	10.0	15.0
2	王栋		1	15	1.0	1.0