Model-Based Testing for Embedded Systems
1st Edition
Published on 15. September 2011
Book
Hardback
688 pages
978-1-4398-1845-9 (ISBN)
Description
What the experts have to say about Model-Based Testing for Embedded Systems:
"This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems.
"It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students."
-Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA
"This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems."
-Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway
"As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today."
-Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comte, Besancon, France, and co-author of Practical Model-Based Testing
"This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems.
"It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students."
-Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA
"This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems."
-Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway
"As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today."
-Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comte, Besancon, France, and co-author of Practical Model-Based Testing
More details
Series
Language
English
Place of publication
Bosa Roca
United States
Publishing group
Taylor & Francis Inc
Target group
College/higher education
Engineers, analysts, and computer scientists involved in the analysis and development of embedded systems, software, and their quality assurance.
Product notice
Paper over boards
Illustrations
290 s/w Abbildungen, 58 s/w Tabellen
58 Tables, black and white; 290 Illustrations, black and white
Dimensions
Height: 254 mm
Width: 178 mm
Weight
1292 gr
ISBN-13
978-1-4398-1845-9 (9781439818459)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Justyna Zander | Ina Schieferdecker | Pieter J. Mosterman
Model-Based Testing for Embedded Systems
E-Book
12/2017
1st Edition
CRC Press
€110.99
Available for download
Justyna Zander | Ina Schieferdecker | Pieter J. Mosterman
Model-Based Testing for Embedded Systems
E-Book
12/2017
CRC Press
€110.99
Available for download
Justyna Zander | Ina Schieferdecker | Pieter J. Mosterman
Model-Based Testing for Embedded Systems
Book
03/2017
1st Edition
CRC Press
€119.03
Shipment within 10-20 days
Persons
Justyna Zander is a postdoctoral research scientist at Harvard University (Harvard Humanitarian Initiative) in Cambridge (Boston Area) MA, USA (since 2009) and Project Manager at the Fraunhofer Institute for Open Communication Systems in Berlin, Germany (since 2004).
She holds Ph.D. (2008) and M.Sc. (2005), both in the fields of Computer Science and Electrical Engineering from Technical University Berlin in Germany, B.Sc. (2004) in Computer Science, and B.Sc. in Environmental Protection and Management from Gdansk University of Technology in Poland (2003).
She graduated from the Singularity University, Mountain View, CA, USA as one of the forty participants selected from 1200 applications in 2009. For her scientific efforts Dr. Zander received grants and scholarships from such institutions as Polish Prime Ministry (1999-2000), Polish Ministry of Education and Sport awarded to 0.04% students in Poland (2001-2004), German Academic Exchange Service (2002), European Union (2003-2004), Hertie Foundation (2004-2005), IFIP TC6 (2005), IEEE (2006), Siemens (2007), Metodos y Tecnologia (2008), Singularity University (2009), and Fraunhofer Gesellschaft (2009-2010). Her doctoral thesis on model-based testing was supported by the German National Academic Foundation with a grant awarded to 0.31% students in Germany (2005-2008).
Ina Schieferdecker studied Mathematical Computer Science at Humboldt-University Berlin and did her Ph.D. in 1994 at Technical University Berlin on performance-extended specifications and analysis of Quality of Service characteristics. Since 1997, she is heading the Competence Center for Testing, Interoperability and Performance (TIP) at the Fraunhofer Institute on Open Communication Systems (FOKUS), Berlin and is heading now the Competence Center Modelling and Testing for System and Service Solutions (MOTION).
She is Professor on Engineering and Testing of Telecommunication Systems at Technical University Berlin since 2003.
Prof. Schieferdecker works since 1994 in the area of design, analysis, testing and evaluation of communication systems using specification-based techniques like Unified Modeling Language, Message Sequence Charts and Testing and Test Control Notation (TTCN-3). Prof. Schieferdecker authored many scientific publications in the area of system development and testing. She is co-founder of the Testing Technologies IST GmbH, Berlin and member of the German Testing Board. She received in 2004 the Alfried Krupp von Bohlen und Halbach Award for Young Professors and became member of the German Academy of Technical Sciences in 2009. Her work on this book has partially being supported by the Alfried Krupp von Bohlen und Halbach Stiftung.
Pieter J. Mosterman is a Senior Research Scientist at MathWorks in Natick, MA where he works on core Simulink (R) simulation and code generation technologies and an Adjunct Professor at the School of Computer Science of McGill University. Before, he was a Research Associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He has a Ph.D. degree in Electrical and Computer Engineering from Vanderbilt University in Nashville, TN, and a M.Sc. degree in Electrical Engineering from the University of Twente, Netherlands. His primary research interests are in Computer Automated Multiparadigm Modeling (CAMPAM) with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration. He designed the Electronics Laboratory Simulator, nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. In 2003, he was awarded the IMechE Donald Julius Groen Prize for a paper on HyBrSim, a hybrid bond graph modeling and simulation environment. Prof. Mosterman received the The Society for Modeling and Simulation International (SCS) Distinguished Service Award in 2009 for his services as Editor-in-Chief of SIMULATION: Transactions of SCS. Dr. Mosterman is or was involved as Associate Editor with the International Journal of Critical Computer Based Systems, the Journal of Defense Modeling and Simulation, the International Journal of Control and Automation, Applied Intelligence, and IEEE Transactions on Control Systems Technology (TCST).
She holds Ph.D. (2008) and M.Sc. (2005), both in the fields of Computer Science and Electrical Engineering from Technical University Berlin in Germany, B.Sc. (2004) in Computer Science, and B.Sc. in Environmental Protection and Management from Gdansk University of Technology in Poland (2003).
She graduated from the Singularity University, Mountain View, CA, USA as one of the forty participants selected from 1200 applications in 2009. For her scientific efforts Dr. Zander received grants and scholarships from such institutions as Polish Prime Ministry (1999-2000), Polish Ministry of Education and Sport awarded to 0.04% students in Poland (2001-2004), German Academic Exchange Service (2002), European Union (2003-2004), Hertie Foundation (2004-2005), IFIP TC6 (2005), IEEE (2006), Siemens (2007), Metodos y Tecnologia (2008), Singularity University (2009), and Fraunhofer Gesellschaft (2009-2010). Her doctoral thesis on model-based testing was supported by the German National Academic Foundation with a grant awarded to 0.31% students in Germany (2005-2008).
Ina Schieferdecker studied Mathematical Computer Science at Humboldt-University Berlin and did her Ph.D. in 1994 at Technical University Berlin on performance-extended specifications and analysis of Quality of Service characteristics. Since 1997, she is heading the Competence Center for Testing, Interoperability and Performance (TIP) at the Fraunhofer Institute on Open Communication Systems (FOKUS), Berlin and is heading now the Competence Center Modelling and Testing for System and Service Solutions (MOTION).
She is Professor on Engineering and Testing of Telecommunication Systems at Technical University Berlin since 2003.
Prof. Schieferdecker works since 1994 in the area of design, analysis, testing and evaluation of communication systems using specification-based techniques like Unified Modeling Language, Message Sequence Charts and Testing and Test Control Notation (TTCN-3). Prof. Schieferdecker authored many scientific publications in the area of system development and testing. She is co-founder of the Testing Technologies IST GmbH, Berlin and member of the German Testing Board. She received in 2004 the Alfried Krupp von Bohlen und Halbach Award for Young Professors and became member of the German Academy of Technical Sciences in 2009. Her work on this book has partially being supported by the Alfried Krupp von Bohlen und Halbach Stiftung.
Pieter J. Mosterman is a Senior Research Scientist at MathWorks in Natick, MA where he works on core Simulink (R) simulation and code generation technologies and an Adjunct Professor at the School of Computer Science of McGill University. Before, he was a Research Associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He has a Ph.D. degree in Electrical and Computer Engineering from Vanderbilt University in Nashville, TN, and a M.Sc. degree in Electrical Engineering from the University of Twente, Netherlands. His primary research interests are in Computer Automated Multiparadigm Modeling (CAMPAM) with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration. He designed the Electronics Laboratory Simulator, nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. In 2003, he was awarded the IMechE Donald Julius Groen Prize for a paper on HyBrSim, a hybrid bond graph modeling and simulation environment. Prof. Mosterman received the The Society for Modeling and Simulation International (SCS) Distinguished Service Award in 2009 for his services as Editor-in-Chief of SIMULATION: Transactions of SCS. Dr. Mosterman is or was involved as Associate Editor with the International Journal of Critical Computer Based Systems, the Journal of Defense Modeling and Simulation, the International Journal of Control and Automation, Applied Intelligence, and IEEE Transactions on Control Systems Technology (TCST).
Content
Part I: Introduction
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation. Test Framework Architectures for Model-Based Embedded System Testing.
Part II: Automatic Test Generation
Automatic Model-Based Test Generation from UML State Machines. Automated Statistical Testing for Embedded Systems. How to Design Extended Finite State Machine Test Models in Java. Automatic Testing of LUSTRE/SCADE Programs. Test Generation Using Symbolic Animation of Models.
Part III: Integration and Multi-level Testing
Model-Based Integration Testing with Communication Sequence Graphs. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing. Multilevel Testing for Embedded Systems. Model-Based X-in-the-Loop Testing.
Part IV: Specific Approaches
A Survey of Model-Based Software Product Lines Testing. Model-Based Testing of Hybrid Systems. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. Model-Based Passive Testing of Safety-Critical Components.
Part V: Testing in Industry
Applying Model-Based Testing in the Telecommunication Domain. Model-Based GUI Testing of Smartphone Applications: Case S60 (TM) and Linux (R). Model-Based Testing in Embedded Automotive Systems.
Part VI: Testing at the Lower Levels of Development
Testing-Based Translation Validation of Generated Code. Model-Based Testing of Analog Embedded Systems Components. Dynamic Verification of SystemC Transactional Models.
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation. Test Framework Architectures for Model-Based Embedded System Testing.
Part II: Automatic Test Generation
Automatic Model-Based Test Generation from UML State Machines. Automated Statistical Testing for Embedded Systems. How to Design Extended Finite State Machine Test Models in Java. Automatic Testing of LUSTRE/SCADE Programs. Test Generation Using Symbolic Animation of Models.
Part III: Integration and Multi-level Testing
Model-Based Integration Testing with Communication Sequence Graphs. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing. Multilevel Testing for Embedded Systems. Model-Based X-in-the-Loop Testing.
Part IV: Specific Approaches
A Survey of Model-Based Software Product Lines Testing. Model-Based Testing of Hybrid Systems. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. Model-Based Passive Testing of Safety-Critical Components.
Part V: Testing in Industry
Applying Model-Based Testing in the Telecommunication Domain. Model-Based GUI Testing of Smartphone Applications: Case S60 (TM) and Linux (R). Model-Based Testing in Embedded Automotive Systems.
Part VI: Testing at the Lower Levels of Development
Testing-Based Translation Validation of Generated Code. Model-Based Testing of Analog Embedded Systems Components. Dynamic Verification of SystemC Transactional Models.