Treffer: SEVERAL OUTLINES ON MODEL-DRIVEN APPROACH FOR TESTING OF EMBEDDED SYSTEMS.

This paper is devoted to model-driven testing approaches in the context of embedded systems. The article discusses specifics of the embedded systems as well as specific testing approaches for them. As the testing objects of embedded systems next non-functional requirements were previously selected: task scheduling, time restrictions, synchronization, asynchronisms and reliability. Timing restrictions are selected for detailed analysis in model specification. For this purpose Time domain from UML profile for Schedulability, Performance and Time is presented and discussed. Testing model as destination model is specified using standardized UML Testing profile, which provides general purpose metamodel for such model definition. The main idea of the paper is to show general principles of the model-driven testing and to represent simplified example of testing of the one specific feature of the embedded system. Discussed model-driven testing approach is based on the model transformation, where the source model describes the feature of the system and the destination model is the test case model. Transformation rules in future works will provide test case generation using model of the system. [ABSTRACT FROM AUTHOR]

Šī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. [ABSTRACT FROM AUTHOR]