Search WWW Search
»Journal Description
»Call for Papers and Reviewers
»Author Guidelines
»Contents & Papers
»Call for Special Issues

Test Case Generation for Real-Time System Software Using Specification Diagram


Mani Padmanabhan1*,Prasanna Mani1


1School of Information Technology and Engineering, Vellore Institute of Technology, Vellore, Tamil Nadu, India


Software testing of the real-time system (RTS) software based on specification diagram has a necessary sequence of parallel events for generation of test cases. In the model-based test case generation for RTS both automated and manual is limited in techniques as some situations inadvertently forget the simulation events. Many meta-heuristic techniques have solved the problem in RTS test cases generation. However, the technique seems to have much more focus on the optimum solution. This paper presents a methodology based on timed input-output event of specification diagram that supports a wide range of possible test cases for RTS application software. The proposed method applies for automated test case generation tool aims at validating the executable code and covers the systems behaviours in an optimized manner. The methodology is tested with three different RTS software such as client-server based real-time transaction, embedded based real-time sequence and sensor based real –time events. This proposed approach, based on the executable test cases, dynamically increases the productivity of the real-time systems.


Software engineering, Software testing, Real-time systems, Software quality, Test case generation.

Full Text:

  1. W. L. Andrade and P. D. L. Machado, “Generating Test Cases for Real-Time Systems Based on Symbolic Models”, IEEE Transactions on Software Engineering, Vol. 39, No. 9, pp. 1216–1229, 2013.
  2. M. S. AbouTrab, M. Brockway, S. Counsell, and R. M. Hierons, “Testing Real-Time Embedded Systems using Timed Automata based approaches”, Journal of Systems and Software, Vol. 86, No. 5, pp. 1209–1223, 2013.
  3. Y.C. Wu and C.F. Fan, “Automatic test case generation for structural testing of function block diagrams”, Information and Software Technology, Vol. 56, No. 10, pp. 1360–1376, 2014.
  4. P. Mani and M. Prasanna, “A study on functional specification based test case generation for real-time systems”, International Journal of Engineering and Technology, Vol. 8, No. 4, pp. 1801–1806, 2016.
  5. S. K. Swain, D. P. Mohapatra, and R. Mall, “Test Case Generation Based on State and Activity Models”, Journal of Object Technology Vol.9, No.5 pp.1-27, 2010.
  6. M. Chen, P. Mishra, and D. Kalita, “Efficient test case generation for validation of UML activity diagrams”, Design Automation for Embedded Systems, Vol. 14, No. 2, pp. 105–130, 2010.
  7. P. Samuel, R. Mall, and P. Kanth, “Automatic test case generation from UML communication diagrams”, Information and Software Technology, Vol. 49, No. 2, pp. 158–171, 2007.
  8. E. Jee, D. Shin, S. Cha, J.-S. Lee, and D.-H. Bae, “Automated test case generation for FBD programs implementing reactor protection system software: Automated Test Case Generation For FBD Programs”, Software Testing, Verification and Reliability, Vol. 24, No. 8, pp. 608–628, 2014.
  9. S. Fujiwara, K. Munakata, Y. Maeda, A. Katayama, and T. Uehara, “Test data generation for web application using a UML class diagram with OCL constraints”, Innovations in Systems and Software Engineering, Vol. 7, No. 4, pp. 275–282, 2011.
  10. E. P. Enoiu, D. Sundmark, and P. Pettersson, “Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker”, In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp.158–167, 2013.
  11. P. Mani and M. Prasanna, “Automatic test case generation for programmable logic controller using function block diagram”, In IEEE International Conference on Information Communication and Embedded Systems (ICICES), pp. 1–4, 2016.
  12. The blog for event trace, available from November 2016:
  13. R. F. Gilberg and B. A. Forouzan,“Data Structures: A Pseudocode Approach with C”, 2nd ed., TATA McGraw Hill Edition, India, 2005.
  14. J. Ghinwal , “UML by Example”, First ed., Cambridge universtiy press, UK , 2004.
  15. A. Nayak and D. Samanta, “Automatic Test Data Synthesis using UML Sequence Diagrams”, Journal of Object Technology, Vol. 9, No.2, pp.115-144, 2010.
  16. H. Wang, J. Xing, Q. Yang, W. Song, and X. Zhang, “Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications: Effective Test Cases For Service-Oriented Workflow Applications”, Software Testing, Verification and Reliability, Vol. 26, No. 2, pp. 149–169, 2016.

INASS Home | Copyright@2008 The Intelligent Networks and Systems Society