Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Test cases generation from UML state diagrams

Test cases generation from UML state diagrams

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

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.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IEE Proceedings - Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.

References

    1. 1)
      • TURNER, C.D., ROBSON, D.J.: `The state-based testing and inheritance', Technical Report No. 1/93, 1993.
    2. 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. 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. 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. 5)
      • G. Booch . (1991) , Object oriented design with applications.
    6. 6)
      • B. Beizer . (1990) , Software testing techniques.
    7. 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. 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. 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. 10)
      • J. GANNON , P. MCMULLIN , R. HAMLET . Data-abstraction implementation, specification, and testing. ACM Trans. Program. Lang. Syst , 3 , 211 - 223
    11. 11)
      • P.C. JORGENSEN , C. ERICKSON . Object-oriented integration testing. Commun. ACM , 9 , 30 - 38
    12. 12)
      • L. BOUGE , N. CHOQUET , L. FRIBOUR , M.C. GAUDEL . (1986) Test sets generation from algebraic specifications using logic programs, J. Syst. Softw..
    13. 13)
      • S.C. NTAFOS . A comparison of some structural testing strategies. IEEE Trans. Softw. Eng , 6 , 868 - 874
    14. 14)
      • T. CHOW . Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng , 3 , 178 - 187
    15. 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. 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. 17)
      • J.D. MCGREGOR , D.M. DYER . A note on inheritance and state machines. ACM SIGSOFT Softw. Eng. Notes , 4 , 61 - 69
    18. 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. 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. 20)
      • R.M. POSTON . Automated testing from object models. Commun. ACM , 9 , 48 - 58
    21. 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. 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. 23)
      • D. HOFFMAN , P. STROOPER . ClassBench: a framework for automated class testing. Softw. –Pract. Exp , 5 , 573 - 597
    24. 24)
      • G.C. MURPHY , P. TOWNSEND , P.S. WONG . Experiences with cluster and class testing. Commun. ACM , 9 , 39 - 47
    25. 25)
      • J.D. MCGREGOR , T.D. KORSON . Integrating object-oriented testing and development processes. Commun. ACM , 9 , 59 - 77
    26. 26)
      • B. Bruegge , A. Dutoit . (2003) Object-oriented software engineering.
    27. 27)
      • P.G. FRANKL , E.J. WEYUKER . An applicable family of data flow testing criteria. IEEE Trans. Softw. Eng , 10 , 1483 - 1498
    28. 28)
      • UML Proposal to the Object Management Group Version 1.1, Rational Corporation, Sept. 1997 (http://www.rational.com/uml/).
    29. 29)
      • D. HAREL . Statecharts: a visual formalism for complex systems. Sci. Comput. Program , 231 - 274
    30. 30)
      • M.S. Hecht . (1977) , Flow analysis of computer programs.
    31. 31)
      • J. RUMBAUGH , M. BLAHA , W. PREMERLANI , F. EDDY , W. LORENSEN . (1991) , Object oriented modeling and design.
    32. 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. 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. 34)
      • CHANG, J., RICHARDSON, D.J.: `Static and dynamic specification slicing', Proceedings of the Fourth Irvine Symposium on Software, 1994.
http://iet.metastore.ingenta.com/content/journals/10.1049/ip-sen_19990602
Loading

Related content

content/journals/10.1049/ip-sen_19990602
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address