Presentation is loading. Please wait.

Presentation is loading. Please wait.

05. Dezember 2003 (Folie 1) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Test Case Generation from Statecharts.

Similar presentations


Presentation on theme: "05. Dezember 2003 (Folie 1) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Test Case Generation from Statecharts."— Presentation transcript:

1 05. Dezember 2003 (Folie 1) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Test Case Generation from Statecharts Thomas Gutzeit Content Introduction Basic Principle Additional Criteria for Statecharts Test Results and Conclusion

2 05. Dezember 2003 (Folie 2) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Statecharts as behavior model for testing graphical user interfaces Increasing influence and use of statecharts in software engineering (UML) Here: Statecharts defined by D. Harel Applying the approach of F. Belli to statecharts Are the additional properties of statecharts covered by the approach? Introduction Basic Principle Additional Criteria for Statecharts Test Results and Conclusion

3 05. Dezember 2003 (Folie 3) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Basic principle of test case generation to cover all Event Pairs Incoming EventStateOutgoing legal Event Outgoing illegal Event (faulty State) stop11.1:Stoppedplaypause stop play_pause pause_resume play11.2:Playingpauseplay pause_resumeplay_pausepause_resume stop pause11.3:Pausingpause_resumepause play_pauseplayplay_pause stop Introduction Basic Principle Additional Criteria for Statecharts Test Results and Conclusion

4 05. Dezember 2003 (Folie 4) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Eingehendes EreignisZustand ausgehendes Ereignis on11:Playstateoff EPs:FEPs: stopoffstopon playoffplayon pause_resumeoffpause_resumeon pauseoffpauseon play_pauseoffplay_pauseon play Hierarchical State Coverage: By means of the event pairs Condition Coverage: Events will be tested by covering the outcomes TRUE and FALSE Introduction Basic Principle Additional Criteria for Statecharts Test Results and Conclusion

5 05. Dezember 2003 (Folie 5) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 History Event Coverage: Unique test sequence which uses history functionality EP: stopnextplay stoppreviousplay Stoptrackpositionplay stopTrackinfoOKplay … stopnextpause stoppreviousstop trackpositionPause stopTrackinfoOKpause … FEP: Concurrent Event Coverage is reduced to testing: parallel states separately and [IN] conditions by setting TRUE and FALSE Introduction Basic Principle Additional Criteria for Statecharts Test Results and Conclusion

6 05. Dezember 2003 (Folie 6) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Designed Statecharts for Real Jukebox (RJB) Introduction Basic Principle Additional Criteria for Statecharts Test Results and Conclusion

7 05. Dezember 2003 (Folie 7) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik number of faults ES FES Results from RJB Case-Study: Revealed faults: #15 Conclusion: Generated test cases from statecharts are efficient in detecting faults But designing statecharts dedicatedly for testing is very expensive Number of detected Faults Detected faults by Belli, but not detected by Statecharts Faults detected by both methods Faults detected by Gutzeit, but not detected by Belli Introduction Basic Principle Additional Criteria for Statecharts Test Results and Conclusion


Download ppt "05. Dezember 2003 (Folie 1) Test Case Generation from Statecharts Thomas Gutzeit ADvenTmatik 2003 Test Case Generation from Statecharts."

Similar presentations


Ads by Google