Object-oriented development is a mechanism in which objects provide services to other objects by various means like inheritance, polymorphism, etc. Faults, in object-oriented software, may occur at two levels i.e. object level and interaction level (when one object provides/receives some services from others). A formal representation, of an object-oriented system, may be helpful to understand the behavior of software faults. Faults identification, at earlier stages, may help during the development and testing stages. In this paper, an attempt has been made to model several faults, in an object-oriented system, with the help of Colored Petri Nets. First, a formal representation of object-oriented properties is depicted by Colored Petri Nets. Secondly, various possible faults are modeled using different programming scenarios. The main emphasis was on faults that may arise due to objects and their interactions i.e. inheritance and polymorphism state. Such information may be useful during the testing and maintenance phases of software development.

Object, Faults, Colored Petri Nets, Inheritance, Polymorphism

[1] S. Malve, P. Sharma Investigation of Manual and Automation Testing using Assorted Approaches, International Journal of Scientific Research in Computer Science and Engineering,Vol. 5, Issue. 2, pp.81-87, 2017.
[2] S. Jat, P. Sharma Analysis of Different Software Testing Techniques, International Journal of Scientific Research in Computer Science and Engineering,Vol. 5, Issue. 2, pp.77-80, 2017.
[3] A. Marcus, D. Poshyvanyk, R. Ferenc. Using the Conceptual Cohesion of Classes for Fault Prediction in Object-Oriented Systems. IEEE Transactions on Software Engineering, Vol: 34 , Issue. 2, pp. 287-300, 2008.
[4] G. Antoniol, R. Fiutem, & L. Cristoforetti, Using Metrics to Identify Design Patterns in Object-Oriented Software. IEEE METRICS, 1998
[5] V.R. Basili, L.C. Briand, & W.L. Melo, A Validation of Object-Oriented Design Metrics as Quality Indicators. IEEE Trans. Software Eng., Vol. 22, Issue. 10, pp. 751-761, 1996.
[6] E. Arisholm, L.C. Briand, & A.Føyen, Dynamic coupling measurement for object-oriented software. IEEE Transactions on Software Engineering, Vol. 30, Issue. 8, pp. 491-506, 2004.
[7] L.C. Briand, J. Wüst, & H. Lounis. Using Coupling Measurement for Impact Analysis in Object-Oriented Systems. ICSM, 1999.
[8] C. Lakos,. Object Oriented modelling with Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets, Springer,Vol. 2001, pp. 1-37, 2001
[9] L.C. Wang, Object-oriented Petri nets for modelling and analysis of automated manufacturing systems, ISSN. Vol. 9, Issue. 2, pp. 111-125, 1996
[10] T. Murata,. Petri Nets : Properties , Analysis and Appl ka t ions., IEEE, vol. 77, Issue. 4pp. 541-580 2004
[11] K. Jensen, & L.M. Kristensen,. Colored Petri nets: a graphical language for formal modelling and validation of concurrent systems. Commun. ACM, Vol. 58, Issue. 6, pp. 61-70, 2015.
[12] J.R. Silva, & P.M. Foyo, Timed Petri Nets. ABCM Vol.3, pp. 471-478, 2012
[13] F. Bause, & P.S. Kritzinger,. Stochastic Petri nets - an introduction to the theory (2. ed.). Advanced studies of computer science. 1996
[14] D. Wodtke, & G. Weikum,. A Formal Foundation for Distributed Workflow Execution Based on State Charts. ICDT, Vol. 1186, pp.230-246, 1996
[15] R. Alur, & M. Yannakakis,. Model Checking of Hierarchical State Machines. ACM Trans. Program. Lang. Syst., Vol. 23, Issue. 3, pp. 273-303, 2001
[16] A.S. Dange, A. Marcus, & D. Poshyvanykquot,. Survey of Fault Prediction Methods in Object Oriented Systems, IEEE, Vol. 38, Issue. 99, pp. 1-1, 2011
[17] A.J. Offutt, R.T. Alexander, Y. Wu, Q. Xiao, & C. Hutchinson,. A Fault Model for Subtype Inheritance and Polymorphism. ISSRE, pp. 27-30, 2001
[18] L.E. Buzato, C.M. Rubira, & M.L. Lisbôa,. A Reflective Object-Oriented Architecture for Developing Fault-Tolerant Software. J. Braz. Comp. Soc., Vol. 4, 1997
[19] K.K. Aggarwal, Y. Singh, A. Kaur, & R Malhotra,.. Investigating effect of Design Metrics on Fault Proneness in Object-Oriented Systems. Journal of Object Technology, Vol. 6, pp. 127-141. 2007
[20] S. Jain, H. Gulati, V. Bajpai, S. Goel, D. Singh, S. Baranwal, "Classes and Objects in Java," A Computer Science portal for geeks.. [webpage]. https://www.geeksforgeeks.org/classes-objects-java/. [April 20, 2018].
[21] M. Sheridan, "Java Fundamentals," Java - Oracle, Mike Sheridan at Sun Microsystems in 1991. [pdf]. http://www.oracle.com/events/global/en/java-outreach/resources/java-a-beginners-guide-1720064.pdf. [April 15, 2018].
[22] S. Jaiswal, "Inheritance in Java," Free Online Tutorials, Javatpoint provides tutorials and interview questions of all technology. [webpage]. https://www.javatpoint.com/inheritance-in-java. [April 16, 2018].
[23] BeginnersBook.com, "Multilevel inheritance in java with an example," BeginnersBook is a tutorials site for beginners that covers topics like Java, Collections, AWT, JSP, Servlet, JSTL, C, C++, DBMS, Perl, WordPress, SEO.. [webpage]. https://beginnersbook.com/2013/12/multilevel-inheritance-in-java-with-example/. [April 16, 2018].
[24] S. Jaiswal, "Polymorphism in Java," Free Online Tutorials, Javatpoint provides tutorials and interview questions of all technology. [webpage]. https://www.javatpoint.com/runtime-Polymorphism-in-java. [April 24, 2018].
[25] Wikipedia, “Trap (computing)” para. 1, 15, March 2018 [Online]. Available: https://en.wikipedia.org/wiki/Trap_(computing). [Accessed 4, April 2018].
[26] C. Inacio, "Software Fault Tolerance," Engineering Research Accelerator, Carnegie Mellon University Dependable Embedded Systems, Spring 1998. [webpage].
Available: https://users.ece.cmu.edu/~koopman/des_s99/sw_fault_tolerance/. [04,April 2018].
[27] BeginnersBook.com, "Polymorphism in java with an example," BeginnersBook is a tutorials site for beginners that covers topics like Java, Collections, AWT, JSP, Servlet, JSTL, C, C++, DBMS, Perl, WordPress, SEO.. [webpage]. https://beginnersbook.com/2013/03/Polymorphism-in-java/.[April 27, 2018].
[28] D. Calvanese, "Conditional Statements," Diego Calvanese.Unibz online study lectures [pdf]. https://www.inf.unibz.it/~calvanese/teaching/04-05-ip/lecture-notes/uni05.pdf. [May 8, 2018].
[29] S. Jain, H. Gulati, V. Bajpai, S. Goel, D. Singh, S. Baranwal, "Loops in Java," A Computer Science portal for geeks.. [webpage]. https://www.geeksforgeeks.org/loops-in-java/. [April 20, 2018].