BEISPIEL
Krichen, Moez:Model Based Testing for Real-Time Systems - Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata
- Taschenbuch 2010, ISBN: 9783843359160
[ED: Taschenbuch / Paperback], [PU: LAP Lambert Academic Publishing], We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) … Mehr…
[ED: Taschenbuch / Paperback], [PU: LAP Lambert Academic Publishing], 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., DE, [SC: 16.50], Neuware, gewerbliches Angebot, H: 220mm, B: 150mm, T: 10mm, 192, [GW: 271g], Selbstabholung und Barzahlung, PayPal, Offene Rechnung, Banküberweisung, Internationaler Versand<
| | booklooker.deSyndikat Buchdienst Versandkosten:Versand in die Schweiz. (EUR 16.50) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
BEISPIEL
Krichen, Moez:Model Based Testing for Real-Time Systems - Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata
- Taschenbuch 2010, ISBN: 9783843359160
[ED: Taschenbuch / Paperback], [PU: LAP Lambert Academic Publishing], We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) … Mehr…
[ED: Taschenbuch / Paperback], [PU: LAP Lambert Academic Publishing], 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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, H: 220mm, B: 150mm, T: 10mm, 192, [GW: 271g], Selbstabholung und Barzahlung, PayPal, Offene Rechnung, Banküberweisung, Internationaler Versand<
| | booklooker.deSyndikat Buchdienst Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Moez Krichen:Model Based Testing for Real-Time Systems : Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata
- Taschenbuch 2010, ISBN: 3843359164
[EAN: 9783843359160], Neubuch, [PU: LAP Lambert Acad. Publ. Okt 2010], This item is printed on demand - Print on Demand Neuware - We are interested in model-based testing for real- time s… Mehr…
[EAN: 9783843359160], Neubuch, [PU: LAP Lambert Acad. Publ. Okt 2010], This item is printed on demand - Print on Demand 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 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, Books<
| | AbeBooks.deAHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
BEISPIEL
Moez Krichen:Model Based Testing for Real-Time Systems
- Taschenbuch ISBN: 9783843359160
[ED: Taschenbuch], [PU: LAP Lambert Academic Publishing], Neuware - We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) st… Mehr…
[ED: Taschenbuch], [PU: LAP Lambert Academic Publishing], 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 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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 220x150x10 mm, 192, [GW: 271g], PayPal, Offene Rechnung, Banküberweisung, Sofortüberweisung, Internationaler Versand<
| | booklooker.deRheinberg-Buch Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
BEISPIEL
Moez Krichen:Model Based Testing for Real-Time Systems
- Taschenbuch 2010, ISBN: 3843359164
[EAN: 9783843359160], Neubuch, [PU: LAP Lambert Acad. Publ. Okt 2010], Neuware - We are interested in model-based testing for real- time systems. Specifically, we study two classes of pro… Mehr…
[EAN: 9783843359160], Neubuch, [PU: LAP Lambert Acad. Publ. Okt 2010], 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 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<
| | AbeBooks.deBuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 10.59 Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.