본문 바로가기

연구실 소식/세미나

A supporting method of the evolution of state diagrams with scenarios

Speaker:

          윤영동

Subject:

          A supporting method of the evolution of state diagrams with scenarios

Published:

          Principles of Software Evolution, Eighth International Workshop on, 5-6 Sept. 2005

Abstract

         The authors of this thesis discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools provide only a limited coverage for different testing objectives. They argue that a better coverage can be achieved by instrumenting transitions, and performing an appropriate pre- and postprocessing. They describe the necessary enhancements of the UML model and demonstrate our method on a simple example. They further report on an industrial case study where we successfully applied our method for generating a validation test suite for a safety-relevant communication protocol