信息和软件技术

信息和软件技术41（1999）813-821 信息和软件技术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/1 b/2 c/3 b/2 b/2 a/1 b/2 c/3 c/3 b/3 我们可以看到，在无源寻址序列过程中潜在的当前状态的演变，在故障检测阶段的实际的当前状态的演变过程（图3）。前5个过渡跟踪使我们能够确定当前状态（状态1），余下的输入/输出跟踪对仅用于检测故障。 2.3．不确定性机器 在一个不确定的规范，在给定的状态，对一个相同的输入案件机有几个可能的表现。如果输出是不同的，这就是所谓的观察不确定性，否则，如果输出相同，但在达到的状态是不同的，它被称为不可观察不确定性。 在无源测试的情况下，观察到的不确定性不是问题，因为输出使人们有可能知道哪一条路径被选中。另一方面，这对于不可观察不确定性是不可能的，因为对这两种转变，跟踪 相同的。因此一组可能的状态（候选）必须维护：不能保证这组状态可以归结为一个单一的元素。此外，即使在一个点上，我们可以获得一个单一元素，反过来，可能会有几种接班人。因此，不存在实际的无源寻址程序，但该算法的原则保持不变。 3．测试覆盖范围 无源测试的问题之一是，它不可能发出通行证的裁决。，与有源测试相反，我们无法控制测试下的实施情况来涵盖所有的转换。因此，它可能发生系统行为稀少的那部份仍未经证实。不过，我们可以尝试确定测试范围，即计算已经淘汰的转换数，并指出哪些转换已淘汰了，哪些还没有。 3.1．确定性机器 3.1.1．初步做法 在确定性算法中，，覆盖面的评估在故障检测阶段完成；在这个阶段，当前状态是已知的，每当一个过渡被淘汰，我们可以标志它。因此，我们将知道哪些转换已被淘汰。如果所有的转换都被淘汰，一个类似该巡回过渡的覆盖已经实现。 如果我们考虑前面的例子（图2），在故障检测阶段（从状态1起），过渡态的t3，t2的，t17和t4已经淘汰，它们代表了23％的覆盖率（17种状态外的四种过渡态）。如果跟踪较长（因为实际应用中显然会发生），覆盖的范围将会更好。例如，假设我们继续如下跟踪： c/3 a/1 a/1 b/2 c/3 b/2 对应于过渡 t2 t10 t16 t14 t13 t9 那么五个额外的转换已经淘汰，并且覆盖率是现在的53％。 3.1.2．改善回馈的覆盖面评价 我们在第3.1.1节提出的方法中，过渡只标注在故障检测阶段。但是，如果一些过渡在无源寻址序列已经被消除，而在故障检测阶段不会被再次消除，它们在这一评价将不被视为淘汰。因此，评估范围会比实际覆盖范围少。为了改善这一评估的覆盖范围，在第一阶段 我们也需要标记已经被消除的过渡态。以下引入的算法（算法1和算法2）是参考文献中算法的扩展 。 算法1. 测试覆盖范围： 这个过程可以被插入在无源寻址和故障检测程序之间，或在故障 检测程序之后，只需要在计算覆盖范围之前（后者是在实时环境更好）。我们用λ表示输出函数，δ表示转移函数和Pred（s＇，a，o)表示使用 a/o 标记的前置过渡态： 输入：一个规范的有限状态机规格，当前的状态 ，路径 反映运行情况。 输出：一组过渡态在追踪到的 过程中被淘汰 这种方法在只包含单一元素的时效果最好，因为只有一名候选接受了最后的过渡; 如果单一元素发生，效果不够好，因为对一个单一状态的自动覆盖范围有两个（或更多）的路径。让我们通过两个例子来说明这一现象： ·再次考虑我们在例1中使用的路径。如果我们一步一步原路返回，然后再走一遍这条路径，我们可以找到在无源寻址序列被淘汰的过渡状态，即过渡态 ， 和 。如果我们考虑它们来评估覆盖范围，已经消除的14种不同的过渡态组成了82％的覆盖率。在这种情况下，回溯 程序使我们可以显著提高覆盖面。 ·另一方面，现在让我们假设有路径以 （同一个有限状态机）开始。然后，无源寻址序列显示经过4个过渡态后，目前的状态是状态5。随着回溯，我们可以 发现，最后两个过渡是t9，随后是t8，但我们不能确定初始状态是否是状态6与过渡态t14 和t13的，或状态1与过渡态t3和t4，因为这两个路径状态5靠拢。在这个例子中，尽管 存在收敛，但回溯使我们可以标记两个多余的过渡态。 3.2．测试不确定机的覆盖范围 对于一个非确定性有限状态机（NDFSM），更难的是标记被淘汰的过渡，因为我们 不知道哪一个先验的候选人的过渡态被淘汰。但是，我们仍然可以使用上述的方法 ，当只有一个候选时，标记这些过渡，当遇到不确定性（不可观察）过渡时，停止标志。这种方法提供给我们一个实际的覆盖面下限。 让Succ（s，a，o）表示可能的继承状态集，状态s对应输入/输出a/ o。如果｜ Succ（s，a，o）｜=1，的（s，一，O）的因子。那么Succ（s，a，o）代表其独特的元素。 算法2.不确定性机的覆盖范围 输入：.不确定性机规格（规范）和输入/ 输出跟踪反映了运行情况。 输出：过渡覆盖评价判断路径是否被规范接受。 随着测试覆盖，无源测试不但可主要用于实施无法控制时， 也可以作为一种补充的主动测试。事实上，随着协议越来越复杂，测试序列越来越长，有时在合理的时间期限无法生成并执行。因此，解决这个问题的可能方式是产生和执行只用于一个协议核心行为（或其关键功能）的测试序列，然后对其进行测试无源。然后，对有源和无源测试的覆盖范围都进行研究后，新的有源测试序列可以对那些没有经过测试的过渡态（如有的话）生产和执行。 4．实际应用协议 4.1．扩展的有限状态机 现实生活中的协议用一个简单的有限状态机建模型过于复杂。为了确定一个真正的协议，我们必须使用扩展的有限状态机（EFSM）的形式（即将有内部变量和参数）。可能有变量与扩展的有限状态机的每个过渡相关。谓词必须是真实的因为过渡可能被淘汰。一个过渡可能有运动的变量，它们的值会修改。在这篇论文中，我们只考虑规范化扩展有限状态机的规范，这是由独特的模块和不包括复杂的指令（IF - THEN – ELSE,WHILE等）的行为组成的。一个扩展有限状态机随时可以转化成一个规范化扩展有限状态机。我们正式定义它： 定义1.一种扩展有限状态机是一种六元组 ,其中S是一个有限的非空状态集，S0是初始状态，I是输入符号的有限集合， O是输出符号的有限集合，向量 表示变量的有限集， T表示过渡态的有限集合。T中的每个过渡都是一个六元组 ，其中St是开始状态过渡，ft是过渡结束状态，it是输入，ot是输出，Pt是当前值的变量（ ）为真或假），At是运动的变量值 。 定义2.我们定义了一个参数化的扩展有限状态机作为定义1的普遍模型，其中的 输入或输出的符号有一组（零个或多个）的参数 。对于一个过渡态，t，输入，输出谓词和运动都取决于 和 。 扩展有限状态机的使用提出了一个新的问题：我们应该如何处理这些变量？在有源测试中，处理扩展有限状态机的工作已经做了。然而，有源测试的主要的困难 是生成测试序列的可执行文件，但因为我们知道初始状态，该变量的值是已知的。在无源测试，由于使用实际执行跟踪，可执行性不是问题，但我们不知道该变量的值，因为机器可以在任何状态开始跟踪。我们提出几个解决这个问题的方法： ·生成可达图; ·扩展有限状态机转变为一个不确定的有限状态机; ·确定变量值。 我们将在以下各节研究这些方法， 并将指出它们的优点和他们的弱点。 4.2．可达图 最简单的方法是生成可达图，这无异于将扩展有限状态机展开成等价的有限状态机。不幸的是，这会导致著名的状态爆炸问题。 不过，如果我们简单地实验这个协议的方法（见第5节），我们可以忽略这个问题。我们可以通过技术来减少一些问题和减少产生的可达图的大小。我们得到的可达图（省略图5）是一个展开的扩展有限状态机的规格，其中包括实例变数和原规范中使用的参数。 4.3．扩展有限状态机转变成一个 基本上，通过删除能够过渡的谓词，扩展有限状态机可以转化为不确定性的有限状态机。如果我们做这种转变，在下图4的例子中，我们可以简单地套用不确定性机器的算法。 使用这种方法，检测功率减少。由错误的参数值或控制变量造成的故障无法检出。在图 4的例a中， a / b和a /c 都将被接受，然而只有一个在原来的规范被接受。由于接受机 仍然是正确的机器超级组合，这个解决方案是可以接受的，因为不正确的实施将被拒绝。 但是，当使用这种方法，必须认识到，一个错误的执行可能被接受，而且，更具体地说，一个被不确定性机接受的行为的可能在最初的规范中不正确。 总之，这种方法使我们能够快速检测明显的错误，避免了状态爆炸问题。但为确保一致性，精确的测试将仍然是必要的。 4.4．变量值的确定 4.4.1。原则 用扩展有限状态机的形式，有时变量值会从输入/输出中消除。例如，考虑图5描绘的情况。假设我们知道目前的状态Si，但当前变量x的值是未知的。如果下一个输入/输出的痕迹是a / 1，我们可以推断，转变后，机器会在状态Sk，而且该变量x的值将是0。因此，我们建议再次使用4.3节的想法：不考虑到谓词取决于对未知值的变量，过渡态暂时不确定。 然而，一旦一个变量的值已经确定，这个值将被用来评价谓词，并可能进行修改，这取决于运动。采用这种方法，一个过渡态被淘汰，如果发生 ·输入/输出痕迹匹配过渡的标迹; 和 ·或者谓词（如果有的话）是真的，或者无法评估（由于未知变量值）。 4.4.2．价值损失问题 我们的这种做法的目的是能够最终 确定所有的变量值，这将使我们能够 其实评估所有谓词，拒绝过渡 如果它的上游是假的。但是，请注意，只要一些长期 变量有未知的价值观，有一种危险是，对于一些   P818 （省略图6） 转换，变量的值已经确定 可能再次成为未知。我们说明这个“亏损 价值“在图的问题。 6。在这个例子中，我们假设 变量x的值已经确定（十。 3），而y的值仍是未知数。假设Ÿ， 5，然后在左边分支发射，后过渡中，x。 0 持有，相反，如果我们现在假设钇。 5，则 右支被激发，后过渡，我们有x。三 和Y。 5。由于观察的行为是相同的 两间分行（一/ 0），我们不能确定，从跟踪， 该分公司选中，X和Y是未知 后过渡。 4.4.3。算法 每个变量可以有未定义的值（如果它 但尚未确定），或实际价值（如果有的话 被确定）。由于扩展有限状态机是确定的， 将有无源寻的阶段（试图确定 双方目前的状态和变量值），然后是问号 故障检测阶段（检查是否输入/输出 被观察到的符合性的规范，以 所有谓词和行动纳入帐户即检查 他们是否接受了自动机当前 状态和价值观）。为改变变量值的规则 在无源寻的阶段如下： 对于一个给定的输入² /输出对，如果有几个候选 转换可能确定一个变量，他们 会得到不同的值，则变量保持 不确定的。 ²如果出现未定义的变量，在一个谓词 谓词被认为是不确定的（该分支机构 接受）。 ²如果有一个变量值的损失，它成为 未定义了。 算法3。扩展有限状态机的无源测试。 输入：一个规范的扩展有限状态机规格和一个S一丝 一个实现进出口行为。 输出：是否微量进出口属于 语言规格。 （省略算法3,4,5）   P819 （省略图7） 5。一个与GSM - MAP协议实验 例如，我们在这里提出的是无源测试 的GSM - MAP的扩展有限状态机规范，对于 我们已经使用了第一种方法（工作在 可达图）测试的GSM - MAP协议。使用 本的GSM - MAP的扩展有限状态机，我们观察到 跟踪该协议的执行。在本节中，我们 该协议提供了一个简短的描述和我们描述 我们已取得的成果。 5.1。 SDL的规范和可达图 MAP的协议是欧洲数字分量 蜂窝无线通信系统GSM [13]。该地图 协议描述了所需的信令功能 灯号系统中没有。 7，提供了所需的服务 移动网络。该协议包括成立的地图 服务提供给用户。 的MAP协议允许组件之间的数据交换 公共陆地移动网络，基本上是有关 对一个移动台运动的可能性。该 协议是上面的几个协议 CCITT的没有。 7家族，如TCAP的（交易 功能：事务管理子系统）。每个 MAP_USER有MAP_PROVIDER模块在建 事务管理系统的TCAP。该地图服务 供应商提供一组服务（卫生局，服务状态 机）的区别，我们的供应商的角色 （由PERFORMING_MAP_SSM过程描述）和 请求者（由REQUESTING_MAP_SSM描述 过程）。所有这些服务都需要建立一个对话 两个实体之间的映射（见图。7）。这种对话 是管理的MAP_DSM（对话状态机） 过程，这是为建立责任 对话，传输和信息，数据核查接待， 和核查，上下文不改变 在对话期间。 在这个实验中，我们有兴趣只在帝斯曼 部分协议。 可以看出，从它的作用，帝斯曼介绍 模块是复杂的。它的SDL - PR的规格有2100 线，8 20内部变量和135个主要状态 过渡分支机构。因此，它不可能产生 从整个模块规格可达图， 由于状态爆炸问题。然而，这一全球 采用SDL的规范，如在第5.2节解释。在 为了生成可达图，我们采用了以下 方法：在DSM模块进一步划分为 三个过程（主，proc1和proc2）[14,15]。每个 模拟过程进行了详尽的使用Verilog的 ObjectGeode模拟器[16]。这三个结果可达 图的最小化，然后使用CADP艾尔帕兰 工具[17]，并组成成分工具使用INT [18]。这使我们获得一个有限状态机代表 行为的完整地图，帝斯曼。后组成 这三个过程，自动代表整个 帝斯曼的进程已经94个状态和3480转换。详细 信息对各种机器的大小，无论是在 SDL的形式，为有限状态机最小化后， 表1表示。 请注意，我们的规范实际上是不确定的，因为 一些地方的行为进行了建模与SDL非正式 决定。但是，所有出现的不确定性 是可观的，这使得它可以使用 用于确定性机算法，解释 2.3节。 5.2。实验 帝斯曼在全球地图采用的SDL规范 获得的痕迹：更具体地说，随机模拟 规范生成使用Verilog的对象 乔德模拟器[16]，并保存为消息序列 图表（干细胞）[19]为了获得符合性痕迹 该规范（图8）。这些干细胞，然后翻译 在我们跟踪处理，然后交由格式 无源测试工具。 我们的无源测试工具使用下的痕迹 格式：每行代表一个输入/输出对所报的一 米Tabourier，答卡瓦利/信息和软件技术41（1999）813-821 819 图。 7。的MAP的SDL模型。   P820 （省略表1） 字符串“的I / O”，在那里我是一个（可能参数）信号和 O是1或更多的序列（可能是参数化） 信号。空作为输出信号，意味着没有任何输出 进行了观察。参数都包含在方括号内。 例如，“map_req [真实] / service_invoked [真实]” 意味着系统与接收到的信号map_req 真正的参数值，并回答与信号 service_invoked与参数值true（图9）。 我们的实验是第一次检测结果 SDL的差异与全球规范和 在密克罗尼西亚的行为获得通过分解/ 组合过程。这些差异进行检测 在10 /输出对后的无源端输入 寻的序列，被认为由无源故障报告 测试软件。他们原来是主要是由于一些 值是变量之间的各种矛盾 流程。这使我们能够解决这些矛盾 在规范。校正之后，重新运行测试与 同样的痕迹，也没有发现故障，这是 预期的结果。为了评估我们的工具，犯有过失 还增加了手动的一些痕迹。那些犯有过失 发现在几个输入/输出对后发生的。 不同的痕迹从1000到12 500输入/输出 对。计算时间为0.04和0.14之间变化s 在Sun超10。过渡覆盖5之间变化 和25％的转换和不同状态的覆盖面 之间的56和71％的状态。全球覆盖， 考虑到所取得的所有状态达成 各种实验，所有的转换，为86％ 的州和46％的转换。 这些结果表明，无源测试可应用于 到GSM - MAP协议，而且可以接受的范围 可以用合理的实验获得多少 （痕迹）。这是令人鼓舞的应用适用性 无源测试的其他协议。 6。结论和未来工作 在本论文中，我们已申请无源测试技术 一个真正的协议，在GSM - MAP的。我们的实验 测试表明，无源执行是一种很有前途的 技术。它可用于测试系统中活跃 测试是难以执行或无法控制的地方是可能的 对系统进行测试。它也可以是非常有用的 改善为观察使用的规范。事实上， 一些有关不符我们在实验中发现 制作了用于在规范中含糊之处 而不是由观察到的错误的观察， 系统。 820米Tabourier，答卡瓦利/信息和软件技术41（1999）813-821 表1 信息的自动机的大小 主要Proc1 Proc2组成自动化 主要状态（SDL）的8 2 2 - 过渡分行（SDL）的46 25 25 - 内部变量（SDL）的21 21 21 - 状态（最小化机）58 6 6 94 转换（最小化机）496 352 316 3480 图。 8。 （省略图8）   P821 （省略图9） 为了评估算法的无源测试及其 报道评价，随机模拟的SDL规范 该议定 书 关于书的成语关于读书的排比句社区图书漂流公约怎么写关于读书的小报汉书pdf 的保存为干细胞，即 执行的痕迹。一个故障时发现了一些 我们的实验。这些故障反映真正的差异 SDL的全球执行之间的痕迹和行为 获得通过的扩展有限状态机的分解/组合 过程。 扩展有限状态机，我们为我们的实验是在考虑 形成一个可达图。我们未来的工作将在 我们的方法直接应用上的扩展有限状态机 规范。 致谢 我们非常感激李大卫，谁帮助我们非常 关于这个问题，并Melania约内斯库有益的讨论 谁帮助与GSM - MAP的SDL的规范我们。 参考文献 [1]的RM - ODP值，开放分布式处理参考模型第2部分： 基金会，国际标准10746-2/ITU-T建议 X.902。 [2] C.L.塞茨，检查的方法来设计实验的基础上 一个动态模型，在：z的Kohavi，答：拉巴斯（1994），机器理论 和计算，科学出版社，纽约，1972年。 [3]四利，等。无源测试和网络管理应用， 于：ICNP'97国际会议网络协议， 美国佐治亚州亚特兰大，10月28号至31号，1997年。 [4] G.v. Bochmann，河Dssouli，红外赵，跟踪一致性分析 和仲裁检验，符合IEEE软件工程交易 15（11）（1989）000。 [5]河Dssouli，光萨利赫，大肠杆菌Aboulhamid，答：恩Nouaary，角Bourhfir， 测试开发的通信协议：实现自动化， 计算机网络与ISDN系统（对先进的特殊问题 对SDL语言，1999年6月）主题，印刷中。 [6]答：Ghedamsi，河Dssouli，G.v. Bochmann，单诊断测试 转换错误的非确定性有限状态机，在： IWPTS'92国际研讨会协议测试系统， 1992年9月。 [7]二Sarikaya，G.v. Bochmann，获得正常的形式规范 用于协议，计算机网络使用情况：最近的经验，爱思唯尔 科学，阿姆斯特丹，1986年。 [8]阁下乌拉尔湾杨，测试序列的协议的选择方法 测试，通信汇刊39（4）（1991）000。 [9] C.-M.黄，Y.-C.林关明义长，一个可执行协议测试 扩展有限状态机序列指定的协议的生成方法，在： IWPTS'95的协议测试系统国际研讨会， 1995年9月。 [10]吨Ramalingom，答达斯，光Thulasiraman，一个统一的测试用例生成 扩展有限状态机方法的独特使用上下文无关的模型 IWPTS'95国际研讨会的协议测试：在序列， 系统，1995年9月。 [11]三Bourhfir，河Dssouli，电磁Aboulhamid，全波多黎各，在导游的增量 测试用例的生成过程的一致性测试cefsm 协议规定，在：IWTCS'98，国际测试车间 通信系统，1998年9月。 [12]河Anido，答卡瓦利，吨Macavei湖保利马小，米Clatin，米 Phalippou，测试与实际的验证技术援助协议， 在：二十二SEMISH，巴西，1996年8月。 [13]欧洲电信标准协会，欧洲数字蜂窝通信系统（阶段 2），移动应用部分规范，版本[4.0.0]，六月 1992。 [14] Melania约内斯库，安娜卡瓦利，测试imbrique'杜protocole地图， CFIP'99，Colloque法语河畔升'Inge'nierie德protocoles。 法国南希4月26日至29号，1999年，印刷中。 [15] Melania约内斯库。个人通信。 [16]的Verilog，ObjectGEODE SDL的仿真器参考手册， 1997。 [17]赛马费尔南德斯，阁下Garavel，答Kerbrat，河Mateescu湖 Mounier，米Sighireanu，Cadp：确认和验证的协议 工具箱中：第八次会议论文集 计算机辅助核查，新不伦瑞克，新泽西，美国， 1996年8月。 [18]属保利马，答卡瓦利，以务实的方法来生成测试 嵌入式系统中，序列：电力系统及其自动化发表演说 IWTCS'97，9月8-10日，1997年，韩国的济州岛。 [19] ITU - T建议Z.120;消息序列图。国际 z的标准120。 ITU - T的，1994年。 3．测试覆盖范围 无源测试的问题之一是，它不可能发出通行证的裁决。，与有源测试相反，我们无法控制测试下的实施情况来涵盖所有的转换。因此，它可能发生系统行为稀少的那部份仍未经证实。不过，我们可以尝试确定测试范围，即计算已经淘汰的转换数，并指出哪些转换已淘汰了，哪些还没有。 3.1．确定性机器 3.1.1．初步做法 在确定性算法中，在故障检测阶段，覆盖面的评估可以做到；在这个阶段，当前状态是已知的，每当一个过渡被淘汰，我们可以标志它。