Testing from formal specifications, a generic approach

DOI10.1007/3-540-45136-6_3MaRDI QIDQ2771764zbMATH OpenFDO

Authors Marie-Claude Gaudel

Publication date 18 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2043/20430035

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Testing can be formal, too
• Testing algebraic data types and processes: A unifying theory
• Automatic Testing from Formal Specifications
• Testing from structured algebraic specifications
• FM 2005: Formal Methods

Cited in

(35)

• Testing algebraic data types and processes: A unifying theory
• Test specification based on trace description
• Introducing complexity to formal testing
• The rôle of normalisation in testing from structured algebraic specifications
• Test-design through abstraction: A systematic approach based on the refinement calculus
• Extended institutions for testing
• Testing from structured algebraic specifications
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Model partitions and compact test case suites
• Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• Mockingbird: A logical methodology for testing
• Test Selection Criteria for Quantifier-Free First-Order Specifications
• Specification-Based Testing for CoCasl’s Modal Specifications
• Testing case generator based on formal specifications
• Specification directed module testing
• scientific article; zbMATH DE number 1973979 (Why is no real title available?)
• scientific article; zbMATH DE number 1979819 (Why is no real title available?)
• scientific article; zbMATH DE number 2013593 (Why is no real title available?)
• scientific article; zbMATH DE number 2069786 (Why is no real title available?)
• scientific article; zbMATH DE number 2080007 (Why is no real title available?)
• scientific article; zbMATH DE number 1929886 (Why is no real title available?)
• scientific article; zbMATH DE number 2090128 (Why is no real title available?)
• scientific article; zbMATH DE number 2090130 (Why is no real title available?)
• scientific article; zbMATH DE number 2090131 (Why is no real title available?)
• scientific article; zbMATH DE number 2090141 (Why is no real title available?)
• Testing can be formal, too
• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• Fully Automatic Testing with Functions as Specifications
• Automatic transformation from formal specifications to functional scenario forms for automatic test case generation
• Automatic Testing from Formal Specifications
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• FM 2005: Formal Methods
• Proof-guided test selection from first-order specifications with equality
• Checking experiments for stream X-machines

Describes a project that uses

Uses Software

• GATeL

This page was built for publication: Testing from formal specifications, a generic approach

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