Constructing self-testable software components

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2001, Pages 151-160

  Martins, Eliane ^a   Toyota, Cristina Mari ^a   Yanagawa, Rosileny Lie ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Component testability; Design for testability; OO testing; Self testable component

Indexed keywords

SELF-TESTABLE SOFTWARE COMPONENTS;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; DESIGN FOR TESTABILITY; OBJECT ORIENTED PROGRAMMING; RELIABILITY;

SOFTWARE ENGINEERING;

EID: 0035789207     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2001.941401     Document Type: Conference Paper

References (42)

1. F.Bachmann, L.Bass et al. "Technical Concepts of Component Based Software Engineering". Technical Report CMU/SEI-2000-TR-008, 04/2000.
2. nd. European Dependable Computing Conference (EDCC-2), Italy, 1996, pp303-320.
3. A.Beugnard, J.Jezequel, N.Plouzeau, D.Watkins. "Making Components Contract Aware", IEEE Computer, July/1999, pp38-45.
4. nd. Edition, 1990.
5. B.Beizer. "Black-Box Testing". John Wiley & Sons, 1995.
6. R.V.Binder. "Testing Object-Oriented Systems: Models, Patterns and Tools". Addison-Wesley, 2000.
7. R.V.Binder. "The FREE Approach to Testing Object-Oriented Software: an Overview", report of RSBC, 1994, available on the Web: www.rsbc.com.
8. R.V.Binder. "Design for Testability in Object-Oriented Systems", Comm. of ACM, 37(9), Sept./1994, pp87-101.
9. R.V.Binder. "Testing for Reuse: Libraries and Frameworks", in Journal of Object-Oriented Programming (JOOP), 6(6), Aug/1996.
10. M.E.Delamaro. "Interface Mutation: an Adequacy Criterion for Integration Testing". PhD Thesis, Physics Institute, S.Paulo State University at S.Carlos, 1997. (in Portuguese)
11. M.E.Delamaro, J.C.Maldonado, A.M.R.Vincenzi. "Proteum/IM 2.0: An Integrated Mutation Testing environment", in Proc. of Mutation 2000 Symposium, USA, Oct/2000.
12. R.A.DeMillo, R.J.Lipton, F.G.Sayward. "Hints on test data selection: Help for the Practitioner Programmer". IEEE Computer, 11 (4), 1978, pp34-43.
13. R.K.Doong, P.Frankl. "The ASTOOT Approach to Testing Object-Oriented Programs", in ACM Trans on Software Engineering and Methodology, 3(2), April/1994, pp101-130.
14. th. International Symposium on Software Reliability Engineering (ISSRE'94), USA; Nov/1994, pp220-229.
15. th. IFIP Conference on Formal Descriptions Techniques for Distributed Systems and Communication Protocols, Canada, Oct/1995, pp329-337.
16. th. International Symposium on Software Reliability Engineering (ISSRE'99), USA, Nov/1999, pp210-219.
17. st. Workshop on Component-Based Systems, Switzerland, 1997. Available on the Web: www.cs.iastate.edu/-leavens/FoCBS/FoCBS.html.
18. R.S.Freedman. "Testability of Software Components". IEEE Trans. Software Eng., 17(6), June/1991, pp553-564.
19. J.Gao. "Testing Component-Based Software". Proc. of STARWest, San Jose, USA, 1999. Available on the Web: www.engr.sisu/edu/gaojerry/report/star-test.htm.
20. th. IEEE Int. Conference on Software engineering (ICSE-14), 1992, pp68-80.
21. D.Hoffman. "Hardware Testing and Software Ics". Proc. Northwest Software Quality Conference, USA, Sept/1989, pp234-244.
22. D.Hoffman, P.Strooper. "The Testgraph Methodology", in Journal of Object-Oriented Programming (JOOP), Nov-Dec/1995, pp35-41.
23. IEEE Standard Glossary of Software Engineering Terminology AN S I/IEEE 610.12, 1990, IEEE Press.
24. D.Kung, J.Gao, P. Hsia, Y.Toyoshima, C.Chen, Y.S.Kim, Y.K.Song. "Developping an Object-Oriented Software Testing and Maintenance Environment", in Comm. of the ACM, 38(10), Oct/1995, pp75-87.
25. B.Meyer. Object-Oriented Software Construction. Prentice Hall, 1988.
26. B.Meyer. "Applying Design by Contract". IEEE Computer, Oct./1992, pp40-51.
27. G.J.Myers. "The Art of Software Testing". John Wiley & Sons, 1978.
28. th. Edition.
29. S.Siegel. "Object-Oriented Software Testing: a Hierarchical Approach", John Wiley & Sons, 1996.
30. S.R.S. Souza, J.C.Maldonado, S.C.P.F.Fabbri, W.Lopes de Souza. "Mutation Testing Applied to Estelle Specifications", in Proc. of 33th. Hawaii Intern. Conf. On System Science, mini-track on Distributed Systems Testing, Hawaii, Jan/2000.
31. C.Szyperski. "Component Software. Beyond OO Programming". Addison-Wesley, 1998.
32. C.M.Toyota, E.Martins. "Reuse in OO Testing: a Methodology for the Construction of Sekf-Testing Classes", in IX International Conference on Software Technology Software Quality, Curitiba, Brazil, June/1998. (in Portuguese)
33. C.M.Toyota. "Improving Class Testability using the Self- Testing concept". Master Dissertation, Institute of Computing, State University of Campinas, June/2000. (in Portuguese)
34. st. Workshop on Component-Based Systems, Switzerland, 1997. URL: www.cs.iastate.edu/̃leavens/FoCBS/FoCBS.html.
35. A.M.R.Vincenzi, J.C.Maldonado, E.F.Barbosa, M.E.Delamaro. "Essential Interface Operators: a Case Study", in XIII Brazilian Symposium on Software Engineering, S.Catarina, Brazil, Oct/1999, pp373-391.
36. J.M.Voas; K.W.Miller. "Software Testability: the New Verification". IEEE Software, March/1995, pp17-28.
37. J.M.Voas, M.Schmid, M.Schatz. "A Testability based Assertion Placement Tool for Object-Oriented Software". Technical Report - Information Technology Laboratory, NIST CGR 98-735, Jan/1998. Available on the Web: http://www.rstcorp.com.
38. Y.Wang, G.King, 1.Court, M.Ross. "On Testable Object-Oriented Programming", in ACM Software Engineering Notes, 22(4), July/1997, pp84-90.
39. rd. European Conference on Software Maintenance and Reengeneering (CSMR), Holanda, March/1999, pp 186-189.
40. E.J.Weyuker. "Axiomatizing Software Test Data Adequacy". IEEE Trans. Software Eng. SE-12, 12, Dec/1986, p1128-1138.
41. E.J.Weyuker. "Testing Component-Based Software: a Cautionary Tale". IEEE Software, Sept-Oct/1998, pp54-59.
42. R.L.Yanagawa. "Evaluating the approach for construction and use of self-testable components". Master Dissertation, Institute of Computing, State University of Campinas, December/2000. (in Portuguese)