Transcription
Towards Model-Based Testing of Domain-SpecificModelling LanguagesJ. Merilinna, Olli-Pekka Puolitaival, J. Pärssinen
VTT TECHNICAL RESEARCH CENTRE OF FINLANDIndex Testing Domain-Specific Modelling Languages (DSML)Model-Based Testing (MBT)Application TestingModelling Language TestingTest Suite Generation in PracticeCase LegoFuture research2
VTT TECHNICAL RESEARCH CENTRE OF FINLANDTesting Domain-Specific Modelling Languages (DSML) Currently: Manual testing during iterative and incremental DSMLdevelopmentProblems: Test applications in synch in metamodel? Test coverageHow DSML testing can be systematized and automated?3
VTT TECHNICAL RESEARCH CENTRE OF FINLANDModel-Based Testing (MBT) MBT is a black box testingtechniquePhases:1. Modelling2. Test generation3. Test executionMBT is decreasing test suitemaintenance efforts andimproves mentingTest casegenerationTestExecutionApplication4
VTT TECHNICAL RESEARCH CENTRE OF FINLANDApplication Testing Tests and the implementationare generated from the samemodel Code generator and metamodel(from the utilized parts) areunder testing Comprehensive test suite isautomatically generated andalways in synch withimplementation5
VTT TECHNICAL RESEARCH CENTRE OF FINLANDModelling Language Testing One application can beconsidered as one test case.Multiple test cases are required! Metamodel describes rules ofthe language We argue that applications canbe generated from metamodeldefinitions6
VTT TECHNICAL RESEARCH CENTRE OF FINLANDTest Suite Generation in Practice DSM tool requirements Allows exporting themetamodel and importingthe application models MetaEdit fulfils therequirements MBT tool requirements Supports model importingand exporting the testcases Conformiq Qtronic fulfilsthe requirementsMetaedit Conformiq onmodelMod2QMLTest generatorTest suiteTestingApplication7Test executor
VTT TECHNICAL RESEARCH CENTRE OF FINLANDCase Lego: Generating ApplicationApplication modelGenerated codeCompilingApplication Execution8
VTT TECHNICAL RESEARCH CENTRE OF FINLANDApplication Model9
VTT TECHNICAL RESEARCH CENTRE OF FINLANDGenerated Code10
VTT TECHNICAL RESEARCH CENTRE OF FINLANDCompiling11
VTT TECHNICAL RESEARCH CENTRE OF FINLANDApplication Execution12
VTT TECHNICAL RESEARCH CENTRE OF FINLANDCase Lego: Generating TestsApplication modelModel into QML formatTest casesTest generation13
VTT TECHNICAL RESEARCH CENTRE OF FINLANDApplication Model14
VTT TECHNICAL RESEARCH CENTRE OF FINLANDTransform the Model into QML Format15
VTT TECHNICAL RESEARCH CENTRE OF FINLANDTest Generation16
VTT TECHNICAL RESEARCH CENTRE OF FINLANDTest Execution17
VTT TECHNICAL RESEARCH CENTRE OF FINLANDCase Lego: One Generated Test Case1.1.2.3.2.3.18
VTT TECHNICAL RESEARCH CENTRE OF FINLANDFuture Research More applications model testsMetamodel testing and make a demo of thatIdentifying the most potential domains, and possible restrictions.Identifying effects in quality, processes 19
VTT TECHNICAL RESEARCH CENTRE OF FINLANDQuestions?20
Metaedit Conformiq Qtronic X ML Test suite Code generator Mod2QML QML Application models Application generator Test generator Metamodel Application model Metamodel Testing Application Test executor ML. VTT TECHNICAL RESEARCH CENTRE OF FINLAND 8 Case Lego: Generating Application Generated code Compiling