Model-based Integration and System Test Automation for Software Systems

Authors

  • G. Lavanya  Department of Computer Science JNTU College of Engineering, Anantapurumau, Andhra Pradesh, India
  • S. Vasundra  Department of Computer Science JNTU College of Engineering, Anantapurumau, Andhra Pradesh, India

Keywords:

Functional Testing, Model-Based Testing, Security Testing, Software Assurance.

Abstract

The importance of software system is growing rapidly, traditional development system are not suitable to meet their requirements. New cost-efficient tools are needed for software packages. This paper introduces an automatic test generation technique, known as Model-based Integration and System Test Automation (MISTA). This integrated practical and security testing of various software package systems . MISTA generates test code that can be executed immediatetly. It uses a high-level Petri web to capture each control and data-related needs for practical testing, access management testing, or penetration testing with threat models. Once generating test cases from the test model, MISTA converts the test cases into workable test code by mapping model-level components into implementation-level. MISTA has enforced test generators for varied test coverage criteria of test models, code generators for various programming and scripting languages, and test execution environments like Java, C, C++, C#, HTML-Selenium IDE. The effectiveness is evaluated in terms of access-control fault detection rate using mutation analysis of access control implementation.

References

  1. M. Utting and B. Legeard, "Practical Model-Based Testing: A Tools Approach. San Francisco", CA, USA: Morgan Kaufmann, 2006.
  2. Michael Grottke, Dong Seong Kim, Rajesh Mansharamani, Manoj Nambiar, Roberto Natella, Kishor S. Trivedi, "Recovery From Software Failures Caused By Mandelbugs", IEEE 2015
  3. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. New York, NY, USA: Springer-Verlag, 1992, vol. 26.
  4. T. Murata, "Petri nets: Properties, investigation and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
  5. M. Grechanik, Q. Xie, and C. Fu, "Maintaining and Evolving GUI-directed Test Scripts," in Proceedings of the International Conference on Software Engineering (ICSE’09), 2009, pp. 408-418.
  6. Dianxiang Xu, Senior Member, IEEE, Michael Kent, Lijo Thomas,TejeddineMouelhi, and Yves Le Traon, Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets, Transactions on Computers, Vol. 64, NOo. 9, September 2015.
  7. K. H. Mortensen, Automatic code generation method based on coloured Petri net models applied on an access control system, in Application and Theory of PetrNets.NewYork,NY,USA: Springer-Verlag, 2000, pp. 367-386.
  8. Zhu and X. He, A methodology for testing high-level Petri nets, Inf. Softw. Technol., vol. 44, pp. 473-489, 2002.
  9. Pretschner, Y. L. Traon, and T. Mouelhi, Model-based tests for access control policies, in Proc. 1st Int. Conf. Software Testing Verification and Validation (ICST'08), Lillehamer, Norway, Apr. 2008.
  10. Briand, L.C, Di Penta, M., Labiche, Y. Assessing and improving state based class testing: A series of experiments, IEEE Trans. on Software Engineering, vol. 30, no. 11, pp. 770-793, Nov. 2004.
  11. Dr. S. Vasundra , K.Hussenvalli1,  Software System to Model Preferences of Multiple Users", International Journal of Advance Research in Computer and Communication Engineering,", Volume3, Issue 11, November 2014.

Downloads

Published

2017-08-31

Issue

Section

Research Articles

How to Cite

[1]
G. Lavanya, S. Vasundra, " Model-based Integration and System Test Automation for Software Systems, IInternational Journal of Scientific Research in Computer Science, Engineering and Information Technology(IJSRCSEIT), ISSN : 2456-3307, Volume 2, Issue 4, pp.360-364, July-August-2017.