Testning och kontroll av gränssnittet mellan programvarukomponenter är särskilt viktigt på grund av det stora antalet komplexa interaktioner, vilket kräver att de traditionella modelleringsspråken undanröjer de befintliga bristerna i fråga om beskrivning av tidsbaserad information och kontroll av indata för testning av programvara. I detta dokument presenteras den utökade gränssnittsautomaten i realtid (RTEIA), som ger en tydligare och mer detaljerad beskrivning av tidsinformation genom tillämpning av tidsord. Vi skapar också indatagränssnittsautomaton för varje indata för att lösa problemen med indatakontroll och gränssnitt som täcker nimbly när det tillämpas i programvarutestningsfältet. Detaljerade definitioner av RTEIA och testfallsgenereringsalgoritm finns i detta dokument. Denna metods genomförbarhet och effektivitet har kontrollerats vid provning av ett verkligt flygplansbromssystem.
Real-Time Extended Interface Automata (RTEIA) presenteras i papper REF.
Real-Time Extended Interface Automata for Software Testing Cases Generation
{'venue': 'The Scientific World Journal', 'journal': 'The Scientific World Journal', 'mag_field_of_study': ['Medicine', 'Computer Science']}