{"title":"Procedures for increasing fault coverage for digital networks","authors":"L. R. Hoover, J. H. Tracey","doi":"10.1145/1479992.1480043","DOIUrl":null,"url":null,"abstract":"The following definition for a fault detection test (<i>fdt</i>) will be used throughout this paper: an input sequence <i>x</i> (of length one or more) for a given network <i>m</i> is a fault detection test for fault <i>f</i><sup><i>i</i></sup>, located in <i>m</i>, if the output response to <i>x</i> for <i>m</i> with no faults present and the output response to <i>x</i> for <i>m</i> with <i>f</i><sup><i>i</i></sup> present, differ.","PeriodicalId":262093,"journal":{"name":"AFIPS '72 (Fall, part I)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1972-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"AFIPS '72 (Fall, part I)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1479992.1480043","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The following definition for a fault detection test (fdt) will be used throughout this paper: an input sequence x (of length one or more) for a given network m is a fault detection test for fault fi, located in m, if the output response to x for m with no faults present and the output response to x for m with fi present, differ.