Automatic construction of test sets: theoretical approach

DOI10.1007/BFB0019362MaRDI QIDQ4560358zbMATH OpenOpenAlexFDO

Authors Andrejs Auziņš, Janis Bicevskis, Kārlis Čerāns, Audris Kalnins, Ja. M. Barzdin'

Publication date 11 December 2018

Published in Baltic Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0019362

zbMATH Keywords

inequality systeminitial pathinput tapeinternal variablereachability graph

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 3932374
• Test sequence construction using minimum information on the tested system
• A formal notion of program-based test data adequacy
• Construction of short complete test sets for programmable logic arrays
• A Recursion Theoretic Approach to Program Testing

Cites work

• Automatic construction of test sets: Practical approach
• scientific article; zbMATH DE number 3504435 (Why is no real title available?)
• scientific article; zbMATH DE number 3511571 (Why is no real title available?)
• scientific article; zbMATH DE number 3566118 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Program Testing Complexity and Test Criteria
• SMOTL—A System to Construct Samples for Data Processing Program Debugging

Cited in

(10)

• Generation of positive and negative tests for parsers
• About conceptual model of the test control problem
• The ‘Completeness’ of the pascal test suite
• A formal notion of program-based test data adequacy
• Query-Driven Program Testing
• Application of robust optimization to automated test assembly
• scientific article; zbMATH DE number 1203218 (Why is no real title available?)
• Automatic construction of test sets: Practical approach
• Deciding properties of integral relational automata
• scientific article; zbMATH DE number 2101439 (Why is no real title available?)

This page was built for publication: Automatic construction of test sets: theoretical approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4560358)