将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,提出EFSM模型的两级结构依赖图EPDG(EFSM Program Dependence Graph),使用变迁及其子节点分别表示控制依赖及数据依赖,将EFSM模型的切片转化为图形可达性问题,并给出EPDG的构造算法及切片算法,运用实例与已有成果做对比实验.
BitTorrent(BT)是基于Peer-to-Peer (P2P)技术的比较流行文件共享软件,BT protocol是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,Finite State Machine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用UIO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的UIO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.
为了快速得到用户关心的信息,根据用户浏览内容和浏览行为建立兴趣模型,并在用户访问时根据兴趣模型自动向其进行文章推荐的方式得到了越来越多的运用.本文在前人研究的基础上,对于兴趣模型的构建进行了系统阐述,提出一种基于时间元的合理量化兴趣度值的方法,同时据此扩展了VSM(Vector Space Model)文本表示模型,并引入了主题兴趣度的概念.实验结果显示通过该方法构建的兴趣模型能够较好的区分和把握用户的不同兴趣,准确率较高.
基于IMS的IPTV是三网融合的重要业务体现,其中频道切换延迟是影响用户体验质量(Quality of Experience)的关键衡量指标.分析频道切换延迟原因,提出一种双通道频道快速切换的方法来减少频道切换延迟,提高了用户体验质量.最后在ETSI TISPAN提出的基于IMS的IPTV架构上构建的原型上通过封装H.264视频编码的MPEG-2 TS格式的高清片源验证了方法的可行性.