Testing object-oriented industrial software without precise oracles or results

Communications of the ACM

Volumn 50, Issue 8, 2007, Pages 78-85

  Tse, T H ^a   Lau, Francis C M ^a   Chan, W K ^a   Liu, Peter C K ^b   Luk, Colin K F ^c  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

^b ASM Assembly Automation Ltd   (Hong Kong)

^c ASM Technology Singapore Pte Ltd   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC HARDWARE DESIGN; OBJECT-ORIENTED SOFTWARE; TEST OBJECTIVES;

COMPUTER AIDED DESIGN; COMPUTER HARDWARE; INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

SOFTWARE TESTING;

EID: 34547469565     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1278201.1278210     Document Type: Review

References (11)

1. Andrews, J.H. and Zhang, Y. General test result checking with log file analysis. IEEE Transactions on Software Engineering 29, 7 (July 2003), 634-648.
2. Beizer, B. Software Testing Techniques. Van Nostrand Reinhold, New York, 1990.
3. Brand, D. and Zafiropulo, P. On communicating finite-state machines. Journal of the ACM30, 2 (Apr. 1983), 323-342.
4. Chen, H.Y., Tse, T.H., and Chen, T.Y. TACCLE: A methodology for object-oriented software testing at the class and cluster levels. ACM Transactions on Software Engineering and Methodology 10, 1 (Jan. 2001), 56-109.
5. Fetzer, C., Felber, P., and Hogstedt, K. Automatic detection and masking of nonatomic exception handling. IEEE Transactions on Software Engineering 30, 8 (Aug. 2004), 547-560.
6. Goguen, J.A. and Malcolm, G., Eds. Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Academic Publishers, Boston, 2000.
7. Millier, R. Communication and Concurrency. Prentice Hall International. Series in Computer Science. Prentice Hall, Hemel Hempstead, Hertfordshire, U.K., 1989.
8. National Institute of Standards and Technology. The Economic Impacts of Inadequate Infrastructure fir Software Testing. Final Report. Gaithersburg, MD, 2002; www.nist.gov/director/progofc/report02-3.pdf.
9. Peters, D.K. and Parnas, D.L. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering 24, 3 (Mar. 1998), 161-173.
10. van Gabbeck, RJ. and Weijland, W.P. Branching time and abstraction in bisimulation semantics. Journal of the ACM 43, 3 (May 1996), 555-600.
11. Weyuker, E.J. On testing non-testable programs. The Computer Journal 25, 4 (Nov. 1982), 465-470.