A test environment using symbolic program trace

DOI10.1007/BF02307380MaRDI QIDQ1340875zbMATH OpenOpenAlexFDO

Authors H. M. E. Berlejung

Publication date 20 December 1994

Published in Computing (Search for Journal in Brave)

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

zbMATH Keywords

input data set classificationnumerical algorithms with result verificationsymbolic program trace supporting source code inspectiontest data generationtest environmentverification of programs

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Roundoff error (65G50) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

The author reports a software tool (test environment) for testing programs that implement numerical algorithms with result verification. The test environment uses a symbolic program trace supporting source code inspection, test data generation and input data set classification. The test tool is embedded in a UNIX environment and is intended to support programming with Pascal-XSC.

Recommendations

• scientific article; zbMATH DE number 3926224
• scientific article; zbMATH DE number 2079824
• Symbolic Execution Techniques for Refinement Testing

Cites work

• A Domain Strategy for Computer Program Testing
• scientific article; zbMATH DE number 3766957 (Why is no real title available?)
• scientific article; zbMATH DE number 50026 (Why is no real title available?)
• scientific article; zbMATH DE number 108425 (Why is no real title available?)
• Some undecidable problems involving elementary functions of a real variable

Cited in

(3)

• scientific article; zbMATH DE number 4219133 (Why is no real title available?)
• DynaTest and beyond: From dynamic testing to automated error-prevention and error-detection
• scientific article; zbMATH DE number 2011486 (Why is no real title available?)

Describes a project that uses

Uses Software

• PASCAL-XSC

This page was built for publication: A test environment using symbolic program trace

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