retour à la page d'accueil
Bibliographie
Bibliographie
[Ambler 94] Scott Ambler, "Use-Case Scenario Testing," Software Development, v 3, n 6, July 1995, 53-61.
[Arnold 94] Thomas R. Arnold and William a. Fuson, "Testing 'In a Perfect World'," Communications of the ACM, v 37, n 9, September 1994, 78-86.
[Barbey 98] Stéphane Barbey, Didier Buchs, Marie-Claude Gaudel, Bruno Marre, Cécile Péraire, Pascale Thévenod-Fosse, and Hélène Waeselynck, "From Requirements to Tests via Object-Oriented Design", DeVa Year 3 Deliverables, pp. 331-383, December 1998.
[Bernot 91] Giles Bernot, M. C. Gaudel, and B. Marre, "Software Testing based on Formal Specifications: a Theory and a Tool," Software Engineering Journal, v 6, n 6, November 1991, 387-405.
[Binder 94] Robert V. Binder, "Design
for Testability with Object-Oriented Systems,"
Communications of the ACM, v 37, n 9, September
1994, 87-101.
[Binder 95a] Robert V. Binder, "The FREE-flow Graph: Implementation-based Testing of Objects Using State-determined Flows," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.
[Binder 95b] Robert V. Binder, "Trends in Testing Object-oriented Software," Computer, v 28, n 10, October 1995, 68-69.
[Binder 96a] Robert V. Binder, "Use-cases, Threads, and Relations: The FREE Approach to System Testing," Object Magazine, v 5, n 9, February 1996.
[Binder 96b] Robert V. Binder, "An Integrated Tool Suite for High-reliability Object-Oriented Client/Server Systems," Proceedings, 9th Annual Software Quality Week. May 1996, Software Research, Inc. San Francisco.
[Binder 96c] Robert V. Binder, "Modal Testing Strategies for Object-Oriented Software," Computer, v 29, n 11, November 1996, 97-99.
[Binder 96d] Robert V. Binder, "Testing Object-Oriented Software: A Survey," Journal of Software Testing, Verification and Reliability, v 6 125-252, 1996.
[Chung 92] Chi-Ming Chung and Ming-Chi
Lee, "Object-oriented Programming Testing
Methodology," Proceedings Fourth International
Conference on Software Engineering and
Knowledge Engineering, June 1992. IEEE
Computer Society Press, Los Alamitos, Calif. 378-385.
[Chung 94] Chi-Ming Chung, Ming-Chi Lee, and Ching-Chian Wang, "Inheritance Testing for OO Programming by Transitive Closure Strategies," Advances in Modeling and Analysis, AMSE Press, v 31, n 2, 1994, 57-64..
[Chung 96] In Sang Chung, M. Munro, W.K. Lee Y.R. Kwon, "Applying Conventional Testing Techniques for Class Testing," Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96, IEEE Computer Society Press, Los Alamitos, Calif, 1996. 447 - 454.
[Cox 88] Brad J. Cox, "The Need
for Specification and Testing Languages," Journal of
Object-Oriented Programming, v 1, n 2,
June/July 1988, 44-47.
[D'Souza 94] Rosario J. D'Souza and Richard J. LeBlanc, "Class Testing by Examining Pointers," Journal of Object-Oriented Programming, v 7, n 4, July 1994, 33-39.
[Dauchy 93] P. Dauchy, M-C. Gaudel, and B. Marre, "Using Algebraic Specifications in Software Testing: a Case Study on the Software of an Automatic Subway," Journal of Systems and Software, v 21, n 3, June 1993, 229-244.
[Doong 91] Roong-Ko Doong and Phyllis Frankl, "Case Studies on Testing Object-Oriented Programs," Proceedings of the Fourth Symposium on Software Testing, Analysis and Verification. October 1991, ACM Press, New York. 165-177.
[Doong 94] Roong-Ko Doong and Phyllis G. Frankl, "The ASTOOT Approach to Testing Object-Oriented Programs," ACM Transactions on Software Engineering and Methodology, v 3, n 4, April 1994, 101-130.
[Harrold 94] Mary Jean Harrold and Gregg Rothermel, "Performing Data Flow Testing on Classes," Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, December 1994, ACM Press, New York. 154-163.
[Harrold 95] Mary Jean Harrold and Gregg Rothermel, "Structural Testing of Object-Oriented Classes," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.
[Hayes 94] Jane Huffman Hayes, "Testing of Object-Oriented Programming Systems (OOPS): a Fault-Based Approach," Proceedings, Object-Oriented Methodologies and Systems, E. Bertino, S. Urban (Eds.), LNCS 858. Springer-Verlag, Berlin 1994.
[Hoffman 95] Daniel Hoffman and Paul Strooper, "The Testgraph Methodology: Automated Testing of Collection Classes," Journal of Object-Oriented Programming, November-December 1995, v 8, n 7, 35-41.
[Hughes 96] Merlin Hughes and David Stotts, "Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects," Software Engineering Notes, v 21, n 3, May 1996, 53-61.
[Hunt 95b] Neil Hunt, "Automatically Tracking Test Case Execution," Journal of Object-Oriented Programming, November-December 1995, v 8, n 7, 22-27.
[Hunt 96a] Neil Hunt, "Performance Testing C++ Code," Journal of Object-Oriented Programming, January 1996, v 8, n 8, 22-25.
[Hunt 96b] Neil Hunt, "Unit Testing," Journal of Object-Oriented Programming, February 1996, v 8, n 9, 18-23.
[Jonassen 95] Anne M. Jonassen, "Managing Unit and Integration Testing of a Large Object-Oriented System," Proceedings, 8th Annual Software Quality Week. May 1995, Software
[Jorgenson 94] Paul C. Jorgenson and Carl Erickson, "Object-Oriented Integration Testing," Communications of the ACM, v 37, n 9, September 1994, 30-38.
[Jüttner 94] Peter Jüttner, S. Kolb, U. Naumann, and P. Zimmerer, "A Complete Test Process in Object-Oriented Software Development," Conference Proceedings, 7th International Software Quality Week, May 1994. Software Research Institute, San Francisco.
[Jüttner 94c] Peter Jüttner,
Sebald Kolb, and Peter Zimmerer, "Integrating and Testing
of
Object-Oriented Software," Conference
Proceedings, EuroSTAR '94, October 1994. SQE, Inc., Jacksonville,
Fla. 13/1-13/14.
[Jüttner 95] Peter Jüttner, S. Kolb, U. Naumann, J. Wood, and P. Zimmerer, "Integration Testing of Object-Oriented Software," Proceedings, 8th Annual Software Quality Week. May 1995, Software Research, Inc. San Francisco.
[Kirani 94a] Shekar Kirani and W. T. Tsai, "Method Sequence Specification and Verification of Classes," Journal of Object-Oriented Programming, v 7, n 6, October 1994, 28-38.
[Kung 93b] D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen, "On Object State Testing," Proceedings, The Eighteenth Annual International Computer Software & Applications Conference, November 1993. IEEE Computer Society Press, Los Alamitos, Calif. 222-227.
[Kung 95] David Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y. Kim and Y. Song, "Developing an Object-Oriented Software Testing and Maintenance Environment," Communications of the ACM, v 38, n 10, October 1995, 75-86.
[Kung 96] David C. Kung, Gao, Jerry, Chen, Cris. "On Regression Testing of Object-Oriented Programs," The Journal of Systems and Software. Jan 1996 v 32 n 1, 21-xx.
[Labiche 99] Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, Marie-Hélène Durand, and Patrick Farail, "A Test Ordering Tool for Object-Oriented Programs", to appear in Proceedings 10th European Workshop on Dependable Computing, Vienna, Austria, May 1999.
[Leavens 91] Gary T. Leavens, "Modular Specification and Verification of Object-oriented Programs," IEEE Software, v 8, n 4, July 1991, 72-80.
[Le Traon 99] Yves Le Traon, Daniel Devaux and Jean-Marc Jézéquel, « Self-Testable Components: from Pragmatic Tests to Design-for-Testability Methodology », to be published in Technology of Object-Oriented Languages and Systems Conference (TOOLS-Europe 99), Nancy (France), June 1999
[McCabe 94] Thomas J. McCabe and Arthur H. Watson, "Combining Comprehension and Testing in Object-Oriented Development," Object Magazine, v 4, n 1, March-April 1994, 63-66.
[McGregor 92] John D. McGregor and David A. Sykes, Object-Oriented Software Development: Engineering Software for Reuse. London: International Thomson Computer Press, 1992.
[McGregor 93] John D. McGregor and Douglas M. Dyer, "A Note on Inheritance and State Machines," Software Engineering Notes, v 18, n 4, October 1993, 61-69.
[McGregor 94] John D. McGregor and Tim Korson, "Integrating Object-Oriented Testing and Development Processes," Communications of the ACM, v 37, n 9, September 1994, 59-77.
[McGregor 96] John D. McGregor and Anuradha Kare, "Parallel Architecture for Component Testing of Object-Oriented Software," Proceedings, 9th Annual Software Quality Week. May 1996, Software Research, Inc. San Francisco.
[McGregor 97] John D. McGregor. "Quality Assurance," Journal of Object-oriented Programming, Feb 1997 v 9 n 9, 8
[Mellor 94a] Steven J. Mellor and Sally Shlaer, "A Deeper Look at Testing and Integration, Part 1," Object Magazine, v 3, n 9, February 1994, 8-13.
[Mellor 94b] Steven J. Mellor and Sally Shlaer, "A Deeper Look at Testing and Integration, Part 2," Object Magazine, v 4, n 1 March/April 1994, 18-22.
[Meyer 88] Bertrand Meyer, Object-Oriented Software Construction. Englewood Cliffs, NJ.: Prentice-Hall, Inc., 1988.
[Meyer 92] Bertrand Meyer, "Applying 'Design by Contract'," IEEE Computer, v 25, n 10, October 1992, 40-51.
[Offutt 95] A. Jefferson Offutt and Alisa Irvine, "Testing Object-Oriented Software Using the Category-Partition Method," Proceedings, TOOLS 17, Prentice-Hall, Inc. 1995. 293-304.
[Parrish 93] Allen S. Parrish, Richard B. Borie, and David W. Cordes, "Automated Flow Graph-based Testing of Object-oriented Software Modules," Journal of Systems and Software v 23, n 2, November 1993, 95-109.
[Poston 94] Robert M. Poston, "Automated Testing from Object Models," Communications of the ACM, v 37, n 9, September 1994, 48-58.
[Siegel 96] Shel M. Siegel, Object-Oriented Testing: A Hierarchic Approach, John Wiley and Sons, New York, 1996.
[Smith 92] M. D. Smith and D. J. Robson, "A Framework for Testing Object-oriented Programs," Journal of Object-Oriented Programming, v 5, n 3, June 1992. 45-53.
[Thévenod 95] Pascale Thévenod-Fosse, Hélène
Waeselynck, and Yves Crouzet, "Software statistical testing",
in Predictably Dependable Computing
Systems, B. Randell, J-C. Laprie, H. Kopetz & B. Littlewood
(Eds), Springer, 1995, pp. 253-272.
[Thévenod 97] Pascale Thévenod-Fosse and Hélène
Waeselynck, "Towards a Statistical Approach to Testing Object-Oriented
Programs",
Proceedings 17th IEEE Symposium on Fault-Tolerant Computing (FTCS-27),
Seattle, Washington, USA, June 1997, pp. 99-108. IEEE Computer
Society Press.
[Thévenod 98] Pascale Thévenod-Fosse and Hélène
Waeselynck, "Software Statistical Testing Based on Structural
and Functional Criteria",
Proceedings 11th Annual Software Quality Week (QW'98), v II,
May 1998. Software Resarch Inc., San Francisco.
[Thévenod 99] Pascale Thévenod-Fosse and Hélène
Waeselynck, "Testing of Reusable Concurrent Objects: The
Production Cell Example", to
appear in Proceedings of the ICSE'99 Workshop on Testing Distributed
Component-Based Systems, Los Angeles, California, USA, May 1999.
[Wilde 92] Normal Wilde and Ross Huitt, "Maintenance Support for Object-Oriented Programs," IEEE Transactions on Software Engineering, v 18, n 12, December 1992, 1038-1044.
[Wilde 93] Norman Wilde, Paul Matthews, and Ross Huitt, "Maintaining Object-Oriented Software," IEEE Software, January 1993, 75-80.
[Wilke 93] George Wilke, Object-Oriented Software Engineering: The Professional Developer's Guide. Reading, Mass:, Addison-Wesley, 1993.
[Zhao 96] Jianjun Zhao, Jingde Cheng, K. Ushijima "Static Slicing of Concurrent Object-oriented Programs," Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 IEEE Computer Society Press, Los Alamitos, Calif 1996. 312 - 320.
[Zweben 92] Stuart Zweben, W. Heym and J. Kimmich, "Systematic Testing of Data Abstractions Based on Software Specifications," Journal of Software Testing, Verification and Reliability, v 1, n 4, 1992. 39-55.