Test cases generation from UML state diagrams
Test cases generation from UML state diagrams
- Author(s): Y. G. Kim ; H. S. Hong ; D. H. Bae ; S. D. Cha
- DOI: 10.1049/ip-sen:19990602
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): Y. G. Kim 1 ; H. S. Hong 1 ; D. H. Bae 1 ; S. D. Cha 1
-
-
View affiliations
-
Affiliations:
1: Department of Computer Science, Korea Advanced Institute of Science and Technology (KAIST), Taejon, Korea
-
Affiliations:
1: Department of Computer Science, Korea Advanced Institute of Science and Technology (KAIST), Taejon, Korea
- Source:
Volume 146, Issue 4,
August 1999,
p.
187 – 192
DOI: 10.1049/ip-sen:19990602 , Print ISSN 1462-5970, Online ISSN 1463-9831
The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control flow is identified by transforming UML state diagrams into extended finite state machines (EFSMs). The hierarchical and concurrent structure of states is flattened and broadcast communications are eliminated in the resulting EFSMs. Second, data flow is identified by transforming EFSMs into flow graphs to which conventional data flow analysis techniques can be applied.
Inspec keywords: finite state machines; diagrams; data flow analysis; object-oriented programming; program testing; data flow graphs
Other keywords:
Subjects: Automata theory; Diagnostic, testing, debugging and evaluating systems; Object-oriented programming
References
-
-
1)
- TURNER, C.D., ROBSON, D.J.: `The state-based testing and inheritance', Technical Report No. 1/93, 1993.
-
2)
- HEIMDAHL, M.P.E., WHALEN, M.W.: `Reduction and slicing of hierarchical state machines', Proceedings of the Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1997.
-
3)
- S. ZWEBEN , W. HEYM , J. KIMMICH . Systematic testing of data abstractions based on software specifications. J. Softw. Testing, Verif., Reliab , 4 , 39 - 55
-
4)
- HARROL, M.J., MCGREGOR, J.D., FITZPATRICK, K.J.: `Incremental testing of object-oriented class structures', Proceedings of the 14th International Conference on Software Engineering, 1992, p. 68–80.
-
5)
- G. Booch . (1991) , Object oriented design with applications.
-
6)
- B. Beizer . (1990) , Software testing techniques.
-
7)
- BOCHMAN, G.v., PETRENKO, A.: `Protocol testing: review of methods and relevance for software testing', Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994, p. 109–124.
-
8)
- HONG, H.S., KWON, Y.R., CHA, S.D.: `Testing of object-oriented programs based on finite state machines', Proceedings of Asia-Pacific Software Engineering Conference, 1995, p. 234–241.
-
9)
- WEIDE, B.W., EDWARDS, S.H., HEYM, W.D., LONG, T.J., OGDEN, W.F.: `Characterizing observability and controlability of software components', Proceedings of the 4th International Conference on Software Reuse, 1994, p. 62–71.
-
10)
- J. GANNON , P. MCMULLIN , R. HAMLET . Data-abstraction implementation, specification, and testing. ACM Trans. Program. Lang. Syst , 3 , 211 - 223
-
11)
- P.C. JORGENSEN , C. ERICKSON . Object-oriented integration testing. Commun. ACM , 9 , 30 - 38
-
12)
- L. BOUGE , N. CHOQUET , L. FRIBOUR , M.C. GAUDEL . (1986) Test sets generation from algebraic specifications using logic programs, J. Syst. Softw..
-
13)
- S.C. NTAFOS . A comparison of some structural testing strategies. IEEE Trans. Softw. Eng , 6 , 868 - 874
-
14)
- T. CHOW . Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng , 3 , 178 - 187
-
15)
- TURNER, C.D., ROBSON, D.J.: `The state-based testing of object-oriented programs', Proceedings of Conference on Software Maintenance, 1993, p. 302–310.
-
16)
- ODA, T., ARAKI, K.: `Specification slicing in formal methods of software development', Proceedings of the 17th Annual International Computer Software and Applications Conference, 1993, p. 313–319.
-
17)
- J.D. MCGREGOR , D.M. DYER . A note on inheritance and state machines. ACM SIGSOFT Softw. Eng. Notes , 4 , 61 - 69
-
18)
- DOONG, R., FRANKL, P.G.: `Case studies on testing object–oriented programs', Proceedings of the 4th Symposium on Software Testing, Analysis and Verification, 1991, p. 165–177.
-
19)
- B. BOSIK , M.Ü. UYAR . Finite state machine based formal methods in protocol conformance testing: from theory to implementation. Comput. Netw. ISDN Syst. , 7 - 33
-
20)
- R.M. POSTON . Automated testing from object models. Commun. ACM , 9 , 48 - 58
-
21)
- PNUELI, A., SHALEV, M.: `What is in a step: on the semantics of Statecharts', Proceedings of International Conference on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, 1991, 298, Springer-Verlag, p. 245–264.
-
22)
- A.S. PARRISH , R.B. BORIE , D.W. CORDES . Automated flow graph-based testing of object-oriented software modules. J. Syst. Softw , 95 - 109
-
23)
- D. HOFFMAN , P. STROOPER . ClassBench: a framework for automated class testing. Softw. –Pract. Exp , 5 , 573 - 597
-
24)
- G.C. MURPHY , P. TOWNSEND , P.S. WONG . Experiences with cluster and class testing. Commun. ACM , 9 , 39 - 47
-
25)
- J.D. MCGREGOR , T.D. KORSON . Integrating object-oriented testing and development processes. Commun. ACM , 9 , 59 - 77
-
26)
- B. Bruegge , A. Dutoit . (2003) Object-oriented software engineering.
-
27)
- P.G. FRANKL , E.J. WEYUKER . An applicable family of data flow testing criteria. IEEE Trans. Softw. Eng , 10 , 1483 - 1498
-
28)
- UML Proposal to the Object Management Group Version 1.1, Rational Corporation, Sept. 1997 (http://www.rational.com/uml/).
-
29)
- D. HAREL . Statecharts: a visual formalism for complex systems. Sci. Comput. Program , 231 - 274
-
30)
- M.S. Hecht . (1977) , Flow analysis of computer programs.
-
31)
- J. RUMBAUGH , M. BLAHA , W. PREMERLANI , F. EDDY , W. LORENSEN . (1991) , Object oriented modeling and design.
-
32)
- KUNG, D., SUCHAK, N., GAO, J., HSIA, P., TOYOSHIMA, Y., CHEN, C.: `On object state testing', Proceedings of Computer Software and Applications Conference, 1994, p. 222–227.
-
33)
- MCGREGOR, J.D., DYER, D.M.: `Selecting functional test cases for object-oriented software', Proceedings of the Pacific Northwest Software Quality Conference, 1993.
-
34)
- CHANG, J., RICHARDSON, D.J.: `Static and dynamic specification slicing', Proceedings of the Fourth Irvine Symposium on Software, 1994.
-
1)