An approach for class testing from class contracts

DOI10.1007/978-3-642-15643-4_16MaRDI QIDQ4931293zbMATH OpenOpenAlexFDO

Authors Atul Gupta

Publication date 4 October 2010

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15643-4_16

zbMATH Keywords

abstract stateclass contractsclass testingexperimentmutationunit testing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Contract-based testing.
• Investigating the use of analysis contracts to improve the testability of object-oriented code
• scientific article; zbMATH DE number 1929886
• Research on class testing technology of object-oriented software
• Evolutionary generation of unique input/output sequences for class behavioral testing

Cited in

(5)

• Template method test pattern
• A state space reduction unit testing framework based on generated proxy objects
• Investigating the use of analysis contracts to improve the testability of object-oriented code
• A framework for table driven testing of Java classes
• Contract-based testing.

This page was built for publication: An approach for class testing from class contracts

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