Abstrakt. Modellbaserad testning är en av de lovande teknikerna för att möta de utmaningar som ställs på programvarutester. I modellbaserade tester testas ett genomförande under test för överensstämmelse med en modell som beskriver det beteende som krävs för genomförandet. Detta kapitel beskriver en modellbaserad testteori där modeller uttrycks som märkta övergångssystem, och överensstämmelse definieras med "ioco" genomföranderelationen. Ioco-testningsteorin ger å ena sidan en sund och väldefinierad grund för testning av märkta övergångssystem, med sina rötter i det teoretiska området för testning av likvärdigheter och tester för avslag. Å andra sidan har det visat sig vara en praktisk grund för flera modellbaserade testgenereringsverktyg och tillämpningar. Definitioner, underliggande antaganden, en algoritm, egenskaper, och flera exempel på ioco-testningsteori diskuteras, med specifikationer, implementationer, tester, ioco implementation relation och några av dess varianter, en testgeneration algoritm, och sundhet och fullständighet av denna algoritm.
Den detaljerade testgenereringsalgoritmen presenteras i REF.
Model Based Testing with Labelled Transition Systems
{'venue': 'Formal Methods and Testing', 'journal': None, 'mag_field_of_study': ['Computer Science']}