Model-based testing of reactive systems : advanced lectures

>> Google Books

所蔵情報QRコード

Model-based testing of reactive systems : advanced lectures / Manfred Broy ... [et al.] (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2005

形態:

viii, 659 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3472 <BA00009279>

著者名:

ISBN:

9783540262787 [3540262784]

書誌ID:

BA72656023

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Other editors: Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
"Tutorial"--Cover
Includes bibliographical references and index

主題:

器械計算．計算器

言語:

英語

目次情報:

Testing of Finite State Machines / Part I：

Homing and Synchronizing Sequences / Sven Sandberg1：

State Identification / Moez Krichen2：

State Verification / Henrik BjÃ¶rklund3：

Conformance Testing / Angelo Gargantini4：

Testing of Labeled Transition Systems / Part II：

Preorder Relations / Stefan D. Bruda5：

Test Generation Algorithms Based on Preorder Relations / ValÃ©ry Tschaen6：

I/O-automata Based Testing / Machiel van der Bijl ; Fabien Peureux7：

Test Derivation from Timed Automata / Laura BrandÃ¡n Briones ; Mathias RÃ¶hl8：

Testing Theory for Probabilistic Systems / Verena Wolf9：

Model-Based Test Case Generation / Part III：

Methodological Issues in Model-Based Testing / Alexander Pretschner ; Jan Philipps10：

Evaluating Coverage Based Testing / Christophe Gaston ; Dirk Seifert11：

Technology of Test-Case Generation / Levi LÃºcio ; Marko Samer12：

Real-Time and Hybrid Systems Testing / Kirsten BerkenkÃ¶tter ; Raimund Kirner13：

Tools and Case Studies / Part IV：

Tools for Test Case Generation / Axel Belinfante ; Lars Frantzen ; Christian Schallhart14：

Case Studies / Wolfgang Prenninger ; Mohammad El-Ramly ; Marc Horstmann15：

Standardized Test Notation and Execution Architecture / Part V：

TTCN-3 / George Din16：

UML 2.0 Testing Profile / Zhen Ru Dai17：

Beyond Testing / Part VI：

Model Checking / Therese Berg ; Harald Raffelt19：

Appendices / Part VII：

Model-Based Testing - A Glossary / Martin Leucker20：

Finite State Machines / Bengt Jonsson21：

Labelled Transition Systems / Joost-Pieter Katoen22：

Literature

Index

Testing of Finite State Machines / Part I：

Homing and Synchronizing Sequences / Sven Sandberg1：

State Identification / Moez Krichen2：

State Verification / Henrik BjÃ¶rklund3：

Conformance Testing / Angelo Gargantini4：

Testing of Labeled Transition Systems / Part II：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Model-Based Testing of Reactive Systems : Advanced Lectures Broy, Manfred., Jonsson, Bengt., Katoen, Joost-Pieter., Leucker, Martin., Pretschner, Alexander., SpringerLink (Online …	7 電子ブック ModelEd, TestEd, TrustEd Katoen Springer eBooks Computer Science, Springer International Publishing
2 電子ブック Model-Based Testing of Reactive Systems Hutchison, David, Broy, M., Kanade, Takeo, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander Springer eBooks Computer Science, Springer Berlin / Heidelberg	8 図書 Nonlinear speech modeling and applications : advanced lectures and revised selected papers Chollet, Gérard, Esposito, Anna, Faundez-Zanuy, Marcos, Marinaro, M. Springer
3 電子ブック Model-Based Testing of Reactive Systems Hutchison, David, Broy, M., Kanade, Takeo, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 電子ブック Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. … Brinksma, Ed., Hermanns, Holger., Katoen, Joost-Pieter., SpringerLink (Online service)
4 電子ブック Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings Chechik, Marsha., Katoen, Joost-Pieter, Leucker, Martin SpringerLink Books - AutoHoldings, Springer International Publishing AG	10 電子ブック CONCUR 2011 – Concurrency Theory Katoen, Joost-Pieter, König, Barbara SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : … EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter Springer	11 電子ブック Lectures on Formal Methods and PerformanceAnalysis EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Tools and Algorithms for the Construction and Analysis of Systems TACAS 2002, Katoen, Joost-Pieter, Stevens, Perdita SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International Conference on Algebraic Methodology and Software Technology, Katoen, Joost-Pieter Springer