...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Pomiary Automatyka Kontrola >O wbudowanych testerach biernych
【24h】

O wbudowanych testerach biernych

机译：关于内置被动测试仪

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Rozważa się modele architektury rozproszonego, reaktywnego systemu zdarzeń dyskretnych, do którego zostaje dołączony bądź którego częścią staje się tester bierny. Modele adekwatne dla testowania aktywnego okazują się niespójne w kontekście testowania biernego. Identyfikuje się tu naturę tej niespójności i proponuje się nowy, bardzo prosty model, dzięki któremu tester bierny może zostać potraktowany jak każdy inny komponent systemu, co pozwala na naturalne modelowanie także systemów, w które tester bierny został wbudowany (zagnieżdżony).%In this paper a controversial concept of passive testing [2] is discussed, focusing on representation of a passive tester within the architecture of a distributed, reactive Discrete Event System. It is argued that well known architectural models used for paradigmatic active testing (Fig. 1) become deficient when applied to structures with a passive tester (Fig. 2), which undermines the basis for the formal treatment of passive testing. It is shown that such direct re-use either leads to intrinsically inconsistent and unimplementable interpretations (Fig. 2b and e), or requires additional mechanisms (co-location of a tester, Fig. 2c; instrumentation of a tested entity, Fig. 2d) that are restrictive and inconsistent with the specific use patterns of passive testing. A very simple, minimal architectural model is proposed (Fig. 3), in which each system entity is equipped with a pair of input and output ports, and communication channels are members of the Cartesian product of port sets. This model does not allow the inconsistent elements of previous models to be directly expressed, while making explicit their metaphorical interpretation (Fig. 4). It can deal with both external and embedded passive testers (Fig. 5), as they are treated exactly as any other system entity.
机译：考虑了分布式的，反应性的离散事件系统的体系结构模型，该体系结构模型附加到该模型上或作为被动测试器的一部分。在被动测试的上下文中，用于主动测试的适当模型似乎不一致。本文确定了这种不一致的性质，并提出了一个新的非常简单的模型，由于该模型，无源测试仪可以像其他任何系统组件一样对待，这也允许对已嵌入（嵌套）无源测试仪的系统进行自然建模。％讨论了一个有争议的无源测试概念[2]，重点是分布式无源离散事件系统的体系结构中无源测试器的表示。有人认为，用于范式主动测试的众所周知的建筑模型（图1）在通过被动测试器（图2）应用于结构时会变得不足，这破坏了对被动测试进行正式处理的基础。结果表明，这种直接重复使用要么导致本质上不一致和无法实现的解释（图2b和e），要么需要其他机制（将测试仪置于同一位置，图2c；将被测实体安装在仪器上，图2d）。 ）是限制性的，并且与被动测试的特定使用模式不一致。提出了一个非常简单的最小体系结构模型（图3），其中每个系统实体都配备有一对输入和输出端口，并且通信通道是端口集的笛卡尔积的成员。该模型不允许直接表达先前模型中的不一致元素，同时明确地对其隐喻进行解释（图4）。它可以处理外部和嵌入式无源测试器（图5），因为它们与任何其他系统实体完全一样。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号