Model-based testing of object-oriented systems.

DOI10.1007/B14033MaRDI QIDQ5897129zbMATHOpenAlexDBLPFDO

Authors Bernhard Rumpe

Publication date 9 February 2010

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

Full work available at URL https://arxiv.org/abs/1409.6603

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Abstract: This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development as well as quality and reusability of results. Then test case modeling is examined in depth and related to an evolutionary approach to model transformation. A number of test patterns is proposed that have proven helpful to the design of testable object-oriented systems. In contrast to other approaches, this approach uses explicit models for test cases instead of trying to derive (many) test cases from a single model.

Recommendations

• Building Test Cases through Model Driven Engineering
• Model-based testing
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 2006488
• Model-Based Software Testing and Analysis with C#

Cited in

(22)

• Research on class testing technology of object-oriented software
• A Y-shaped model of software life cycle
• Model-based fault injection for testing gray-box systems
• Model-Based Software Testing and Analysis with C#
• Investigating the use of analysis contracts to improve the testability of object-oriented code
• scientific article; zbMATH DE number 2087532 (Why is no real title available?)
• scientific article; zbMATH DE number 2088728 (Why is no real title available?)
• Test cases generation using a mathematical representation for the dynamic behavior of PIM
• Model Based Testing for Agent Systems
• Using a Petri net model approach to web applications testing
• FM 2005: Formal Methods
• Model-based testing
• Testing for a conformance relation based on acceptance
• Integration of usability evaluation and model-based software development
• scientific article; zbMATH DE number 1973978 (Why is no real title available?)
• scientific article; zbMATH DE number 1931787 (Why is no real title available?)
• scientific article; zbMATH DE number 2069786 (Why is no real title available?)
• scientific article; zbMATH DE number 1951135 (Why is no real title available?)
• scientific article; zbMATH DE number 1701771 (Why is no real title available?)
• scientific article; zbMATH DE number 1956496 (Why is no real title available?)
• scientific article; zbMATH DE number 2006488 (Why is no real title available?)
• Template method test pattern

This page was built for publication: Model-based testing of object-oriented systems.

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