Model Based Testing Real Time by Krichen Moez (9 results)
Language: English
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2010
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 93.47
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 192.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 51.50
£ 60.39 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. 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.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 130.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by LAP LAMBERT Academic Publishing Okt 2010, 2010
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 60.43
£ 19.84 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 giv…en 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. 192 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 49.06
£ 42.27 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Krichen MoezMoez 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 Multimed…ia of Sfax (ISIMS)and Member.
Language: English
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2010
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 94.93
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 192 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Language: English
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2010
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 97.51
£ 8.58 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 192.
Language: English
Published by LAP LAMBERT Academic Publishing Okt 2010, 2010
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 60.43
£ 51.77 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 t…he 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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 192 pp. Englisch.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 61.15
£ 53.08 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 th…e 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.
