Automatic synthesis of state machines from trace diagrams
Software—Practice & Experience
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Automated Support for Modeling OO Software
IEEE Software
A Metrics Suite for Object Oriented Design
IEEE Transactions on Software Engineering
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Constructing Programs from Example Computations
IEEE Transactions on Software Engineering
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
| Hi-index | 0.00 |
Many modern systems are state-based. For such systems, a system state model is important not only for understanding the behavior of the system, but also for test case design, test coverage analysis, maintenance, etc. However, developers rarely construct the system state model for practical systems because it is usually too complex and cumbersome to construct. On the other hand, developers normally construct the state models of individual classes. We propose a novel method to automatically synthesize the state model of a system by analyzing the different sequences of scenarios and determining whether these lead to any state changes of the individual objects.