Abstrakt. En Input/Output Automaton är en automaton med ett begränsat antal tillstånd där varje övergång är associerad med en enda inpuf eller utdatainteraktion. Under [1] introducerade vi en ny formalism, där varje övergång är associerad med en bipartit delvis beställd uppsättning av samtidiga ingångar följt av samtidiga utgångar. I detta papper generaliserar vi denna modell till Partial Order Input/Output Automata (POIOA), där varje övergång är associerad med en nästan godtycklig delvis ordnad uppsättning ingångar och utgångar. Denna formalism kan ses som Högnivåmeddelanden Sekvensdiagram med in- och utgångar och möjliggör specificering av samstämmighet mellan in- och utgångar på ett mycket allmänt, direkt och koncist sätt. Vi ger en formell definition av denna ram och definierar flera överensstämmelserelationer för att jämföra systemspecifikationer som uttrycks i denna formalism. Sedan visar vi hur man får fram en testsvit som garanterar att upptäcka fel som definieras av en POIOAspecifik felmodell: saknade utgångsfel, ospecificerade utgångsfel, svagare förutsättningsfel, starkare förutsättningsfel och överföringsfel.
I REF, en partiell orderingång / output automaton (POIOA), där varje övergång är associerad med en nästan godtycklig ordning uppsättning ingångar och utgångar, används för att representera det förväntade beteendet.
Testing Systems Specified as Partial Order Input/Output Automata
{'venue': 'in "Testcom/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}