Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

소프트웨어 시험 기술 현황

  • Published : 2005.03.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. L. J. Osterweil, et. al., 'Strategic direc-tions in software Quality,' ACM Computing Surveys, 738-750, Dec. 1996
  2. M. J. Harrold, 'Testing: A Roadmap, in The Future of Software Engineering,' A. Finkelstein, ed., ACM Press, New York 2000
  3. J. B. Goodenough and S. L. Gerhart, 'Toward a Theory of Test Data Selection,' IEEE Transactions on Software Engineer-ing, June 1975
  4. E. J. Weyuker, 'Axiomatizing Software Test Data Adequacy,' IEEE TSE. Dec. 1986
  5. E. J. Weyuker, 'The Evaluation of Program-based Software Test Data Adequacy Criteria,' CACM, June 1988
  6. S. H. Zweben and J. S. Gourlay, 'Comments, with reply, on 'Axiomatizing software test data adequacy' by E.J. Weyuker,' IEEE TSE, April 1989
  7. E. J. Weyuker and T. J. Ostrand, 'Theories of Program Testing and the Application of Revealing Subdomains,' IEEE TSE pp. 236-246, May 1980
  8. J. W. Duran and S. C. Ntafos, 'An Evaluation of Random Testing,' IEEE TSE, pp. 438-444, JuI 1984
  9. E. J. Weyuker and B. Jeng, 'Analyzing Partition Testing Strategies,' IEEE TSE vol. 17, no. 7, pp. 703-711, Jul 1991
  10. T. Y. Chen and Y. T. Yu, 'On the Expected Number of Failures Detected by Subdomain Testing and Random Testing,' IEEE TSE, vol. 22, no. 2, pp. 109-119 Feb 1996
  11. S. C. Ntafos, 'On Comparisons of Random, Partition, and Proportional Partition Testing,' IEEE TSE, vol. 27, no. 10, pp. 949-960. Oct 2001
  12. Myers, G., The Art of Software Testing, Wiley-Interscience, 1979
  13. P. G. Frankl and O. Iakounenko, 'Further empirical studies of test effectiveness,' In ACM SIGSOFT Software Engineering Notes, Sixth Intemational Symposium on Foundations of Software Engineering, Volume 23, pages 153-162, November 1998
  14. A. Paradkar, K. Tai, and M. A. Vouk, 'Automatic test-generation for predicates' IEEE Transactions on reliability, 45(4): 515-530, December 1996
  15. M. J. Harrold and G. Rothermel, 'Performing data flow testing on classes,' 2nd ACM SIGSOFT Symposium on the Foundations of software engineering, Pa-ges 154-163, December 1994
  16. B. Rudner, 'Seeding/tagging estimation of software errors: models and estimates,' Rome Air Development Centre, Rome, NY, RADC-TR-77-15, also AD-A036 655, 1977
  17. R. J. Lipton, et. al., 'Hints on test data selection: Help for the practicing Pro-grammer,' IEEE Computer, vol. 11, no. 4, pp. 34-41, April 1978
  18. R. A. DeMillo, D et. al., 'An extended overview of the Mothra software testing environment,' Proc. of the Second Workshop on Software Testing, Verifica-tion, and Analysis, pp. 142-151, July 1988
  19. Y. S. Ma, Y. R. Kwon, and J. Offutt. 'Inter-class mutation operators for Java,' In Proc. of the 13th ISSRE, pp. 352-363, November 2002
  20. A. T. Acree, On mutation. PhD Thesis Georgia Institute of Technology, Atlanta, GA, 1980
  21. A. J. Offutt, et. al., 'An experimental de-termination of sufficient mutation oper-ators' ACM TOSEM 1996; vol. 5, no. 2, pp. 99-118
  22. Choi B, Mathur AP. 'High-performance mutation testing,' Journal of Systems and Software 1993; vol. 20, no. 2, pp.135-152
  23. DeMillo RA, Krauser EW, Mathur AP. 'Compiler-integrated program mutation'. In Proc. of the 15th COMPSAC, September 1991. pp. 351-356
  24. Untch R, Offutt AJ, Harrold MJ. 'Mutation analysis using program Schema-ta,' In Proc. of ISSTA, une 1993. pp. 139-148
  25. Y. S. Ma, Jeff Offutt and Y. R. Kwon 'MuJava: An Automated Class Mutation System,' Journal of STVR will be appear at vol. 15, no. 2, 2005
  26. D. Lee and M. Yannakakis, 'Phnciples and Methods of Testing Finite State Machine - A Survey'. IEEE TSE, vol. 84 no. 8, pp. 1089-1123, 1996
  27. B. Y. Tsai, et. al., 'An Automatic Test Case Generator Derived from State-based Testing,' Proc. of APSEC, pp. 270-277. 1998
  28. H. S. Hong, et. al., 'A Test Sequence Selection Method for Statecharts,' Journal of STVR, vol. 10, no. 4, pp. 203-227, 2000
  29. Huo Yan Chen, T. H. Tse, and T. Y.Chen, 'TACCLE: a methodology for ob-ject-oriented software testing at the class and cluster levels,' ACM TOSEM, 10(1), 2001
  30. R.V. Binder, Testing Obiect-Onented Systems-Models, Patterns, and Tools, Object Technology. Addison-Wesley, 1999
  31. H. S. Hong, Y. R. Kwon, and S. D. Cha, 'Testing of Object-Ohented Programs Based on Finite State Machines,' in Proc. of APSEC, pp. 234-241, 1995
  32. M. J. Harrold, et. al., 'Incremental Testing of Object-Oriented Class Inheri-tance Structures,' In Proc. of the 14th ICSE '92, pp. 68-80, May 1992
  33. J. Offutt. et. al., 'A Fault Model for Subtype Inheritance and Polymorphism,' In Proc. of ISSRE '01, pp. 84-95, November 2001
  34. J. Voas, 'Developing a Usage-based Software Certification Process.' IEEE Computer, August 2000, pp. 32-37
  35. Y. Wang, et. al., 'A method for built-in tests in component-based software main-tenance,' In European Conference on soft-ware Maintenance and Reengineering(CSMR), pp 186-189, 1999
  36. V. S. Alagar, et. al., 'Automated Test Generation from Object-Oriented Specifi-cations of Real-Time Reactive Systems,' In Proc. of the lOth APSEC, pp. 406-414, 2003
  37. A. Bertolino and A. Polini. 'WCT' a Wrapper for Component Testing,' in Proc. of Fidji'2002, Nov. 28-29, 2002
  38. A. Orso. M. J. Harrold, and D. Rosenblum'Component Metadata for Software Engineering Tasks,' in W. Emmerich and S. Tai(Eds) ED02000, LNCS 1999, pp. 129-144
  39. JUnit.org, http://www.junit.org/index.htm
  40. J. Hartmann, and D. Robson, 'Techniques for selective revalidation,' IEEE Software 16, pp. 31-38, Jan. 1990
  41. M. J. Harrold and M. L. Soffa, 'An in cremental approach to unit testing during maintenance,' In Proc. of the Conference on Software Maintenance (Oct.), pp. 362-367, 1988
  42. G. Rothermel and M. J. Harrold. 'A safe, efficient regression test selection techni-que,' ACM TOSEM, 6(2): 173-210, Apr. 1997
  43. G. Rothermel, et. al., 'Prioritizing Test Cases for Regression Testing,' IEEE TSE, vol. 27, no. 10, pp. 929-948, Oct. 2001
  44. P. Hsia, et. al., 'A technique for the Se-lective revalidation of OO software,' Software Maintenance: Research and Practice, 9:217-233, 1997
  45. Paul E. Rook, 'Controlling software Pro-jects' IEE Software Engineering Journal 1, 1 (January 1986), 7-16