Abstract
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.
- Biermann A. W. and Krishnaswamy R., "Constructing Programs from Example Computations", IEEE Transactions of Software Engineering, vol. SE-2, pp 141--153, 1976. Google Scholar
Digital Library
- Binder R. V., "Testing Object-Oriented System Models, Patterns, and Tools", Addison-Wesley, NY, 1999. Google Scholar
Digital Library
- Buhr R. J. A., "Use case maps as architectural entities for complex systems", IEEE Transactions of Software Engineering, vol. 24, pp 1131--1155, 1998. Google Scholar
Digital Library
- Castejon H. N. "Synthesizing State-machine Behavior from UML Collaboration and Use Case Maps", Lecture Notes in Computer Science, Vol. 3530, Springer, June 2005.Google Scholar
- Chidamber S. R. and Kemerer C. F., "A Metrics Suite for Object Oriented Design", IEEE Transactions on Software Engineering, v. 20, n. 6, pp. 476--493, June 1994. Google Scholar
Digital Library
- Gupta A., "Automated Object's Statechart Generation and Testing from Class Method Contracts", 3rd Intl Workshop on Model Development, Validation, and Verification (MoDeV2a 2006), Genova, Italy, October 2006.Google Scholar
- Khriss I., Elkoutbi M., Keller R. K., "Automating the Synthesis of UML Statechart Diagrams from Multiple Collaboration Diagrams", In UML98: Beyond the notation, pp 132--147, Springer, 1999 Google Scholar
- Koskimies K., and Mäkinen E., "Automatic Synthesis of State Machines from Trace Diagrams", Software Practice and Experience, vol. 24, no. 7, pp 643--658, 1994. Google Scholar
Digital Library
- Koskimies K., Systä T., and T. Jyrki, "Automated Support for Modeling OO Software", IEEE Software, 15(1), pp 87--94, January 1998. Google Scholar
Digital Library
- Sarma M., "System State Model Generation from UML 2.0 Design", Technical Report TR-04-07, Department of Computer Science and Engineering, Indian Institute Of Technology, Kharagpur, April 2007.Google Scholar
- Vasilache S., and Tanaka J., "Synthesis of State Machines from Multiple Interrelated Scenarios Using Dependency Diagrams," Journal of Systemics, Cybernetics and Informatics, Vol.3, No.3, 2006.Google Scholar
- Whittle J., Schumann J., "Generating Statechart Designs From Scenarios", Proceedings of International Conference on Software Engineering (ICSE 2000)", Limerick, Ireland. Google Scholar
Digital Library
- Ziadi T., Helouet L., Jezequel J. M. " Revisiting Statechart Synthesis with an Algebrain Approach", International Conference on Software Engineering (ICSE26)", Edinberg, Scotland, UK, May, 2004. Google Scholar
Digital Library
Index Terms
Synthesis of system state models
Recommendations
Automatic generation of test specifications for coverage of system state transitions
Adequate system testing of present day application programs requires satisfactory coverage of system states and transitions. This can be achieved by using a system state model. However, the system state models are rarely constructed by system developers,...
State coverage: a structural test adequacy criterion for behavior checking
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringWe propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and sideeffects of a program.
State coverage differs in several respects from existing ...
State coverage: a structural test adequacy criterion for behavior checking
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papersWe propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effects of a program.
State coverage differs in several respects from existing ...






Comments