• Akreen m saleh Department of Software and Informatics, College of Engineering, Salahaddin University-Erbil, Kurdistan Region, Iraq
  • Moayad Y. Potrus Department of Software and Informatics, College of Engineering, Salahaddin University-Erbil, Kurdistan Region, Iraq
Keywords: MBT, Graph theory, Software testing, full-model automation, Sub-model extraction


One of the major parts of the software testing is event-driven software (EDS), all actions of the software come from events. Interaction of the user to the graphic user interface (GUI) of the web and desktop applications will generate events, or for the embedded systems events and signals received from equipment, these are examples of Event-Driven Software. using EDS for software testing gives to the software tester a great result to test software because it generates a large number of events that could be cover most of the EDS's area. In this paper, an automated full-model and sub-model generation have been introduced during the system under testing, it produces test cases of websites to overcome faults and long time-consuming. The stage of the testing procedure includes generating full-model of the websites then extracting sub-model from the full-model in the next stages, test cases generated with path coverage. The proposed testing procedure has been analyzed with the four case studies consisting of Fault Detection and Fault Detection Effectiveness. Has been testing with a manual testing method and it proved its efficiency regarding test generation and time. Further, the sub-model test generation provides more accurate test case suite generation than full-model testing.


AHMED, B. S. & BURES, M. 2019. EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. IEEE Transactions on Consumer Electronics, 65, 160-169.
BELLI, F., BUDNIK, C. J. & WHITE, L. 2006. Event-based modelling, analysis and testing of user interactions: approach and case study. Software Testing, Verification and Reliability, 16, 3-32.
DALAL, S. R., JAIN, A., KARUNANITHI, N., LEATON, J. M., LOTT, C. M., PATTON, G. C. & HOROWITZ, B. M. Model-based testing in practice. ACM, 285-294.
DE CLEVA FARTO, G. & ENDO, A. T. 2015. Evaluating the model-based testing approach in the context of mobile applications. Electronic Notes in Theoretical Computer Science, 314, 3-21.
DEMILLO, R. A., LIPTON, R. J. & SAYWARD, F. G. 1978. Hints on Test Data Selection: Help for the Practicing Programmer. Computer, 11, 34-41.
EL-FAR, I. K. & WHITTAKER, J. A. 2002. Model-Based Software Testing. Hoboken, NJ, USA: John Wiley & Sons, Inc.
HERBOLD, S., GRABOWSKI, J. & WAACK, S. A Model for Usage-Based Testing of Event-Driven Software. 2011/06//. IEEE, 172-178.
HERBOLD, S. & HARMS, P. AutoQUEST -- Automated Quality Engineering of Event-Driven Software. 2013/03//. IEEE, 134-139.
HERBOLD, S. & STEFFEN. 2012. Usage-based Testing of Event-driven Software.
HIERONS, R. M., KRAUSE, P., LÜTTGEN, G., SIMONS, A. J. H., VILKOMIR, S., WOODWARD, M. R., ZEDAN, H., BOGDANOV, K., BOWEN, J. P., CLEAVELAND, R., DERRICK, J., DICK, J., GHEORGHE, M., HARMAN, M. & KAPOOR, K. 2009. Using formal specifications to support testing. ACM Computing Surveys, 41, 1-76.
LEE, D. & YANNAKAKIS, M. 1996. Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE, 84, 1090-1123.
LI, P., HUYNH, T., REFORMAT, M. & MILLER, J. 2007. A practical approach to testing GUI systems. Empirical Software Engineering, 12, 331-357.
MA, Y. S., KWON, Y. R. & OFFUTT, J. 2002. Inter-class mutation operators for Java. Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 2002-Janua, 352-363.
MEMON, A. M. 2007. An event-flow model of GUI-based applications for testing. Software Testing, Verification and Reliability, 17, 137-157.
MYERS, G. J., SANDLER, C. & BADGETT, T. 2012. The art of software testing, John Wiley & Sons.
PARGAS, R. P., PARGAS, R. P., HARROLD, M. J. & PECK, R. R. 1999. Test-Data Generation Using Genetic Algorithms. SOFTWARE TESTING, VERIFICATION AND RELIABILITY, 9, 263--282.
TONELLA, P. & RICCA, F. 2004. Statistical testing of Web applications. Journal of Software Maintenance and Evolution: Research and Practice, 16, 103-127.
TRETMANS, J. 1996. Conformance testing with labelled transition systems: Implementation relations and test generation. 29, 49-79.
UTTING, M. & LEGEARD, B. 2007. Practical Model-Based Testing.
UTTING, M., PRETSCHNER, A. & LEGEARD, B. 2012. A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability, 22, 297-312.
VOAS, J. M. & M, J. 1992. PIE: a dynamic failure-based technique. IEEE Transactions on Software Engineering, 18, 717-727.
YUAN, X., COHEN, M. B. & MEMON, A. M. 2011. GUI Interaction Testing: Incorporating Event Context. IEEE Transactions on Software Engineering, 37, 559-574.
POTRUS, M. Y. 2016. Maintenance Scheduling Optimization for Electrical Grid Using Binary Gray Wolf Optimization Technique. ZANCO Journal of Pure and Applied Sciences.
KANAR SHUKR MOHAMMED, M. Y. P. B. F. A. D. 2018. Effect of Hybrid Teaching Methodology and Student Group Policy on Object Oriented Problem Solving. ZANCO JOURNAL OF PURE AND APPLIED SCIENCES, 30.
How to Cite
saleh, A. and Y. Potrus, M. (2020) “GENERATING MODELS OF SOFTWARE SYSTEMS DURING EXPLORATORY”, Zanco Journal of Pure and Applied Sciences, 32(4), pp. 12-21. doi: 10.21271/ZJPAS.32.4.2.
Mathematics ,Physics and Engineering Researches