中村,马萨黑德;托赫鲁·基库诺 一种新的特征交互测试方法。 (英语) Zbl 0908.68113号 集成。,超大规模集成电路J。 26,编号1-2,211-223(1998). 摘要:特征交互(Feature Interaction,FI)是电信网络上新业务与现有业务之间的一种不一致冲突。为了检测和消除FI,需要进行FI测试,以检查给定多个服务是否发生FI。在本文中,我们首先介绍了FI的实际例子,然后利用有限状态机描述了FI测试问题。接下来,我们回顾一下传统的测试方法。由于传统方法通常使用穷举状态枚举进行测试,因此所谓的状态爆炸问题成为测试的瓶颈。为了避免这种情况,我们利用Petri网的P不变量提出了一种新的方法。理论上,P不变方法只为FI测试提供了必要条件。然而,实验结果表明,它基本上是实现实际服务的必要和充分条件,并且它实现了比传统测试更高效的测试。因此,该方法非常适用于实际FI测试。 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68M10个 计算机系统中的网络设计和通信 关键词:电信服务;功能交互;FI测试;有限状态机;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{M.Nakamura}和\textit{T.Kikuno},集成。,VLSI J.26,编号1--2,211-223(1998;Zbl 0908.68113) 全文: 内政部