000 06629cam a2200349 i 4500
999 _c7243
_d7243
001 16733595
005 20200928153448.0
008 110413s2012 flua b 001 0 eng
010 _a 2011010401
020 _a9781439818459 (hardcover : alk. paper)
020 _a1439818452 (hardcover : alk. paper)
040 _aDLC
_cDLC
_dYDX
_dBTCTA
_dYDXCP
_dUKMGB
_dBWX
_dCDX
_dCOO
_dDEBBG
_dOCLCQ
_dDLC
_dEG-NcFUE
_erda
050 0 0 _aTK7895.E42
_bM636 2012
082 0 0 _a004.1
_222
_bM
245 0 0 _aModel-based testing for embedded systems /
_cedited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman.
260 _aBoca Raton :
_bCRC Press,
_cc2012.
300 _axxvii, 660 pages. :
_billustration ;
_c26 cm.
336 _2rdacontent
_atext
337 _2rdamedia
_aunmediated
338 _2rdacarrier
_avolume
490 0 _aComputational analysis, synthesis, and design of dynamic systems
504 _aIncludes bibliographical references and index.
505 0 _aPart I: Introduction A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains, J. Zander, I. Schieferdecker, and P.J. Mosterman Behavioral System Models versus Models of Testing Strategies in Functional Test Generation, A. Huima Test Framework Architectures for Model-Based Embedded System Testing, S.P. Masticola and M. Gall Part II: Automatic Test Generation Automatic Model-Based Test Generation from UML State Machines, S. Weissleder and H. Schlingloff Automated Statistical Testing for Embedded Systems, J.H. Poore, L. Lin, R. Eschbach, and T. Bauer How to Design Extended Finite State Machine Test Models in Java, M. Utting Automatic Testing of LUSTRE/SCADE Programs, V. Papailiopoulou, B. Seljimi, and I. Parissis Test Generation Using Symbolic Animation of Models, F. Dadeau, F. Peureux, B. Legeard, R. Tissot, J. Julliand, P.-A. Masson, and F. Bouquet Part III: Integration and Multi-level Testing Model-Based Integration Testing with Communication Sequence Graphs, F. Belli, A. Hollmann, and S. Padberg A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing, M. Broy and A. Pretschner Multilevel Testing for Embedded Systems, A. Marrero Perez and S. Kaiser Model-Based X-in-the-Loop Testing, J. Grossmann, P. Makedonski, H.-W. Wiesbrock, J. Svacina, I. Schieferdecker, and J. Grabowski Part IV: Specific Approaches A Survey of Model-Based Software Product Lines Testing, S. Oster, A. Wubbeke, G. Engels, and A. Schoerr Model-Based Testing of Hybrid Systems, T. Dang Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester, J. Vain, A. Kull, M. Kaaramees, M. Markvardt, and K. Raiend Model-Based Passive Testing of Safety-Critical Components, S. Gruner and B. Watson Part V: Testing in Industry Applying Model-Based Testing in the Telecommunication Domain, F. Abbors, V.-M. Aho, J. Koivulainen, R. Teittinen, and D. Truscan Model-Based GUI Testing of Smartphone Applications: Case S60 (TM) and Linux (R), A. Jaaskelainen, T. Takala, and M. Katara Model-Based Testing in Embedded Automotive Systems, P. Skruch, M. Panek, and B. Kowalczyk Part VI: Testing at the Lower Levels of Development Testing-Based Translation Validation of Generated Code, M. Conrad Model-Based Testing of Analog Embedded Systems Components, L. Barford Dynamic Verification of SystemC Transactional Models, L. Pierre and L. Ferro
520 _aThis book explores model-based testing from a number of different perspectives. Combining various aspects of embedded systems and software 'and their how they are applied 'it covers theory and practice concerning the test specification and validation of complex software-intensive embedded systems. Model-based testing refers to software testing in which test cases are either wholly or partially derived from a model, illustrating selected aspects of a system under test. Detailed examples from industry provide solutions that are applicable in real-world testing practices. The text provides a better understanding of system and software quality problems, as well as the entire test process. 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-Comt , Besan on, France, and co-author of Practical Model-Based Testing
650 0 _aEmbedded computer systems
_xTesting.
700 1 _aZander, Justyna.
700 1 _aSchieferdecker, Ina.
700 1 _aMosterman, Pieter J.
942 _cBK
_2ddc