Article

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models

Authors:

Huo-wang ChenAuthors Info & Claims

QSIC '04: Proceedings of the Quality Software, Fourth International Conference

Pages 22 - 31

Published: 08 September 2004 Publication History

Abstract

The paper concerns automatic generation of usage models from real-time software UML models. Firstly, we define the reasonably constrained real-time software UML artifacts, which include use case diagrams, timed sequence diagrams and the execution probability of each sequence diagram in its associated use case. Secondly, the paper presents a method that derives the software usage model from the constrained UML artifacts. The method elicits the messages associated with the objects under testing and their occurrence probabilities to generate the usage model of each use case. Timing constraints in sequence diagrams are considered during usage model generation. Then the usage models of use cases are integrated into the software usage model by utilizing the execution sequence relations between use cases. The usage models can be used to generate real-time software statistical test cases and facilitate real-time software statistical testing.

References

[1]

H. Ben-Abdallah and S. Leue, "Timing Constraints in Message Sequence Chart Specifications", Proceedings of the 10th International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, 1997.

Digital Library

[2]

A. Abdurazik and J. Offutt, "Using UML Collaboration Diagrams for Static Checking and Test Generation", UML'OO, LNCS 1939, Springer Verlag, 2000, pp. 383- 395.

Digital Library

[3]

R. Alur, G.J. Holzmann, and D. Peled, "An analyzer for message sequence charts", TACAS'96, LNCS 1055, Springer Verlag, 1996, pp. 35-48.

Digital Library

[4]

R. Alur, K. Etessami, and M. Yannakakis, "Inference of Message Sequence Charts", Proceedings of 22nd IEEE International Conference on Software Engineering, 2000, pp. 304-313.

Digital Library

[5]

F. Basanieri and A. Bertolino, "A Practical Approach to UML-Based Derivation of Integration Tests", Proceedings of the 4th International Software Quality Week Europe, Brussels, Nov. 2000, pp. 20-24.

[6]

Binder, R., Testing Object-Oriented Systems, Addison Wesley, 1999.

Digital Library

[7]

L. Briand and Y. Labiche, "A UML-Based Approach to System Testing", Software and System Modeling, Vol. 1, 2002, pp. 10-42.

[8]

Bruegge, B. and A.H. Dutoit, Object-Oriented Software Engineering: Conquering Complex and Changing Systems, Prentice Hall, 2000.

Digital Library

[9]

Douglass, B.P., Real-Time UML, Addison-Wesley, 2000.

[10]

D. Harel and W. Damm, "LSCs: Breathing Life into Message Sequence Charts", Proceedings of the 3th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999, pp. 293-312.

Digital Library

[11]

ITU, Message Sequence Charts, Recommendation Z.120, ITD Telecomm. Standardization Sector, 1996.

[12]

X. Li and J Lilius. "Timing Analysis of UML Sequence Diagrams". UML'99, LNCS 1723, Springer Verlag, 1999, pp. 661-674.

Digital Library

[13]

Prowell, S.J, C.J. Trammell, R.C. Linger, and J.H. Poore, Cleanroom Software Engineering: Technology and Process, Addison-Wesley, 1999.

Digital Library

[14]

OMG, Response to the OMG RFP for Schedulability, Performance, and Time, OMG Document number: ad/2001-06-14, June, 2001.

[15]

M. Riebisch, I. Philippow and M. Gotze, "UML-Based Statistical Test Case Generation", LNCS 2591, Springer, 2003, pp. 394-411.

Digital Library

[16]

Rumbaugh J, I. Jcobson, and G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, 1999.

Digital Library

[17]

Warmer, J. and A. Kleppe, The Object Constraint Language: Precise Modeling with UML, Addison Wesley, 1999.

Digital Library

[18]

J.A. Whittaker, "A Markov Chain Model for Statistical Software Testing", IEEE Transactions on Software Engineering, Vol. 20, Oct 1994, pp. 812-824.

Digital Library

[19]

J. Yan, J. Wang, and H. Chen, "Deriving Software Statistical Testing Model from UML Model", Proceedings of QSIC 2003, Dallas, USA, 2003, pp. 343- 350.

Digital Library

Cited By

Smidts CMutha CRodríguez MGerber M(2014)Software testing with an operational profileACM Computing Surveys10.1145/251810646:3(1-39)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1145/2518106
Bail W(2006)An approach to defining requirements for exceptionsAdvanced Topics in Exception Handling Techniques10.5555/2124243.2124260(243-254)Online publication date: 1-Jun-2006
https://dl.acm.org/doi/10.5555/2124243.2124260
Yan JWang JChen H(2004)UML based statistical testing acceleration of distributed safety-critical softwareProceedings of the Second international conference on Parallel and Distributed Processing and Applications10.1007/978-3-540-30566-8_52(433-445)Online publication date: 13-Dec-2004
https://dl.acm.org/doi/10.1007/978-3-540-30566-8_52

Index Terms

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models

Recommendations

Automatic generation of feature models from UML requirement models
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2

It is well known that during the domain requirement engineering phase with UML, both feature models and UML notations (e.g. UML use case diagrams and activity diagrams for describing use cases) are necessary. The development in parallel of UML models ...
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software
SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing

Analysis of timing constraints is an essential part in developing real-time embedded software. Performing the timing analysis during the early development phases prevents timing violations and enhances software quality. In the development of real-time ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

QSIC '04: Proceedings of the Quality Software, Fourth International Conference

September 2004

258 pages

ISBN:0769522076

Publisher

IEEE Computer Society

United States

Publication History

Published: 08 September 2004

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Smidts CMutha CRodríguez MGerber M(2014)Software testing with an operational profileACM Computing Surveys10.1145/251810646:3(1-39)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1145/2518106
Bail W(2006)An approach to defining requirements for exceptionsAdvanced Topics in Exception Handling Techniques10.5555/2124243.2124260(243-254)Online publication date: 1-Jun-2006
https://dl.acm.org/doi/10.5555/2124243.2124260
Yan JWang JChen H(2004)UML based statistical testing acceleration of distributed safety-critical softwareProceedings of the Second international conference on Parallel and Distributed Processing and Applications10.1007/978-3-540-30566-8_52(433-445)Online publication date: 13-Dec-2004
https://dl.acm.org/doi/10.1007/978-3-540-30566-8_52

View Options

View options

Media

Figures

Other

Tables

View Table of Contents