• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4207-4213
• /
• 2012

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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.283-286
• /
• 2004

소프트웨어 개발과정에서 사용자 요구사항을 정확히 만족하기 위해서는 사용자 관점에서 요구사항 검증을 위한 방법이 필요하다. 이것은 사용자의 요구사항이 시스템 개발자에게 적절히 반영되어 개발시스템이 보다 더 효과적으로 설계 및 구현이 가능하여 사용자가 요구하는 품질의 소프트웨어 시스템을 구현할 수 있기 때문이다. 본 논문에서는 시스템 구현 전 단계에서 사용자 요구사항을 효율적으로 검증할 수 있는 RV-UI 모델을 제안한다. RV-UI 모델 시스템은 상용화된 사용자 인터페이스를 프로세스별 기능 모델로 표준화하였고, 카노(Kano)의 이원적 품질이론을 적용한 인터페이스를 통해 명확한 사용자 요구사항의 검증과 체계적인 요구사항의 형상관리를 하도록 설계하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.448-450
• /
• 2004

소프트웨어 아키텍처는 소프트웨어 시스템 구축시 설계단계의 첫번째 부분으로 소프트웨어 개발시 중요시 되고 있다. 아키텍처 설계시는 비즈니스 목표나 품질 요구사항, 도메인의 특징과 개발 환경 등 여러 가지 사항을 고려해야하고 설계된 아키텍처를 검증할 수 있어야 한다. 그러나 성숙한 아키텍처가 아닌 경우 개발하고자 하는 시스템의 아키텍처 설계나 검증이 어렵다. 따라서 본 논문에서는 비즈니스 정보시스템에서 많이 사용되고 있는 아키텍처를 도출, 분류해보고, 품질 속성 만족 여부를 분석함으로써 비즈니스 정보 시스템 구축시 아키텍처들에게 아키텍처 참조 모델을 제공하고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.385-388
• /
• 1998

급격한 경영환경의 변화로 인하여 고객만족을 최우선시하게 됨에 따라, 고객의 다양한 품질 요구를 신속 정확히 만족시키는 것이 주요 경영과제가 되었다. 이러한 상황에 대처 가능한 품질관리가 이루어지기 위해서는 품질기준에 대한 객관적 검증 및 지속적인 보완이 필요하며, 품질설계에 관련된 지식들을 체계적으로 수집하여 공유할 수 있는 체제가 갖추어져야 한다. 이와 같은 목적을 달성하기 위해 인공지능 기법들을 이용한 지능형 품질시스템(Intelligent Quality System, IQS)이 많은 관심을 모으고 있다. 본 연구에서는 일관 제철소의 품질관리를 위해 개발된 IQS중 품질설계 시뮬레이션 지원시스템(Quality Design Simulation Support System, QDSim)에 대해 설명한다. QDSim은 신경망을 기반으로 설계 구현되었는데, 품질설계 시뮬레이션을 지원하기 위해 크게 두가지 기능을 수행한다. 첫째 기능은 주어진 원재료의 구성비와 조업조건에 의해 생산될 제품의 최종 품질특성을 예측하는 것이며, 두 번째는 품질예측치가 고객의 요구 품질, 즉 목표품질을 만족시키는 입력 조건을 찾아가는 것이다. 본 연구에서는 QDSim의 이론적 근거 및 구현내용을 설명한 후, IQS내의 타 시스템과의 관계를 설명한다.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.20 no.1
• /
• pp.113-119
• /
• 2014

Recently, R.O.K. Navy is increasing re-usability of design data and application of M&S(Modeling and Simulation) through the establishment of collaborative product development environment focused on Naval Ship Product Model(NSPM). As a result, the reliability of the result of design is getting better, and furthermore, a study to improve quality of construction through simulation of production/operation is in progress. Accordingly, the database construction of design data and the DB(Database) quality become important, but there was not research related to those or it was just initial state. This paper conducted research about system of the quality verification process of shape elements which compose NSPM based on the quality verification guideline of NSPM as the result of the precedent study. The hull surface was limited as verification object. The study to verify two things that application of basic drawing by the cad model of hull surface, and whether there is error in the geometric quality of cad model was progressed. To achieve this goal, the verification criteria and algorithm were defined and the prototype system which is based on was developed.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.9
• /
• pp.101-109
• /
• 2013

Data quality management is extremely important. In this study, we proposed data standardization for effective quality management of enterprise-owned data about distributed goods and validated its effectiveness by case study. For the standardization of data, we designed data category and data dictionary. Additionally, we categorized data and identified its attributes for data category design, and we developed design process for data dictionary and built the dictionary of word, term, domain and code for data dictionary design. And then we proposed output documents which have to be written for data standardization. Proposed data standardization approach is validated its efficiency by quantitative and qualitative measurement. and as a result the data quality of the data standardization improved 24% and the data quality of the consistency of the data dictionary improved 7%.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.753-757
• /
• 2004

소프트웨어 개발과정에서 사용자 요구사항을 만족하기 위한 유용한 소프트웨어 개발도구를 사용하면 매우 효과적이지만 사용자 관점에서 요구사항 검증을 위한 방법이 부족한 실정이다. 본 논문에서는 시스템 구현 전 단계에서 사용자 요구사항을 효율적으로 검증할 수 있는 프로토타입 RV-UI 모델을 제안하여 개발자와 사용자간 요구사항이 적절히 반영되어 개발 시스템이 효과적으로 설계되고 구현됨을 나타낸다. 본 논문에서 제안한 RV-Ul 모델은 기존의 상용화된 시스템 인터페이스를 기능별 모델로 분류하였으며, 이원적 품질이론을 적용한 인터페이스를 통해 사용자가 요구하는 명확한 요구사항과 요구사항에 따른 형상관리 효과를 극대화할 수 있게 설계하였다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.3
• /
• pp.389-396
• /
• 2020

In order to obtain a good quality product, a proper verification of production/test facilities must be preceded before the quality conformity inspection of the product. Among the various production/test facilities, ATE is widely used in the civilian industry such as the automotive industry, aerospace industry, semiconductor industry today. In addition, ATE is actively used in the defense industry production and performance tests. This paper is the result of systematically verifying the Design Conformance of ATS which is ATE of military FM radio set using various methods. And It is expected to be a good reference at the present time when the design conformity verification procedure for ATE for military supplies is not documented.

• Journal of Internet Computing and Services
• /
• v.23 no.2
• /
• pp.79-86
• /
• 2022

This paper focuses on realizing design improvement and high quality through visualization of reverse engineering-based software. As new technologies and complex software emerge in various areas of the fourth industry in the future, software verification with both stability and reliability is becoming an issue. We propose a reverse engineering-based UML design extraction and visualization for high-quality software ranging from simple computational software to machine learning-based data-oriented software. Through this study, it is expected to improve software quality through design improvement by checking the accuracy of the target design and identifying the code complexity.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1987-1994
• /
• 1997

ATM switching software should be required high reliability, functionality, extendability and maintainability. After development of the software, it is verified and tested by analyzer whether the software is accomplished the characteristics of it or not. There are so many CASE tools in other area, but the CHILL testing tools that can verify ATM softwares have not various functions are not many. In this paper we develop the testing tool which can evaluate and test CHILL programmed ATM software. This Tool supports testing reports, debugging informations and maintenance informations including parallel process about CHILL original programs.