Identifying unexpected state transition paths in synthesized statecharts

Jiachen Zhang · 2007

Scenarios present system behaviors from users' perspectives by specifying collaboration and interaction between objects or components.Statecharts are precise descriptions of system behaviors.Automatic transition from scenarios to statechart is the process which system behavior models are generated automatically from UML requirement models.Based on analyzing the deficiency of the existing transition algorithm,an approach of capturing appropriate state vectors is proposed by analyzing use case syntax,and unexpected transition paths are identified by adding the scenarios information to the algorithm.

Read the paper · More papers on PaperTik