API documentation with executable examples

Journal of Systems and Software

Volumn 66, Issue 2, 2003, Pages 143-156

  Hoffman, Daniel ^a   Strooper, Paul ^b  

^a UNIVERSITY OF VICTORIA   (Canada)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INTERFACES (COMPUTER); PROBLEM SOLVING; PROGRAM DOCUMENTATION;

APPLICATION PROGRAM INTERFACES (API);

SOFTWARE ENGINEERING;

EID: 0037799829     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(02)00055-9     Document Type: Article

References (41)

1. Beck K. Embracing change with extreme programming. Computer. (October):1999;70-77.
2. Beck K. Extreme Programming Explained. 1999;Addison-Wesley.
3. Chang K., Liao S.-S., Seidman S., Chapman R. Testing object-oriented programs: from formal specification to test scenario generation. The Journal of Systems and Software. 42(2):1998;141-151.
4. Chen C.-Y., Chang K., Chapman R. Test scenario and test case generation based on Object-Z formal specification. Proceedings of SEKE'99. 1999;207-211.
5. Daley N., Hoffman D., Strooper P. A framework for table driven testing of Java classes. Software - Practice and Experience. 32(5):2000;465-493.
6. Deveaux D., Prison P., Jézéquel J.-M. Increase software trustability with self-testable classes in Java. Proceedings 2001 Australian Software Engineering Conference. 2001;3-11 IEEE Computer Society.
7. Engelmann S., Carnine D. Theory of Instruction: Principles and Applications. second ed. 1991;ADI Press, Eugene, Oregon.
8. Finney K. Mathematical notation in formal specification: too difficult for the masses? IEEE Transactions on Software Engineering. 22(2):1996;158-159.
9. Finney K., Rennolls K., Fedorec A. Measuring the comprehensibility of Z specifications. The Journal of Systems and Software. 42(1):1998;3-15.
10. Fowler M. Refactoring - Improving the Design of Existing Code, Chapter 4: Building Tests. 1999;Addison-Wesley.
11. Gosling J., Joy B., Steele G. The Java Language Specification. 1996;Addison-Wesley.
12. Hall J. Seven myths of formal methods. IEEE Software. 7(9):1990;11-19.
13. Harvey C., Strooper P. Testing Java monitors through deterministic execution. Proceedings 2001 Australian Software Engineering Conference. 2001;61-67 IEEE Computer Society.
14. Hoffman D. A CASE study in module testing. Proceedings of the Conference on Software Maintenance. 1989;100-105 IEEE Computer Society.
15. Hoffman D., Strooper P. ClassBench: a methodology and framework for automated class testing. Software: Practice and Experience. 27(5):1997;573-597.
16. Hoffman D., Strooper P. Tools and techniques for Java API testing. Proceedings 2000 Australian Software Engineering Conference. 2000;235-245 IEEE Computer Society.
17. Hoffman D., Nair J., Strooper P. Testing generic ada packages with APE. Proceedings ACM SIGAda Annual International Conference (SIGAda'98). 1998;255-262 ACM Press.
18. Hsia P., Gao J., Samuel J., Kung D., Toyoshima Y., Chen C. Behavior-based acceptance testing of software systems: a formal scenario approach. Proceedings of COMPSAC'94. 1994;293-298 IEEE Computer Society Press.
19. Hsia P., Gao J., Samuel J., Kung D., Toyoshima Y., Chen C. A formal approach to scenario analysis. IEEE Software. 11(2):1994;33-41.
20. Hsia P., Kung D., Sell C. Software requirements and acceptance testing. Annals of Software Engineering. 3:1997;291-317.
21. Jacobsen I. Object-Oriented Software Engineering. 1992;Addison-Wesley, New York.
22. Jeffries R. Extreme testing. Software Testing and Quality Engineering. (March/April):1999;23-26.
23. Jézéquel J.-M., Meyer B. Design by contract: the lessons of Ariane. IEEE Computer. 30(1):1997;129-130.
24. Kneuper R. Limits of formal methods. Formal Aspects of Computing. 9:1997;379-394.
25. Knuth D. Literate Programming. The Computer Journal. 27(2):1984;97-110.
26. Knuth D. Literate programming. Center for the Study of Language and Information. 1992.
27. Long B., Strooper P. A case study in testing distributed systems. Proceedings 3rd International Symposium on Distributed Objects and Applications (DOA '01). 2001;20-30 IEEE Computer Society.
28. McDonald J., Hoffman D., Strooper P. Programmatic testing of the standard template library container classes. Proceedings of IEEE International Conference on Automated Software Engineering. 1998;147-156.
29. McDonald J., Strooper P. Translating Object-Z specifications to passive test oracles. International Conference on Formal Engineering Methods (ICFEM98). 1998;165-174 IEEE.
30. Meyer B. Reusable Software The Base Object-Oriented Component Libraries. 1994;Prentice Hall.
31. Meyer B. Object-Oriented Software Construction. second ed. 1997;Prentice Hall.
32. Miller S. Specifying the mode logic of a flight guidance system in CoRE and SCR. 2nd ACM Workshop on Formal Methods in Software Practice. 1998.
33. Murphy G., Townsend P., Wong P. Experiences with cluster and class testing. Communications of the ACM. 37(9):1994;39-47.
34. Musser D., Saini A. STL Tutorial and Reference Guide. 1996;Addison-Wesley.
35. Nygard M., Karsjens T. Test infect your Enterprise JavaBeans. Java World. 2000.
36. Richardson D., Clarke L. Partition analysis: a method combining testing and verification. IEEE Transactions on Software Engineering. SE-11(12):1985;1477-1490.
37. Spivey J. The Z Notation: a Reference Manual. second ed. 1992;Prentice-Hall, New York.
38. Sun Microsystems, 2001. Java Development Kit, Sun Microsystems. Available from 〈 http://java.sun.com.products/jdk:〉.
39. Weyuker E., Ostrand T. Theories of program testing and the application of revealing subdomains. IEEE Transactions on Software Engineering. SE-6(3):1980;236-246.
40. White L., Cohen E. A domain strategy for computer program testing. IEEE Transactions on Software Engineering. 6(S):1980;247-257.
41. Winston P. The Psychology of Computer Vision. 1975;McGraw-Hill.