Nyligen har olika kommunikationsprotokoll i realtid föreslagits. I det här dokumentet föreslår vi först en automatiserad I/O-modell så att vi helt enkelt kan specificera sådana realtidsprotokoll. Den föreslagna modellen kan hantera inte bara tid utan också datavärden. Sedan föreslår vi en överensstämmelsetestmetod för modellen. För att spåra en testsekvens (I/O-sekvens) på den tidsinställda I/O-automatonmodellen, måste vi utföra varje I/O-åtgärd i testsekvensen vid en lämplig körningstidpunkt som uppfyller alla tidsbegränsningar i testsekvensen. Men eftersom output ges från IUT och inte kan kontrolleras, kan vi inte ange deras output timing i förväg. Även deras output timing påverkar den körbara timingen för efterföljande I/O-åtgärder i testsekvensen. I allmänhet kan därför den körbara tidpunkten för varje indataåtgärd i en testsekvens anges genom en funktion av genomförandetiden för de föregående I/O-åtgärderna. I detta dokument föreslår vi en algoritm för att effektivt avgöra om en given testsekvens är körbar. Vi ger också en algoritm för att härleda en sådan funktion från en körbar testsekvens automatiskt med hjälp av en teknik för att lösa linjära programmeringsproblem, och föreslår en överensstämmelsetestmetod med hjälp av dessa algoritmer.
Higashino m.fl. REF definierar flera typer av testsekvens körbarhet för realtidssystem och presenterar en algoritm för att kontrollera om en testsekvens är körbar.
Generating Test Cases for a Timed I/O Automaton Model
{'venue': 'IWTCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}