Abstrakt. Testning är den mest dominerande valideringsverksamhet som industrin använder idag, och det finns ett akut behov av att förbättra dess effektivitet, både när det gäller tid och resurser för testgenerering och utförande, och att få testtäckning. Vi presenterar en ny teknik för automatisk generering av realtidssvarta-box-konformitetstest för icke-deterministiska system från en avgörande klass av tidsinställda automatiska specifikationer med en tät tidstolkning. I motsats till andra försök, våra tester genereras med hjälp av en grov likvärdighet klass uppdelning av specifikationen. För att analysera specifikationen, syntetisera de tidsinställda testerna, och för att garantera täckning med avseende på ett täckningskriterium, använder vi de effektiva symboliska tekniker som nyligen utvecklats för modellkontroll av realtidssystem. Tillämpning av vårt prototypverktyg på en realistisk specifikation visar lovande resultat både i fråga om testsvitens storlek och den tid och det utrymme som används för testgenerering. Kommunicerande och inbyggda realtidssystem är fortfarande en av de mest utmanande systemklasserna för att utvecklas korrekt. Utmaningen beror delvis på den inneboende komplexiteten i dessa system, men särskilt på bristen på lämpliga metoder och verktyg för att hantera denna komplexitet. Detta gäller för de flesta utvecklingsåtgärder, inklusive specifikation, utformning och genomförande. Testing består av att utföra ett program eller ett fysiskt system med målet att hitta fel. Det är inte ovanligt att mer än en tredjedel av den totala utvecklingstiden används för testning i industriprojekt, och det utgör därför en betydande del av kostnaden och tiden för att marknadsföra produkten. Eftersom testning är den mest dominerande valideringsverksamhet som industrin använder idag finns det ett akut behov av att förbättra dess effektivitet, både när det gäller den tid och de resurser som används för testgenerering och utförande, och även den erhållna täckningen. En potentiell förbättring som undersöks av forskare är att göra testning till en formell metod, och att tillhandahålla verktyg som automatiserar test fallgenerering och utförande. Detta tillvägagångssätt har rönt viss framgång: formella specifikationer och automatisk testgenerering tillämpas i praktiken [10, 30, 33, 37], och akademiska och kommersiella testgenerationsverktyg växer fram för specifika språk som SDL (Specifikation och Design Language) [11, 25, 29, 38], CSP (Communicating Sequential Processes) [34], Lotos och Promela [21]. De nuvarande verktygen tar dock inte upp realtidssystem eller ger bara ett begränsat stöd för att testa timingsaspekterna. De tar ofta bort den faktiska tidpunkt då händelser levereras eller förväntas, eller väljer inte ut dessa tidpunkter grundligt och systematiskt. En stor variation av testtyper och tekniker finns, och de kan klassificeras genom synligheten av genomförandet (svart låda eller vit låda), granulariteten av genomförandet (funktion, komponent, systemnivå) och av den korrekthet aspekt som undersöks (robustness, tillförlitlighet, prestanda, eller beteende). Detta papper bidrar med nya tekniker som möjliggör automatisk generering av svart låda test fall som kontrollerar den externa timing beteende i realtid system eller komponenter.
I REF presenterar författarna en testgenereringsteknik för en begränsad klass av tidsinställd automata, kallad Event Recording Automata (ERA).
Automated test generation from timed automata
{'venue': 'International Journal on Software Tools for Technology Transfer', 'journal': 'International Journal on Software Tools for Technology Transfer', 'mag_field_of_study': ['Computer Science']}