Model-Based Testing for Embedded Systems by Justyna Zander

By Justyna Zander

What the specialists need to say approximately Model-Based trying out for Embedded Systems:

"This booklet is strictly what's wanted on the specific correct time during this fast-growing region. From its beginnings over 10 years in the past of deriving assessments from UML statecharts, model-based checking out has matured right into a subject with either breadth and intensity. checking out embedded structures is a common program of MBT, and this publication hits the nail precisely at the head. a number of issues are provided truly, completely, and concisely during this state-of-the-art e-book. The authors are world-class prime specialists during this sector and educate us well-used and verified suggestions, besides new rules for fixing difficult difficulties.

"It is uncommon e-book can take contemporary learn advances and current them in a kind prepared for useful use, yet this booklet accomplishes that and extra. i'm nervous to suggest this in my consulting and to coach a brand new classification to my students."

—Dr. Jeff Offutt, professor of software program engineering, George Mason collage, Fairfax, Virginia, USA

"This instruction manual is the simplest source i'm conscious of at the computerized checking out of embedded structures. it's thorough, complete, and authoritative. It covers all very important technical and clinical features but in addition offers hugely attention-grabbing insights into the country of perform of model-based checking out for embedded systems."

—Dr. Lionel C. Briand, IEEE Fellow, Simula learn Laboratory, Lysaker, Norway, and professor on the collage of Oslo, Norway

"As model-based checking out is coming into the mainstream, this kind of complete and intelligible e-book is a must-read for someone trying to find additional info approximately superior checking out equipment for embedded structures. Illustrated with various features of those ideas from many participants, it provides a transparent photograph of what the cutting-edge is today."

—Dr. Bruno Legeard, CTO of Smartesting, professor of software program Engineering on the college of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing

Show description

Read or Download Model-Based Testing for Embedded Systems PDF

Similar microprocessors & system design books

Designing Embedded Systems with PIC Microcontrollers: Principles and Applications

This booklet is a hands-on advent to the foundations and perform of embedded process layout utilizing the PIC microcontroller. jam-packed with valuable examples and illustrations, it supplies an in-depth remedy of microcontroller layout, programming in either meeting language and C, and contours complex issues corresponding to networking and real-time working structures.

Logic and Language Models for Computer Science

This article makes in-depth explorations of a vast diversity of theoretical issues in computing device technology. It plunges into the functions of the summary strategies with a view to confront and deal with the skepticism of readers, and instill in them an appreciation for the usefulness of conception. A two-part presentation integrates good judgment and formal language—both with purposes.

Extra info for Model-Based Testing for Embedded Systems

Example text

2 Technology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 3 4 5 6 6 7 7 8 9 10 11 13 13 15 15 16 17 17 Introduction This chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature.

OMG. (2005). 0 Testing Profile. 0 formal/05-07-07. Object Management Group. php [12/01/2010]. Pretschner, A. (2003). Compositional Generation of MC/DC Integration Test Suites. In Proceedings TACoS’03, Pages: 1–11. Electronic Notes in Theoretical Computer Science 6. Pretschner, A. (2003a). Compositional Generation of MC/DC Integration Test Suites. In Proceedings TACoS’03, Pages: 1–11. Electronic Notes in Theoretical Computer Science 6. html. Taxonomy of MBT for Embedded Systems 21 Pretschner, A. (2003b).

2 Technology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 3 4 5 6 6 7 7 8 9 10 11 13 13 15 15 16 17 17 Introduction This chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature.

Download PDF sample

Rated 4.80 of 5 – based on 13 votes