信息和软件技术41（1999）813-821无源测试和应用的GSM-MAP协议米Tabourier*，答卡瓦利德电信状态研究所，9日，查尔斯傅立叶街，91011埃夫里Cedex，法国摘要无源测试是收集操作设备及其环境交换的信息的痕迹的过程，目的是验证这些痕迹其实属于所提供的有限状态机接受的语言规范。在本文中，我们将目前现有的算法的一个扩展视为规范扩展有限状态机。一种算法的引入也考虑到覆盖转换次数。我们用一种实际应用的协议-GSM（全球移动通信系统）MAP（移动应用部分）来说明这种技术。关键词：无源测试，有源测试;GSM-MAP协议，一致性测试1、序言无源测试是收集测试环境下的操作设备及其环境交换的信息的痕迹的过程，并验证这些痕迹是否实际上属于被规范自动机接受的语言。虽然无源测试有时作为有源测试的替代被提及[1]，只有很少的努力已用于测试的这个方面[2,3]。但是，我们认为无源测试值得探讨，因为（a）在某些情况下，它可能是唯一一种可实现的测试方法，如在网络管理中，（b）它相对便宜和容易实施，以及由于系统的复杂性有源测试有时是不切实际的。在本文中，我们描述了无源测试的原理以及一个真正的协议--GSM（全球移动通信系统通讯）-MAP（移动应用程序的一部分）的应用。我们还将参考中提出的算法进行扩展，以便采取过渡覆盖范围并将扩展的有限状态机作为系统规范。本文的结构如下：在第2节中，我们描述了有限状态机无源测试的概念。第3节提出了两种算法来评估测试覆盖范围，同时考虑到过渡的覆盖面。在第4节，我们研究了该方法的实际应用协议，我们介绍了将扩展的有限状态机作为系统规范的扩展算法。第5节是此法对GSM-MAP-DSM协议的应用。2。无源测试的基础知识与有源测试相反，在无源测试中，测试者不必控制其测试实施。操作状态下，测试者只需观察IUT和环境的交换消息，以检查它们是否与该规范要求的运行情况相符合（参见图1。）。相关的工作有跟踪分析[4]，数据库的产生[5]和故障诊断[6]。在这些方法中，无源测试的一个主要区别是，它认为IUT可被置于初始状态，或者说，IUT的状态在实验开始时是已知的。另一个区别是这些方法是有源测试。相反，无源测试存在的主要困难是，我们不清楚跟踪开始时的执行状态。在无源测试中，没有有关跟踪开始的记录时刻的假设，因此它不一定是初始状态。每对个输入/输出记录被假定为代表着一种过渡，而我们的目的就是使痕迹的转变与规范相匹配。无源测试过程可以分解为两个步骤：找到当前状态的无源寻址序列，和跟踪痕迹与规范相比较的故障检测阶。2.1．第一阶段：无源寻址序列当前状态是由淘汰决定。最初，所有这些状态都是候选。在对痕迹的转换研究后，其他接受的状态被替换为相应的过渡的最终状态（冗余状态被消除），而不接受输入/输出的被淘汰。多次重复之后，有两种可能的结果：·无论是单一的独立状态：符合当前的状况，我们进入第二阶段;或·出现输入/输出对不接受任何候选状态，这表明该行为不符合规范，并且该故障已被侦破。2.2．第二阶段：故障检测从当前的状态，我们按照规范中的跟踪。如果到达一个状态不接受以下过渡，那么出现了错误。如果不是（即跟踪完成，没有死锁），那么没有检测到错误。1.范例假设我们的规范如图2的有限状态机，下面的跟踪已被观察到：a/1b/2c/3b/2b/2a/1b/2c/3c/3b/3我们可以看到，在无源寻址序列过程中潜在的当前状态的演变，在故障检测阶段的实际的当前状态的演变过程（图3）。前5个过渡跟踪使我们能够确定当前状态（状态1），余下的输入/输出跟踪对仅用于检测故障。2.3．不确定性机器在一个不确定的规范，在给定的状态，对一个相同的输入案件机有几个可能的表现。如果输出是不同的，这就是所谓的观察不确定性，否则，如果输出相同，但在达到的状态是不同的，它被称为不可观察不确定性。在无源测试的情况下，观察到的不确定性不是问题，因为输出使人们有可能知道哪一条路径被选中。另一方面，这对于不可观察不确定性是不可能的，因为对这两种转变，跟踪相同的。因此一组可能的状态（候选）必须维护：不能保证这组状态可以归结为一个单一的元素。此外，即使在一个点上，我们可以获得一个单一元素，反过来，可能会有几种接班人。因此，不存在实际的无源寻址程序，但该算法的原则保持不变。3．测试覆盖范围无源测试的问题之一是，它不可能发出通行证的裁决。，与有源测试相反，我们无法控制测试下的实施情况来涵盖所有的转换。因此，它可能发生系统行为稀少的那部份仍未经证实。不过，我们可以尝试确定测试范围，即计算已经淘汰的转换数，并指出哪些转换已淘汰了，哪些还没有。3.1．确定性机器3.1.1．初步做法在确定性算法中，，覆盖面