Detta dokument behandlar riktad testning av tidsinställda system vars modeller kan ha okontrollerbart beteende. Testaktiviteten betraktas som ett spel mellan testaren och systemet under test (SUT) mot ett givet teständamål. Den SUT är modellerad som Timed Game Automaton och testsyftet anges i Timed CTL formel. Vi använder en tidsinställd spellösare UPPAAL-TIGA för att kontrollera om testsyftet är ture w.r.t. Modellen, och om ja, för att generera en vinnande strategi och använda den för överensstämmelsetestning av SUT-utförandet. Specifikt visar vi att om kontrollen ger ett negativt resultat kan vi fortfarande testa SUT-implementationen mot testsyftet så länge SUT-implementationen reagerar på våra drag i samarbetsstil. Vi presenterar en operativ ram för samarbetsvinnande strategigenerering, test fall härledning och genomförande. Testmetoden har visat sig vara sund och fullständig. Preliminära experimentella resultat indikerar att detta tillvägagångssätt är tillämpligt på icke-triviala tidsscheman.
Specifikt, om testsyftet inte uppfylls av SPEC-modellen, kan vi fortfarande möjligen syntetisera kooperativa vinnande strategier, och använda dem för att testa SUT mot testsyftet så länge SUT reagerar på våra testingångar på ett önskat sätt REF.
Cooperative Testing of Timed Systems
{'venue': 'MBT 2008', 'journal': None, 'mag_field_of_study': ['Computer Science']}