摘要：针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题,提出了一种被动测试错误检测方法.该方法在外部通道放置观察者,并使用了全局状态描述系统的当前可能状态,利用了观察到的输入输出信息,同时结合了模型转换推测出系统的状态变迁.基于该检测方法又设计出一种层次化的错误诊断算法,首先记录被动检测过程中系统经历的转换轨迹,用变异分析方法生成候选诊断,然后通过被动观察来降低错误集合的规模,最后使用区分序列和交叉判定进行错误定位.通过一个实际的H.245通信协议的实验表明,所提算法能够在有限观察步骤内检测出被测系统中的错误,并能有效定位检测错误,其回溯算法也可以显著缩短错误症状序列的长度.

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