Deriving software Markov chain usage model from UML models

Ruan Jian Xue Bao/Journal of Software

Volumn 16, Issue 8, 2005, Pages 1386-1394

  Yan, Jiong ^a   Wang, Ji ^a   Chen, Huo Wang ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

Markov chain usage model; Software reliability; Statistical testing; UML (unified modeling language)

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; MARKOV PROCESSES; RELIABILITY; SOFTWARE ENGINEERING; STATISTICAL TESTS;

SOFTWARE MARKOV CHAIN USAGE MODEL; SOFTWARE RELIABILITY; UNIFIED MODELING LANGUAGE (UML);

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 24044487637     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos161386     Document Type: Article

References (13)

1. Prowell SJ, Trammell CJ, Linger RC, Poore JH. Cleanroom Software Engineering: Technology and Process. Addison-Wesley, 1999.
2. Yan J, Wang J, Chen HW. Automatic generation of Markov chain usage models from real-time software UML models. In: Ehrich HD, Schewe KD, eds. Proc. of the 4th Int'l Conf. on Quality Software. Los Alamitos: IEEE Computer Society Press, 2004. 22-31.
3. Feng H, Xu XS, Wang J. The determination of resemblance between the usage chain and the test chain in statistical testing. Computer Engineering and Science, 2003,25(1):17-19 (in Chinese with English abstract).
4. Binder RV. Testing Object-Oriented Systems: Models, Patterns and Tools. Addison Wesley Longman, Inc., 1999.
5. Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual. Addison Wesley Longman, Inc., 1999.
6. Briand L, Labiche Y. A UML-based approach to system testing. Software and System Modeling, 2002,1(1):10-42.
7. Regnell B, Runeson P, Wohlin C. Towards integration of use case modeling and usage-based testing. Journal of Systems and Software, 2000,50(2):117-130.
8. Riebisch M, Philippow I, Götze M. UML-Based statistical test case generation. In: Aksit M, Mezini M, Unland R, eds. Proc. of the Int'l Conf. NODe 2002. LNCS 2591, Heidelberg: Springer-Verlag, 2003. 394-411.
9. Beyer M, Dulz W, Zhen F. Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains. In: Proc. of the 12th Asian Test Symp. Los Alamitos: IEEE Computer Society, 2003. 102-106.
10. Douglass BP. Real-Time UML: Developing Efficient Objects for Embedded Systems. 2nd ed., Pearson Education, Inc., 2000.
11. Damm W, Harel D. LSCs: Breathing life into message sequence charts. In: Ciancarini P, Fantechi A, Gorrieri R, eds. Proc. of the 3rd Int'l Conf. on Formal Methods for Open Object-Based Distributed Systems. Kluwer Acdemic Publisher, 1999. 293-312.
12. Alur R, Etessami K, Yannakakis M. Inference of message sequence charts. IEEE Trans. on Software Engineering, 2003,29(7):623-633.
13. Whittaker JA, Thomason MG. A Markov chain model for statistical software testing. IEEE Trans. on Software Engineering, 1994,20(10):812-824.