000			04022nam a22004215i 4500
001			295466
003			MX-SnUAN
005			20160429155228.0
007			cr nn 008mamaa
008			150903s2005 gw | o |||| 0|eng d
020			_a9783540320371 _99783540320371
024	7		_a10.1007/b137241 _2doi
035			_avtls000348145
039		9	_a201509031114 _bVLOAD _c201405070505 _dVLOAD _y201402071020 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.758
100	1		_aBroy, Manfred. _eeditor. _9307892
245	1	0	_aModel-Based Testing of Reactive Systems : _bAdvanced Lectures / _cedited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005.
300			_aviii, 659 páginas Also available online. _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v3472
500			_aSpringer eBooks
505	0		_aTesting of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing and Synchronizing Sequences -- 2 State Identification -- 3 State Verification -- 4 Conformance Testing -- II. Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations -- 6 Test Generation Algorithms Based on Preorder Relations -- 7 I/O-automata Based Testing -- 8 Test Derivation from Timed Automata -- 9 Testing Theory for Probabilistic Systems -- III. Model-Based Test Case Generation -- Model-Based Test Case Generation -- 10 Methodological Issues in Model-Based Testing -- 11 Evaluating Coverage Based Testing -- 12 Technology of Test-Case Generation -- 13 Real-Time and Hybrid Systems Testing -- IV. Tools and Case Studies -- Tools and Case Studies -- 14 Tools for Test Case Generation -- 15 Case Studies -- V. Standardized Test Notation and Execution Architecture -- Standardized Test Notation and Execution Architecture -- 16 TTCN-3 -- 17 UML 2.0 Testing Profile -- VI. Beyond Testing -- Beyond Testing -- 18 Run-Time Verification -- 19 Model Checking -- VII. Appendices -- Appendices -- 20 Model-Based Testing – A Glossary -- 21 Finite State Machines -- 22 Labelled Transition Systems.
520			_aTesting is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aJonsson, Bengt. _eeditor. _9329916
700	1		_aKatoen, Joost-Pieter. _eeditor. _9329917
700	1		_aLeucker, Martin. _eeditor. _9329918
700	1		_aPretschner, Alexander. _eeditor. _9329919
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783540262787
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b137241 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c295466 _d295466