The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Rigorous System Testing by Supporting Vertical Traceability

수직 추적가능성을 제공하는 엄격한 시스템 테스트

  • 서광익 (동국대학교 컴퓨터공학과) ;
  • 최은만 (동국대학교 컴퓨터공학과)
  • Published : 2007.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

Traceability has been held as an important factor in testing activities as well as model driven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to code in testing and debugging phase. Traceability also makes overcome to difficulties of going up-and-down abstraction level to find out error spot of faults discovered by testing This paper represents a vertical test method which connects a system test level and an integration test level in a test stage by using UML. Experiment of how traceability works and how effective focus on error spots has been included using concrete examples of tracing from models to the code.

추적이란 개념은 모델 중심의 개발에서만이 아니라 테스트를 위하여 매우 중요한 요소이다. 수직적인 추적은 모델로부터 테스트와 디버깅 단계에 이르기까지 시스템을 잘 관리할 수 있게 한다. 또한 테스트 단계에서 발견한 결함에 대한 오류를 추적할 때 발생하는 추상 수준의 오르내림을 추적가능성으로 극복하게 한다. 이 논문에서는 시스템 테스트 수준과 통합 테스트 수준에서 UML을 이용하여 수직적으로 연결하여 더욱 엄격한 테스트가 되는 방법을 제안한다. 실험을 통하여 추적이란 개념이 어떻게 작동하며 오류 부분을 찾아내는지 얼마나 효과적인지 보이며 모델에서 코드까지의 구체적인 사례를 이용하여 방법을 소개한다.

Keywords

References

  1. L. Briand and Y. Labiche, 'A UML-based approach to system testing,' Proc. 4th International Conf. on UML - The Unified Modeling Language, Modeling Language, Concepts, and Tools, Toronto, CA, 2001, LNCS 2185, Springer, pp. 194-208, 2001 https://doi.org/10.1007/3-540-45441-1_15
  2. J. Offutt, A. Abdurazik, 'Generating tests from UML specifications,' Proc. 2nd International Conf. on UML, pp.416-429, 1999 https://doi.org/10.1007/3-540-46852-8_30
  3. Dinh-Trong, S. Ghosh, R. B. France, M. Hamilton, and B. Wilkins, 'UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs,' Eclipse Technology Exchange Workshop in OOPSLA, San Diego, 2005 https://doi.org/10.1145/1117696.1117721
  4. L. Brian, Y. Labiche, 'A UML-based approach to system testing,' Software and System Modeling, 1(1), 2002, pp.10-42 https://doi.org/10.1007/s10270-002-0004-8
  5. A. Abdurazik, J. Offutt, 'Using UML collaboration diagrams for static checking and test generation,' International Conf. on UML, pp.383-395, 2000 https://doi.org/10.1007/3-540-40011-7_28
  6. M. Scheetz, A. von Mayrhauser, R. France, E. Dahlman, and A. E. Howe, 'Generating test cases from an OO model with an AI planning system,' Proc. 10th International Symposium on Software Reliability Engineering, Boca Raton, Florida, pp.250-259, 1999 https://doi.org/10.1109/ISSRE.1999.809330
  7. O. Gotel and A. W. Finkelstein, 'An analysis of the requirements traceability problem,' Proc. of the International Conf. on Requirements Engineering, Colorado Springs, CO, pp.94-10, 1994 https://doi.org/10.1109/ICRE.1994.292398
  8. B. Ramesh, 'Factors influencing requirements traceability in practice,' Communications of the ACM, 41(12), pp.34-4, 1998 https://doi.org/10.1145/290133.290147
  9. K. Seo and E. M. Choi, 'Comparison of five black-box testing methods for object-oriented software,' Proc. 4th ACIS International Conference on Software Engineering Research, Management & Applications, Seattle, WA, pp.213-22, 2006 https://doi.org/10.1109/SERA.2006.22
  10. A. Andrews, R. N. Francs, S. Ghosh, and G. Craig, 'Test Adequeacy Criteria for UML Design Models,' Journal of Software Testing, Verification and Reliability, 13(2), pp.95-127, 2003 https://doi.org/10.1002/stvr.270
  11. E. Dustine, Effectivve Software Testing: 50 specific ways to improve your testing, Addison-Wesley, 2003
  12. J. Hartmann, C. Imoberdorf and M. Meisinger, 'UML-Based integration testing,' Proc, ACM SIGSOFT International Sysmposium on Software Reliability Engineering, Florida, pp.250-259, 1999
  13. P. C. Jorgensen and C. Erickson, 'Object-Oriented Integration Testing,' Communications of the ACM, 37(9), pp.30-37, 1994 https://doi.org/10.1145/182987.182989
  14. Pilskalns, A. Andrews, R. France, and S. Ghosh, 'Rigorous Testing by Merging Structural and Behavioral UML Representations,' Sixth International Conference on the Unified Modeling Language, San Francisco, LNCS 2863, Springer, pp.234-248, 2003
  15. P. Frohlich and J. Link, 'Automated Test Case Generation from Dynamic Models,' 14th European Conf. OOP(ECOOP' 2000), LNCS 1850, Springer, pp. 472-492, 2000 https://doi.org/10.1007/3-540-45102-1_23
  16. P. Graubman and E. Rudolph, 'Testing of UML models with Emphasis on Speial UML Language Features like Sequence Diagrams,' Conf. Unified Modeling Language(UML' 2000), LNCS 1939, Springer, pp.32-46, 2000
  17. M. d. M. Gallard, P. Merino, E. Pimentelis, 'Debugging UML Designs with Model Checking,' Journal of Object Technology, 1(2), PP. 101-117, 2002 https://doi.org/10.5381/jot.2002.1.2.a1
  18. A. Egyed, 'A scenario-driven approach to traceability,' International Conference on Software Engineering archive Proc. the 23rd International Conference on Software Engineering table of contents, Canada, pp.123-132, 2001 https://doi.org/10.1109/ICSE.2001.919087
  19. A. Egyed, 'SUPPORTING SOFTWARE UNDERSTANDING WITH AUTOMATED REQUIREMENTS TRACEABILITY,' International Journal of Software Engineering and Knowledge Engineering, 15(5), pp.783-810, 2005 https://doi.org/10.1142/S0218194005002464
  20. Fasolino, A.R and Visaggoi, G, 'Improving software comprehension through an automated dependency tracer,' Fasolino, A.R.; Visaggio, G. Proc. Seventh International Workshop, Program Comprehension, pp.58-65, 1999