Publication | Closed Access
The use of a test specification format in automatic test program generation
14
Citations
2
References
2003
Year
Unknown Venue
EngineeringVerificationTest Data GenerationSoftware EngineeringSystem-level DesignSoftware AnalysisFormal VerificationModel-based TestingTest Specification FormatTest OracleTest AutomationCompilersProgramming LanguagesTest GenerationTest Programming LanguageTesting TechniqueComputer EngineeringComputer ScienceSoftware DesignTest FrameworkTest Specifications FormatsNeutral Code FormatProgram AnalysisSoftware TestingFormal MethodsTest Evolution
Test specifications formats (TSFs) to facilitate standardization of testing information on ICs and circuit boards are examined. The author describes the application areas of a TSF and shows the practical use of one particular TSF, the neutral code format (NCF) proposed by C. Mortensen (1987). By writing a translator from NCF to a test programming language, it was seen that automatic test program generation is possible. It is found, however, that only GO/NOGO test programs could be generated.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1