论文部分内容阅读
本文着重指出检测必须自动化的理由。对检测设计进行系统探讨时的两个着重点是:为了把特定的故障隔离出来,应如何选择检测以及怎样使检测次数减到最少。这两项任务极难系统地用人工来实现。因此,应该用计算机来完成。本文论述了用NOPAL语言来产生检测要求的方法。并提供了上述两项任务的细节,从而证明它们的复杂性和困难性。
This article highlights the reasons why testing must be automated. Two key points in the systematic discussion of test design are how to choose the test and how to minimize the number of tests in order to isolate a specific fault. These two tasks are extremely difficult to systematically implement. Therefore, it should be done by computer. This article discusses how to generate detection requirements using the NOPAL language. The details of these two tasks are provided, thus proving their complexity and difficulty.