Black-box testing of grey-box behavior

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

Volumn 2931, Issue , 2004, Pages 1-14

  Tyler, Benjamin ^a   Soundarajan, Neelam ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABILITY TESTING; CODES (SYMBOLS); OBJECT ORIENTED PROGRAMMING; SOFTWARE TESTING; SPECIFICATIONS;

BLACK BOXES; CODE INSTRUMENTATION; GREY-BOX; IN-BUILDINGS; NEW APPLICATIONS; OBJECT-ORIENTED FRAMEWORKS; SOURCE CODES; TEST FRAMEWORK;

BLACK-BOX TESTING;

EID: 33646520319     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24617-6_1     Document Type: Article

References (23)

1. R. Alexander and J. Offutt. Criteria for testing polymorphic relationships. In Int. Symp. on Softw. Reliability Eng., pages 15-23, 2000.
2. M. Barnett, W. Grieskamp, C. Kerer, W. Schulte, C. Szyperski, N. Tilmann, and A. Watson. Serious specifications for composing components. In 6th ICSE Workshop on Component-based Software Engineering, pages 1-6, 2003.
3. R. Binder. Testing Object-Oriented Systems. Addison-Wesley, 1999.
4. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
5. M. Buchi and W. Weck. The greybox approach: when blackbox specifications hide too much. Technical Report TUCS TR No. 297, Turku Centre for Computer Science, 1999. available at http://www.tucs.abo.fi/.
6. M.-H. Chen and H. M. Kao. Testing object-oriented programs - an integrated approach. In Int. Symp. on Softw. Reliability Eng., pages 73-83, 1999.
7. Y. Cheon and G. Leavens. A simple and practical approach to unit testing: The JML and JUnit way. In Proc. of ECOOP 2002, pages 231-255. Springer-Verlag LNCS, 2002.
8. J. Duran and S. Ntafos. An evaluation of random testing. IEEE Trans. on Software Eng., 10:438-444, 1984.
9. M.E. Fayad and D.C. Schmidt. Special issue on object oriented application frameworks. Comm. of the ACM, 40, October 1997.
10. G. Froehlich, H. Hoover, L. Liu, and P. Sorenson. Hooking into object-oriented application frameworks. In Proc. of 1997 Int. Conf. on Software Engineering, pages 141-151. ACM, 1997.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable OO Software. Addison-Wesley, 1995.
12. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Trans. on Software Eng., 16(12):1402-1411, 1990.
13. R. Johnson and B. Foote. Designing reusable classes. Journal of OOP, 1:26-49, 1988.
14. C. Jones. Systematic Software Development Using VDM. Prentice-Hall, 1990.
15. B. Liskov and J. Wing. A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Systems, 16:1811-1841, 1994.
16. D. Marinov and S. Khurshid. TestEra: A novel framework for automated testing of Java programs. In Proc. of 16th ASE. IEEE, 2001.
17. R. McDaniel and J. D. McGregor. Testing the polymorphic interactions between classes. Technical Report 94-103, Dept. of Computer Sc., Clemson University, 1994.
18. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1997.
19. S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6(1):319-340, 1976.
20. W. Pree. Meta patterns: a means for capturing the essentials of reusable OO design. In Proceedings of the Eighth ECOOP, pages 150-162, 1994.
21. A. Rountev, A. Milanova, and B. Ryder. Fragment class analysis for testing of polymorphism in Java software. In Int. Conf. on Softw. Eng., pages 210-220, 2003.
22. N. Soundarajan and S. Fridella. Framework-based applications: From incremental development to incremental reasoning. In W. Frakes, editor, Proc. of Sixth Int. Conf. on Software Reuse: Advances in Software Reusability, LNCS 1844, pages 100-116. Springer, 2000.
23. E. Weyuker. Testing component-based software: A cautionary tale. IEEE Software, 15(5):54-59, 1998.