Model Based Testing for Real-Time Systems | Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata

Moez Krichen

ISBN 10: 3843359164 / ISBN 13: 9783843359160

Published by LAP LAMBERT Academic Publishing, 2010

About this Item

Model Based Testing for Real-Time Systems | Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata | Moez Krichen | Taschenbuch | 192 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783843359160 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.

Seller Inventory # 107268248

Bibliographic Details

• Title: Model Based Testing for Real-Time Systems | Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata
• Publisher: LAP LAMBERT Academic Publishing
• Publication Date: 2010
• Language: English
• ISBN 10: 3843359164
• ISBN 13: 9783843359160
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 13D millimeters 220 millimeters width by 150 millimeters height by 13 millimeters depth
• Weight: 304 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) state identification problems and (II) black-box conformance testing. For state identification problems, we are given the model of a machine with an initial unknown state and we look for an experiment to apply to identify the initial unknown state or the final state to which the machine has moved. For black-box conformance testing, we are given a model of the machine and we want to check whether the machine conforms to its model or not. Before solving state identification problems for timed automata, we study these problems for the case of finite state transducers. For conformance testing, we consider two types of tests: analog-clock and digital-clock tests. We propose a technique for location, edge and state coverage of the specification, by reducing the problem to covering a symbolic reachability graph. We also propose digital- clock test generation techniques based on action refinement. We report on a prototype tool and four case studies: a lighting device, the Bounded Retransmission Protocol, the K9 Mars Rover and the Dala Robot.

About the Author

Moez Krichen obtained his PhD in Computer Science at the University of Joseph Fourrier, Grenoble. He is currently Associate professor at the Higher Institute of Computer Science and Multimedia of Sfax (ISIMS)and Member of the Research Unit on Development and Control of Distributed Applications (REDCAD).