Synthesis of system state models

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.