Som en del av UD: s och CCNY pågående ansträngningar för att generera överensstämmelse tester för arméns nätverk protokoll MIL-STD 188-220, har ett betydande hinder åtgärdats när flera timers körs samtidigt, en testsekvens kan bli ogenomförbar om det finns motstridiga villkor baserade på ett protokoll timers. Detta problem, som kallas motstridande timers problem, hanteras i de hittills genererade testerna genom att manuellt utöka ett protokoll förlängd FSM baserat på uppsättningen av motstridiga timers, vilket resulterar i testsekvenser som är långt ifrån minimal längd. Liknande inkonsekvenser, men baserade på godtyckliga linjära variabler, förekommer i de utvidgade FSM-modellerna med VHDL-specifikationer. Detta dokument utgör en effektiv lösning på de konfliktfyllda tidtagningsproblemen som eliminerar uppsägningarna av den manuella statsexpansionen. CCNY inkonsekvens borttagning algoritmer tillämpas på en ny modell för att testa protokoll med flera timers, där komplexa timing beroenden fångas av enkla linjära uttryck. Denna testgenereringsteknik förväntas avsevärt förkorta testsekvenserna utan att deras feltäckning äventyras.
I REF presenterar författarna en metod för att testa realtidsprotokoll med flera motstridiga timers.
Test Generation In The Presence Of Conflicting Timers
{'venue': 'In', 'journal': None, 'mag_field_of_study': ['Engineering', 'Computer Science']}