Model-based testing of object-oriented systems.

DOI10.1007/B14033zbMATH Open1254.68067DBLPconf/fmco/2002arXiv1409.6603OpenAlexW4212909638MaRDI QIDQ5897129FDOQ5897129

Authors: Bernhard Rumpe 

Publication date: 9 February 2010

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

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.

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

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#

Mathematics Subject Classification ID

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

Cited In (19)

• FM 2005: Formal Methods
• Investigating the use of analysis contracts to improve the testability of object-oriented code
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model-based testing
• Test cases generation using a mathematical representation for the dynamic behavior of PIM
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integration of usability evaluation and model-based software development
• Title not available (Why is that?)
• Research on class testing technology of object-oriented software
• A Y-shaped model of software life cycle
• Model-Based Software Testing and Analysis with C#
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model Based Testing for Agent Systems
• Using a Petri net model approach to web applications testing

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)