Browse > Article

소프트웨어 시험 기술 현황  

김상운 (한국과학기술원)
마유승 (한국과학기술원)
신종민 (한국과학기술원)
이숙희 (한국과학기술원)
권용래 (한국과학기술원)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.23, no.3, 2005 , pp. 7-16 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
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 E. J. Weyuker, 'Axiomatizing Software Test Data Adequacy,' IEEE TSE. Dec. 1986
4 J. W. Duran and S. C. Ntafos, 'An Evaluation of Random Testing,' IEEE TSE, pp. 438-444, JuI 1984
5 S. C. Ntafos, 'On Comparisons of Random, Partition, and Proportional Partition Testing,' IEEE TSE, vol. 27, no. 10, pp. 949-960. Oct 2001
6 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
7 A. T. Acree, On mutation. PhD Thesis Georgia Institute of Technology, Atlanta, GA, 1980
8 Untch R, Offutt AJ, Harrold MJ. 'Mutation analysis using program Schema-ta,' In Proc. of ISSTA, une 1993. pp. 139-148
9 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
10 Paul E. Rook, 'Controlling software Pro-jects' IEE Software Engineering Journal 1, 1 (January 1986), 7-16
11 P. Hsia, et. al., 'A technique for the Se-lective revalidation of OO software,' Software Maintenance: Research and Practice, 9:217-233, 1997
12 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
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 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
15 B. Y. Tsai, et. al., 'An Automatic Test Case Generator Derived from State-based Testing,' Proc. of APSEC, pp. 270-277. 1998
16 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
17 R.V. Binder, Testing Obiect-Onented Systems-Models, Patterns, and Tools, Object Technology. Addison-Wesley, 1999
18 A. Bertolino and A. Polini. 'WCT' a Wrapper for Component Testing,' in Proc. of Fidji'2002, Nov. 28-29, 2002
19 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
20 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
21 Myers, G., The Art of Software Testing, Wiley-Interscience, 1979
22 JUnit.org, http://www.junit.org/index.htm
23 G. Rothermel and M. J. Harrold. 'A safe, efficient regression test selection techni-que,' ACM TOSEM, 6(2): 173-210, Apr. 1997
24 E. J. Weyuker, 'The Evaluation of Program-based Software Test Data Adequacy Criteria,' CACM, June 1988
25 E. J. Weyuker and B. Jeng, 'Analyzing Partition Testing Strategies,' IEEE TSE vol. 17, no. 7, pp. 703-711, Jul 1991
26 A. J. Offutt, et. al., 'An experimental de-termination of sufficient mutation oper-ators' ACM TOSEM 1996; vol. 5, no. 2, pp. 99-118
27 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
28 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
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 DeMillo RA, Krauser EW, Mathur AP. 'Compiler-integrated program mutation'. In Proc. of the 15th COMPSAC, September 1991. pp. 351-356
31 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
32 J. B. Goodenough and S. L. Gerhart, 'Toward a Theory of Test Data Selection,' IEEE Transactions on Software Engineer-ing, June 1975
33 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
34 J. Offutt. et. al., 'A Fault Model for Subtype Inheritance and Polymorphism,' In Proc. of ISSRE '01, pp. 84-95, November 2001
35 J. Hartmann, and D. Robson, 'Techniques for selective revalidation,' IEEE Software 16, pp. 31-38, Jan. 1990
36 A. Paradkar, K. Tai, and M. A. Vouk, 'Automatic test-generation for predicates' IEEE Transactions on reliability, 45(4): 515-530, December 1996
37 Choi B, Mathur AP. 'High-performance mutation testing,' Journal of Systems and Software 1993; vol. 20, no. 2, pp.135-152
38 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
39 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
40 S. H. Zweben and J. S. Gourlay, 'Comments, with reply, on 'Axiomatizing software test data adequacy' by E.J. Weyuker,' IEEE TSE, April 1989
41 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
42 G. Rothermel, et. al., 'Prioritizing Test Cases for Regression Testing,' IEEE TSE, vol. 27, no. 10, pp. 929-948, Oct. 2001
43 E. J. Weyuker and T. J. Ostrand, 'Theories of Program Testing and the Application of Revealing Subdomains,' IEEE TSE pp. 236-246, May 1980
44 J. Voas, 'Developing a Usage-based Software Certification Process.' IEEE Computer, August 2000, pp. 32-37
45 H. S. Hong, et. al., 'A Test Sequence Selection Method for Statecharts,' Journal of STVR, vol. 10, no. 4, pp. 203-227, 2000