research-article

Synthesis of system state models

Authors:

M. Sarma,

R. MallAuthors Info & Claims

ACM SIGPLAN Notices, Volume 42, Issue 11

Pages 5 - 14

https://doi.org/10.1145/1328788.1328792

Published: 01 November 2007 Publication History

Get Access

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.

References

[1]

Biermann A. W. and Krishnaswamy R., "Constructing Programs from Example Computations", IEEE Transactions of Software Engineering, vol. SE-2, pp 141--153, 1976.

Digital Library

Google Scholar

[2]

Binder R. V., "Testing Object-Oriented System Models, Patterns, and Tools", Addison-Wesley, NY, 1999.

Digital Library

Google Scholar

[3]

Buhr R. J. A., "Use case maps as architectural entities for complex systems", IEEE Transactions of Software Engineering, vol. 24, pp 1131--1155, 1998.

Digital Library

Google Scholar

[4]

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

[5]

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.

Digital Library

Google Scholar

[6]

Gupta A., "Automated Object's Statechart Generation and Testing from Class Method Contracts", 3rd Intl Workshop on Model Development, Validation, and Verification (MoDeV²a 2006), Genova, Italy, October 2006.

Google Scholar

[7]

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

Crossref

Google Scholar

[8]

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.

Digital Library

Google Scholar

[9]

Koskimies K., Systä T., and T. Jyrki, "Automated Support for Modeling OO Software", IEEE Software, 15(1), pp 87--94, January 1998.

Digital Library

Google Scholar

[10]

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

[11]

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

[12]

Whittle J., Schumann J., "Generating Statechart Designs From Scenarios", Proceedings of International Conference on Software Engineering (ICSE 2000)", Limerick, Ireland.

Digital Library

Google Scholar

[13]

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.

Digital Library

Google Scholar

Cited By

View all

K. P. JJayaraman SJayaraman BM S(2020)Finite‐state model extraction and visualization from Java program executionSoftware: Practice and Experience10.1002/spe.291051:2(409-437)Online publication date: 11-Oct-2020
https://doi.org/10.1002/spe.2910
Chourey VSharma M(2016)Functional Flow Diagram(FFD): Semantics for evolving software2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI)10.1109/ICACCI.2016.7732377(2193-2199)Online publication date: Sep-2016
https://doi.org/10.1109/ICACCI.2016.7732377
Jayaraman SD KJayaraman B(2014)Towards program execution summarization: Deriving state diagrams from sequence diagrams2014 Seventh International Conference on Contemporary Computing (IC3)10.1109/IC3.2014.6897190(299-305)Online publication date: Aug-2014
https://doi.org/10.1109/IC3.2014.6897190
Show More Cited By

Index Terms

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 engineering

We 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 papers

We 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 42, Issue 11

November 2007

21 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1328788

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 2007

Published in SIGPLAN Volume 42, Issue 11

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
239
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

K. P. JJayaraman SJayaraman BM S(2020)Finite‐state model extraction and visualization from Java program executionSoftware: Practice and Experience10.1002/spe.291051:2(409-437)Online publication date: 11-Oct-2020
https://doi.org/10.1002/spe.2910
Chourey VSharma M(2016)Functional Flow Diagram(FFD): Semantics for evolving software2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI)10.1109/ICACCI.2016.7732377(2193-2199)Online publication date: Sep-2016
https://doi.org/10.1109/ICACCI.2016.7732377
Jayaraman SD KJayaraman B(2014)Towards program execution summarization: Deriving state diagrams from sequence diagrams2014 Seventh International Conference on Contemporary Computing (IC3)10.1109/IC3.2014.6897190(299-305)Online publication date: Aug-2014
https://doi.org/10.1109/IC3.2014.6897190
Sarma MMall R(2009)Automatic generation of test specifications for coverage of system state transitionsInformation and Software Technology10.1016/j.infsof.2008.05.00251:2(418-432)Online publication date: 1-Feb-2009
https://dl.acm.org/doi/10.1016/j.infsof.2008.05.002

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Automatic generation of test specifications for coverage of system state transitions

State coverage: a structural test adequacy criterion for behavior checking

State coverage: a structural test adequacy criterion for behavior checking