Browse > Article
http://dx.doi.org/10.5762/KAIS.2012.13.9.4207

An Automated Verification Technique for Enhancing Quality of Requirement  

Kim, Chul-Jin (Dept. of Computer Systems and Engineering, Inha Technical College)
Publication Information
Journal of the Korea Academia-Industrial cooperation Society / v.13, no.9, 2012 , pp. 4207-4213 More about this Journal
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
Requirement Verification; Internal View Design; External View Design; Design Simulation;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
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.