Several Outlines on Model-Driven Approach for Testing of Embedded Systems

Šīs raksts ir veltīts modeļvadītas testēšanas pamatprincipiem kontekstā ar iegulto sistēmu testēšanu. Rakstā ir sniegts iegulto sistēmu īss apraksts ar iepriekš izdalītām sistēmu īpatnības, kas prasa speciālās pieejas to testēšanai. Tas ir: uzdevumu plānošana, laika ierobežojumi, uzdevumu sinhronizācija, asinhronā darbība un drošums. Laika ierobežojumu īpatnība ir izvēlēta, lai demonstrētu īpašo pieeju šīs īpatnības specificēšanai un tās ietekmi uz testēšanas modeli. Sistēmas funkcionēšanas modelī laicīguma definēšanai tika paņemts UML profils uzdevumu plānošanai, ātrdarbībai un laikam, kas piedāvā speciālas pakotnes laicīguma definēšanai. Saskaņa ar MDA pamatprincipiem, rakstā ir prezentēta standartizēta OMG pieeja testēšanas modeļa definēšanai – UML testēšanas profils, kas piedāvā neatkarīgo metamodeli testēšanas modeļa konstruēšanai. Raksta galvenā ideja ir parādīt modeļvadītas testēšanas pieejas pamatprincipus un sniegt vienkāršotus modeļus iegulto sistēmu laicīguma īpatnības modelēšanai. Rezultātā ir piedāvāti sistēmas funkcionēšanas modelis, kas balstās uz UML profili uzdevumu plānošanai, ātrdarbībai un laikam, un testēšanas modelis balstīts uz UML testēšanas profili. Abi modeli nodrošina vienkāršotus modeļus laicīguma specificēšanai. Turpmākais darbs modeļvadītas testēšanas virzienā ir transformācijas definēšana starp izveidotiem modeļiem ar mērķi nodrošināt automātisko testēšanas gadījumu ģenerēšanu no sistēmas funkcionēšanas modeļa