Daistish: Systematic algebraic testing for OO programs in the presence of side-effects

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 53-61

  Hughes, Merlin ^a   Stotts, David ^a  

^a Brooks Computer Science Building   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; C++ (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

ALIASING; FUNCTIONAL APPROACH; FUNCTIONAL NOTATIONS; PERL SCRIPTS; SIDE EFFECT; TEST CASE; TEST DRIVERS; TEST POINTS;

SOFTWARE TESTING;

EID: 85015751162     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226301     Document Type: Conference Paper

References (12)

1. DOONG, R.-K., AND FRANKL, P. G. The ASTOOT approach to testing object-oriented on programs. ACM Transactions on Software Engineering and Methodology (April 1994), 101-130.
2. GANNON, J., MCMULLIN, P., AND HAMLET, R. Data-Abstraction implementation, specification, and testing. IEEE Transactions on Programming Languages and Systems 3, 3 (July 1981), 211-223.
3. GUTTAG, J. Notes on type abstraction (version 2). IEEE Transactions on Software Engineering TR-SE 6, 1 (Jan. 1980), 13-23.
4. GUTTAG, J. V., AND HORNING, J. J. The algebraic specification of abstract data types. Acta Informatica 10 (1978), 27-52.
5. GUTTAG, J. V., HORNING, J. J., AND WING, J. M. The Larch family of specification languages. IEEE Software 2, 5 (September 1985), 24-36.
6. GUTTAG, J. V., HOROWITZ, E., AND MUSSER, D. 1%. Abstract data types and software validation. Communications of the ACM 21 (Dec. 1978), 1048-1063.
7. HOFFMAN, D., AND SNODGRASS, R. Trace specifications: Methodology and models. IEEE Transactions on Software Engineering 14, 9 (Sept. 1988), 1243-1252.
8. MEYER, B. Eiffel: The Language. Prentice Hall, 1992.
9. PARNAS, D. L., AND WANG, V. The trace assertion method of module interface specification. Technical Report 89-261, Queen's University, Kingston, Ontario, Oct. 1989.
10. STOTTS, P. D., AND FUR~JTA, R. Petrinet-based hypertext: Document structure with browsing semantics. ACM Transactions on Information Systems 7, 1 (Jan. 1989), 3-29.
11. WING, J. M. Writing Larch interface language specifications. ACM Transactions on Programming Languages and Systems 9, 1 (Jan. 1987), 1-24.
12. WING, J. M. Using Larch to specify avalon/c++ objects. IEEE Transactions on Software Engineering 16, 9 (September 1990), 1076-1088.