主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王栋,梅宏.下一代通信软件中的特征冲突检测.软件学报,2005,16(7):1232-1241
下一代通信软件中的特征冲突检测
Detecting Feature Interactions in Next Generation Communication Software
投稿时间:2005-01-20  修订日期:2005-03-11
DOI:
中文关键词:  下一代通信软件  特征冲突  通信有限状态机  系统验证  状态爆炸
英文关键词:next generation communication software  feature interaction  communication finite state machine (CFSM)  system verification  state explosion
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60233010 (国家自然科学基金)
作者单位
王栋 北京大学,信息科学技术学院,软件研究所,北京,100871
贝尔实验室,中国基础科学研究院,北京,100080 
梅宏 北京大学,信息科学技术学院,软件研究所,北京,100871 
摘要点击次数: 3016
全文下载次数: 3556
中文摘要:
      通信软件在其基本服务基础上进行扩展而得到的附加功能被称为特征,由于特征之间的相互干扰所导致的软件系统的异常行为被称为特征冲突问题.研究了下一代通信软件中由于特征的分布式实现和部署而产生的特征冲突问题.基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则.对所提出的方案及优化策略进行了理论上的证明和实际中的验证,结果均表明,该方案对于通信软件中的特征冲突检测是有效的.
英文摘要:
      Features denote the extensions of the basic function set of the communication software, while Feature Interactions (FIs) mean the unexpected interference between the features. The paper studies the FIs in the next generation communication software mainly on the aspect of the distributed implementation and deployment of the features. Based on the Communication Finite State Machine (CFSM) model, the authors design an FI detection method using the system verification technique. For the state explosion problem during verification, an optimization scheme is presented to reduce the complexity. Its validity is proved in theory and illustrated by examples.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利