International Test Conference · 1984 · 10 citations · 14 references
EngineeringVerificationComputer ArchitectureTest Data GenerationSoftware EngineeringSoftware AnalysisFormal VerificationLow Cost AtgReliability EngineeringAutomatic Test GenerationTest AutomationSystems EngineeringInherent GuidanceComputer EngineeringComputer ScienceDesign For TestingAutomated ReasoningProgram AnalysisSoftware TestingFormal MethodsCombinatorial Testing WorkflowTest EvolutionConcurrent Fault SimulatorFault Injection
ATWIG is a heuristic automatic test pattern generator (ATG) which employs various types of guidance based on controllability and observability (C/O) measures and various heuristics fault' path and fault selection. Guided inconsistent path sensitization, a new method for low cost ATG, is discussed. A concurrent fault simulator is used to verify the generated test patterns. Experimental results show that ATWIG is very efficient in generating test patterns for combinational and low sequential circuits. Further improvements and heuristics are necessary for automatic test generation of highly sequential circuits. The relationship between C/O cost measures and A TWIG cost is discussed.
14
J. Savir, Gary S. Ditlow, Paul H. Bardell · IEEE Transactions on Computers · 1984 · 281 citations
Test generation costs analysis and projections
Prabhakar Goel · 1980 · 168 citations · Full text
Engineering, Computer Architecture, Test Data Generation +21