Opening book details…
Can I read Synthesis of System State Models on EtoBox?
Synthesis of System State Models by M. Sarma; R. Mall is a Computer Science article available to read on EtoBox.
What is Synthesis of System State Models about?
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.
Who reads Synthesis of System State Models?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- M. Sarma; R. Mall
- Publisher
- ACM
- Published
- 2007
- Language
- EN
- Field
- Computer Science (Physical Sciences)