Testing object-oriented industrial software without precise oracles or results

ABSTRACT

TACCLE tests an automated assembly system in which the expected outcomes cannot be precisely defined and the actual results cannot be directly observed.

REFERENCES

• 1: James H. Andrews , Yingjun Zhang, General Test Result Checking with Log File Analysis, IEEE Transactions on Software Engineering, v.29 n.7, p.634-648, July 2003 [doi>10.1109/TSE.2003.1214327]
• 2: Boris Beizer, Software testing techniques (2nd ed.), Van Nostrand Reinhold Co., New York, NY, 1990
• 3: Daniel Brand , Pitro Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM (JACM), v.30 n.2, p.323-342, April 1983 [doi>10.1145/322374.322380]
• 4: Huo Yan Chen , T. H. Tse , T. Y. Chen, TACCLE: a methodology for object-oriented software testing at the class and cluster levels, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.1, p.56-109, Jan. 2001 [doi>10.1145/366378.366380]
• 5: Christof Fetzer , Pascal Felber , Karin Hogstedt, Automatic Detection and Masking of Nonatomic Exception Handling, IEEE Transactions on Software Engineering, v.30 n.8, p.547-560, August 2004 [doi>10.1109/TSE.2004.35]
• 6: Goguen, J.A. and Malcolm, G., Eds. Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Academic Publishers, Boston, 2000.
• 7: R. Milner, Communication and Concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 8: National Institute of Standards and Technology. The Economic Impacts of Inadequate Infrastructure for Software Testing. Final Report. Gaithersburg, MD, 2002; www.nist.gov/director/progofc/report02-3.pdf.
• 9: Dennis K. Peters , David Lorge Parnas, Using Test Oracles Generated from Program Documentation, IEEE Transactions on Software Engineering, v.24 n.3, p.161-173, March 1998 [doi>10.1109/32.667877]
• 10: Rob J. van Glabbeek , W. Peter Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM (JACM), v.43 n.3, p.555-600, May 1996 [doi>10.1145/233551.233556]
• 11: Weyuker, E.J. On testing non-testable programs. The Computer Journal 25, 4 (Nov. 1982), 465--470.
• 12: Lionel C. Briand , Massimiliano Di Penta , Yvan Labiche, Assessing and Improving State-Based Class Testing: A Series of Experiments, IEEE Transactions on Software Engineering, v.30 n.11, p.770-793, November 2004 [doi>10.1109/TSE.2004.79]
• 13: Huo Yan Chen , T. H. Tse , F. T. Chan , T. Y. Chen, In black and white: an integrated approach to class-level testing of object-oriented programs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.7 n.3, p.250-295, July 1998 [doi>10.1145/287000.287004]
• 14: Roong-Ko Doong , Phyllis G. Frankl, The ASTOOT approach to testing object-oriented programs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.2, p.101-130, April 1994 [doi>10.1145/192218.192221]
• 15: Mauro Pezz , Michal Young, Testing Object Oriented Software, Proceedings of the 26th International Conference on Software Engineering, p.739-740, May 23-28, 2004

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

Additional Classification:
  D. Software
  D.0 GENERAL
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques
      D.2.4 Software/Program Verification