Abstrakt. I detta dokument rapporterar vi om konstruktionen av ett verktyg för konformitetstestning baserat på Spin. Spin-verktyget har anpassats så att det kan härleda byggstenarna för att konstruera testfall, så kallade testprimära, från system som beskrivs i Promela. Testet primitiver stöder on-the-fly conformance testing process. Traditionell härledning av tester från formella specifikationer lider av explosionsproblem i tillståndsrymden. Spin är en av de mest avancerade modellkontrollerna med avseende på hantering av stora tillståndsutrymmen. Denna fördel av Spin har använts för härledning av test primitiva från en Promela beskrivning. För att minska den statliga rymden, vi introducerar on-the-fly testing ram. En av komponenterna inom denna ram är Primer. Primer är ansvarig för att härleda test primitiva från en modell av ett system enligt en väldefinierad och fullständig testteori. Algoritmer presenteras som gör det möjligt för oss att härleda test primitiva från en Promela beskrivning. Dessa algoritmer har implementerats i den anpassade versionen av Spin-verktyget som fungerar som Primer i ramverket. Lovande experiment har utförts på ett exempel fallstudie. Som ett resultat av denna studie dras slutsatsen att det är möjligt att automatiskt härleda testprimära från Promela-beskrivningar, konstruera testfall från dessa testprimära, och utföra testfallen på flygningen.
En metod för att härleda UIO sekvens från PROMELA specifikation för lösningen av överensstämmelse test problem presenterades i REF.
On-the-fly conformance testing using SPIN
{'venue': 'International Journal on Software Tools for Technology Transfer', 'journal': 'International Journal on Software Tools for Technology Transfer', 'mag_field_of_study': ['Computer Science']}