A novel hybrid object-oriented class testing method

A hybrid testing method, discussed in this research, combines state-based testing with data flow analysis to test classes at the intra-class level. Employing state-based testing, the method can generate all possible test message sequences. Using data flow analysis, the method can also detect whether data anomalies exist in those generated sequences, and then compute data flow test cases, which can be applied to the classes under test. The hybrid testing method is appraised through three case studies selected from research articles. The author's research suggests that the success of the hybrid methodology is best demonstrated by testing object-oriented classes. Besides, the methodology can be applied as a standard object-oriented class testing approach.

[1]  Adolfo Steiger-Garção,et al.  Integration and adoptability of APs: the role of ISO TC184/SC4 standards , 2003, Int. J. Comput. Appl. Technol..

[2]  Fun Ting Chan,et al.  AIDA–A dynamic data flow anomaly detection system for pascal programs , 1987, Softw. Pract. Exp..

[3]  David Chenho Kung,et al.  Object state testing and fault analysis for reliable software systems , 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

[4]  Panos E. Livadas,et al.  Data flow anomaly detection of recursive procedures , 1994 .

[5]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[6]  Bor-Yuan Tsai.  A hybrid object-oriented class testing method : based on state-based and data-flow testing , 2000 .

[7]  Yong Rae Kwon,et al.  Testing of object-oriented programs based on finite state machines , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[8]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[9]  Simon Stobart,et al.  Employing data flow testing on object-oriented classes , 2001, IEE Proc. Softw..

[10]  Gregg Rothermel,et al.  Performing data flow testing on classes , 1994, SIGSOFT '94.

[11]  Kuo-Sui Lin,et al.  A software quality strategy for the development of automatic control systems , 1999, International Journal of Computer Applications in Technology.

[12]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .

[13]  Ian M. Mitchell,et al.  An automatic test case generator derived from state-based testing , 1998, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240).

[14]  ANDREAS SPILLNER,et al.  Control flow and data flow oriented integration testing methods , 1992, Softw. Test. Verification Reliab..

[15]  Christopher David Turner.  State-based testing : a new method for testing object-oriented programs , 1994 .

[16]  Ian M. Mitchell,et al.  Automated class testing using threaded multi-way trees to represent the behaviour of state machines , 1999, Ann. Softw. Eng..

[17]  Robert V. Binder,et al.  Testing object‐oriented software: a survey , 1996 .

[18]  Zahir Irani,et al.  A case study strategy as part of an information systems research methodology: a critique , 1999 .

[19]  David Cordes,et al.  Automated flow graph-based testing of object-oriented software modules , 1993, J. Syst. Softw..

[20]  Thomas R. Gross,et al.  Structured dataflow analysis for arrays and its use in an optimizing compiler , 1990, Softw. Pract. Exp..

[21]  Elaine J. Weyuker,et al.  An Applicable Family of Data Flow Testing Criteria , 1988, IEEE Trans. Software Eng..

[22]  Zahir Irani,et al.  Empirical testing of an information systems evaluation framework , 2002, Int. J. Inf. Technol. Manag..

[23]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[24]  Leon J. Osterweil,et al.  Data Flow Analysis in Software Reliability , 1976, CSUR.

[25]  Chung-Ming Huang,et al.  Executable EFSM—based data flow and control flow protocol test sequence generation using reachability analysis , 1999 .

[26]  Vinod K. Agarwal,et al.  Data Flow Anomaly Detection , 1984, IEEE Transactions on Software Engineering.

[27]  Simon Stobart,et al.  A State-Based Testing Approach Providing Data Flow Coverage in Object-Oriented Class Testing , 1999 .