Structural specification-based testing: Automated support and experimental evaluation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1687 LNCS, Issue , 1999, Pages 285-302

  Chang, Juei ^a   Richardson, Debra J ^b  

^a SUN MICROSYSTEMS   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; TESTING;

AUTOMATED SUPPORT; AUTOMATED TESTING TOOLS; COMPONENT UNDER TESTS; DESIGN AND IMPLEMENTATIONS; EXPERIMENTAL EVALUATION; SPECIFICATION BASED TESTING; TEST COVERAGE MEASUREMENT; TESTING TECHNIQUE;

SOFTWARE TESTING;

EID: 84887493566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48166-4_18     Document Type: Conference Paper

References (33)

1. A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Mutation analysis. Technical Report TR GIT-ICS-79/08, Georgia Institute of Technology, September 1979.
2. Bender and Associates. http://www.softtest.com.
3. T. A. Budd, R. J. Lipton, R. A. DeMillo, and F.G. Sayward. Mutation analysis. Department Comput. Sci. Res. Rep. 155, Yale University, New Haven, Connecticut, April 1979.
4. J. Chang. Automating specification-based test coverage measurement and test selection. PhD thesis, University of California, Irvine, March 1999.
5. J. Chang, D. J. Richardson. ADLscope: an automated specification-based unit testing tool. ICS Technical Report 98-26, Department of Information and Computer Science, University of California, Irvine, California, 1998.
6. J. Chang, D. J. Richardson, and S. Sankar. Structural specification-based testing with ADL. In Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA'96), pp. 62-70, San Diego, California, January 1996.
7. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: help for the practicing programmer. Computer, 4(11), April 1978.
8. R. K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, April 1994, pp. 101-130.
9. K. A. Foster. Error sensitive test case analysis (ESTCA). IEEE Transactions on Software Engineering, 6(3):258-264, May 1980.
10. K. A. Foster. Sensitive test data for logic expressions. ACM SIGSOFT Software Engineering Notes, vol. 9, no. 2, pp. 120-126, April 1984.
11. J. B. Goodenough and S. L. Gerhart. Toward a theory of test data selection. IEEE Transactions on Software Engineering, SE-1(2):156-173, June 1975.
12. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification, Addison Wesley, 1996.
13. R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering, SE-3(4):279-290, July 1977.
14. W. E. Howden. Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering, SE-8(4):371-379, July 1982.
15. M. Hughes and D. Stotts. Daistish: systematic algebraic testing for OO programs in the presence of side-effects. In Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), pp.53-61, San Diego, California, January 1996.
16. P. Jalote. Specification and testing of abstract data types. Comput. Lang. Vol. 17, pp. 75- 82, 1992.
17. David C. Luckham and Friedrich W. von Henke. An overview of ANNA, a specification language for Ada. IEEE Software, 2(2):9-22, March 1985.
18. Brian Marick. Generic Coverage Tool (GCT) User's Guide, Testing Foundations, Champaign, Illinois, 1992.
19. G. J. Myers. The art of software testing. New York: John Wiley and Sons, 1979.
20. A. Jefferson Offutt. The coupling effect: fact or fiction. In Proceedings of the Third Workshop on Software Testing, Verification, and Analysis, December 1989.
21. T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):676-686, June 1988.
22. Robert M. Poston. Automating Specification-based Software Testing, IEEE, 1996.
23. D. J. Richardson, S. L. Aha, and T. O. O'Malley. Specification-based test oracles for reactive systems. In Proceedings of the Fourteenth International Conference on Software Engineering, pages 105-118, Melbourne, Australia, May 1992.
24. D. J. Richardson and L. A. Clarke. Partition analysis: a method combining testing and verification. IEEE Transactions on Software Engineering, SE-11(12):1477-1490, December 1985.
25. S. Sankar and R. Hayes. Specifying and testing software components using ADL. Technical Report SMLI TR-94-23, Sun Microsystems Laboratories, Inc., Mountain View, California, April 1994.
26. J. M. Spivey. The Z Notation: a Reference Manual. Prentice Hall, New York, 1989.
27. P. Stocks and D. Carrington. Test template framework: a specification-based testing case study. In Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA'93), pp. 11-18, Cambridge, Massachusetts, June 1993.
28. Sun Microsystems Inc., ADL Language Reference Manual, Release 1.1, Mountain View, California, December 1996.
29. Sun Microsystems Inc. ADLT FTP Download Site. ftp://ftp.uu.net/vendor/ adl.
30. K. C. Tai. Condition-based software testing strategies. In Proceedings of the 14th Annual International Computer Software and Applications Conference, 1990.
31. E. Weyuker, T. Goradia, and A. Singh. Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering, SE-20(5):353-363, May 1994.
32. E. J. Weyuker and T. J. Ostrand. Theories of program testing and the application of revealing subdomains. IEEE Transactions on Software Engineering, SE-6(3):236-246, May 1980.
33. C. J. Van Wyk. Data structures and C programs. Addison-Wesley, 1988.