DOI QR코드

DOI QR Code

An Automated Verification Technique for Enhancing Quality of Requirement

요구사항의 품질 향상을 위한 자동화 검증 기법

  • Kim, Chul-Jin (Dept. of Computer Systems and Engineering, Inha Technical College)
  • 김철진 (인하공업전문대학 컴퓨터시스템과)
  • Received : 2012.06.18
  • Accepted : 2012.09.06
  • Published : 2012.09.30

Abstract

Software quality is strongly associated with requirement quality. Accordingly, companies are trying effect for enhancing requirement quality. But, it is difficult to verify the requirement of specification format, which have to rely on abnormal business knowledge of analyst. Also, it is insufficient to normal methodology or automated technique for enhancing requirement quality of specification format. In this paper, we propose the process of requirement verification and automated verification tool for enhancing requirement quality. we compare the external view design and internal view design for verifying requirement. In the case study, we evaluate the feasibility of the proposed automated verification technique of requirement.

소프트웨어의 품질은 요구사항 품질과 강하게 관계되어 있다. 이에 따라서 기업들은 요구사항의 품질을 향상시켜 주기 위한 노력을 하고 있다. 그러나 명세서 형태의 요구사항은 검증하기 어려우며, 분석가의 비정형화된 업무 지식에 의존해야 한다. 또한 명세서 형태의 요구사항 품질을 향상시켜 주기 위한 정형화된 방법론이나 자동화된 기법이 미흡한 상황이다. 본 논문에서는 요구사항의 품질을 향상시켜 주기 위한 요구사항 검증 프로세스 및 자동화 검증 도구를 제안한다. 검증을 위해 요구사항에 대한 외적뷰 설계와 내적뷰 설계를 비교한다. 사례연구를 통해 제안된 요구사항 자동화 검증 기법의 타당성을 검증한다.

Keywords

References

  1. Boehm, B.W. et al, "Some Experience with Automated Aids to the Design of Large-Scale Reliable Software", IEEE Trans. On Software Engineering, 1975.
  2. Capability Maturity Model Integration (CMMI), www.sei.cmu.edu/cmmi/, SEI Carnegie Mellon.
  3. ISO/IEC 15504 TR2, Software Process Assessment and Capability determination, ISO/IEC, 1998.
  4. MOF 2 XMI Mapping, http://www.omg.org/spec/XMI/, OMG, 2011.
  5. Gauthier Fanmuy, Anabel Fraga and Juan Llorens, "Requirements Verification in the Industry", Complex Systems Design & Management, Pages 145-160, 2012.
  6. Choi J. E., Choi S. K., and Lee S. A., "The Case Study of Software Requirement Management", Proceedings of Korean Institute of Information Scientists and Engineers, Vol.29, No.1(B), p445-447, 2002.
  7. Dean Leffingwell, Don Widrig, Managing Software Requirement, A Unified Approach, Addison-Wesley, 2000.
  8. Choi B. K. and Leem C. S., "A Study on Requirement Analysis Process that support Enterprise Architecture Design", The Journal of Korean Institute of CALS/EC, Vol.8, No.1, p35-54, 2003.
  9. Hong J. E., Yoon I. C., and Bae D. H., "Hierarchical Specification and Verification of Requirements using An Object-Oriented Petri Net", The Journal of Korean Institute of Information Scientists and Engineers, Vol.27, No.2, p157-167, 2000.
  10. Rational TAU, http://www-01.ibm.com/software/awdtools/tau/, IBM.