Att säkerställa hög objektkompatibilitet är ett mål för integrationstestning av objektorienterad programvara (OO). När meddelanden skickas ska föremål som tar emot dem svara som avsett. Att säkerställa detta är särskilt svårt när programvara använder komponenter som utvecklats av olika leverantörer, på olika språk, och genomförandekällor inte alla är tillgängliga. En ändlig tillståndsmaskinmodell av interoperativa OO-klasser presenterades i ett tidigare papper. I det tidigare dokumentet presenterades detaljer om metoden och empiriska resultat från ett automatiskt verktyg. I detta dokument presenteras ytterligare detaljer om själva verktyget, inklusive hur testsekvenser genereras, hur flera svåra problem löstes och införandet av nya funktioner för att hjälpa till att automatisera omvandlingen av testspecifikationer till körbara testfall. Även om testmetoden inte är 100 % automatiserad innebär den en ny metod för automatiserad testning. Den följer accepterade teoretiska förfaranden samtidigt som den fungerar direkt på OO-programvaruspecifikationer. Detta ger en dataflödesgraf och körbara testfall som på ett tillfredsställande sätt täcker grafen enligt klassiska graftäckningskriterier. Verktyget stöder specifikationsbaserad testning och hjälper till att överbrygga klyftan mellan teori och praktik.
På samma sätt använder Gallagher och Offutt REF klassiska graftäckningskriterier på dataflödesdiagram för integrationstestning av objektorienterad programvara som använder komponenter som utvecklats av olika leverantörer, på olika språk, där genomförandekällorna inte är alla tillgängliga.
Test Sequence Generation For Integration Testing Of Component Software
{'venue': 'The Computer Journal', 'journal': 'The Computer Journal', 'mag_field_of_study': ['Computer Science']}