Cooperative Testing of Uncontrollable Timed Systems

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)
370 Downloads (Pure)

Abstract

Abstract. This paper deals with targeted testing of timed systems with uncontrollable behavior. The testing activity is viewed as a game between the tester and the system under test (SUT) towards a given test purpose. The SUT is modeled as Timed Game Automaton and the test purpose is specified in Timed CTL formula. We can employ a timed game solver UPPAAL-TIGA to check if the test purpose is ture w.r.t. the model, and if yes, to generate a winning strategy and use it for black-box conformance testing. Specifically, we show that in case the checking yields a negative result, we can still test the SUT against the test purpose as long as the SUT reacts to our moves in a cooperative style. We present an operational framework of cooperative winning strategy generation, test case derivation and execution. The test method is proved to be sound and complete. Preliminary experimental results indicate that this approach is applicable to non-trivial uncontrollable timed systems.
OriginalsprogEngelsk
TidsskriftElectronic Notes in Theoretical Computer Science
Vol/bind220
Udgave nummer1
Antal sider14
ISSN1571-0661
DOI
StatusUdgivet - dec. 2008
BegivenhedFourth Workshop on Model-Based Testing (MBT'08) - Budapest, Ungarn
Varighed: 30 mar. 200830 mar. 2008

Konference

KonferenceFourth Workshop on Model-Based Testing (MBT'08)
Land/OmrådeUngarn
ByBudapest
Periode30/03/200830/03/2008

Fingeraftryk

Dyk ned i forskningsemnerne om 'Cooperative Testing of Uncontrollable Timed Systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater