• 제목/요약/키워드: 설계품질검증

검색결과 391건 처리시간 0.025초

요구사항의 품질 향상을 위한 자동화 검증 기법 (An Automated Verification Technique for Enhancing Quality of Requirement)

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

사용자 요구사항 검증을 위한 이원적 품질요소를 적용한 RV-UI 모델의 설계 및 구현 (Design and Implementation of RV-UI model for user requirement verification Using Kano quality model)

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

  • PDF

분산환경에서의 비즈니스 정보 시스템 아키텍처 분류 (Distributed Business Information System Architectures)

  • 이혜선;이은배;고현희;박재년
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
    • /
    • pp.448-450
    • /
    • 2004
  • 소프트웨어 아키텍처는 소프트웨어 시스템 구축시 설계단계의 첫번째 부분으로 소프트웨어 개발시 중요시 되고 있다. 아키텍처 설계시는 비즈니스 목표나 품질 요구사항, 도메인의 특징과 개발 환경 등 여러 가지 사항을 고려해야하고 설계된 아키텍처를 검증할 수 있어야 한다. 그러나 성숙한 아키텍처가 아닌 경우 개발하고자 하는 시스템의 아키텍처 설계나 검증이 어렵다. 따라서 본 논문에서는 비즈니스 정보시스템에서 많이 사용되고 있는 아키텍처를 도출, 분류해보고, 품질 속성 만족 여부를 분석함으로써 비즈니스 정보 시스템 구축시 아키텍처들에게 아키텍처 참조 모델을 제공하고자 한다.

  • PDF

품질개선시뮬레이션 지원시스템의 설계 및 구현

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

  • PDF

제품데이터품질(PDQ) 평가에 따른 함정 제품모델의 형상 품질검증 자동화 초기 시스템 (Initial System for Automation of PDQ-based Shape Quality Verification of Naval Ship Product Model)

  • 오대균;황인혁;류철호;이동건
    • 해양환경안전학회지
    • /
    • 제20권1호
    • /
    • pp.113-119
    • /
    • 2014
  • 우리 해군은 함정 제품모델(Naval Ship Product Model, NSPM)을 중심으로 하는 협업 제품개발 환경 구축을 통해 설계 데이터의 재사용성과 M&S의 활용도를 높이고 있다. 그 결과 설계결과의 신뢰성이 높아지고 있으며, 이를 활용한 운영, 건조 시뮬레이션을 통해 소요군의 요구사항이 면밀히 반영되도록 하는 연구도 진행 중에 있다. 이에 따라 설계 데이터의 DB 구축 및 그 품질에 대한 중요성이 부각되고 있으나, 그와 관련된 연구는 초기상태에 머물러 있는 실정이다. 본 연구에서는 저자들의 선행연구 결과인 함정 제품모델의 품질검증 방법론에 기초하여 함정 제품모델을 구성하고 있는 형상요소의 구체적인 품질검증 방안과 이를 자동화하기 위한 연구를 수행하였다. 함정 제품모델 데이터 중 상대적으로 중요하며, 검증과정에 많은 시간이 소요되고 있는 선각모델을 사례연구 대상으로 정의하였으며, 자동차산업에서 사용되고 있는 제품데이터품질(Product Data Quality, PDQ)을 형상검증 기준으로 활용하였다. 최종적으로 선각모델의 형상 품질검증을 위한 기준과 알고리즘을 제안하였으며 이에 기반 한 초기 시스템을 개발하였다.

유통 상품의 데이터 품질 관리를 위한 데이터 표준화에 대한 연구 (An Empirical Study on Quality Improvement by Data Standardization for Distributed Goods)

  • 송장섭;류성렬
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권9호
    • /
    • pp.101-109
    • /
    • 2013
  • 데이터 품질 관리는 매우 중요하다. 본 연구는 효율적인 기업 데이터의 품질 관리를 위한 데이터 표준화 설계를 유통 상품 사례로 구축 방안을 제시하고 그 효과를 검증 하였다. 데이터 표준화 설계 방안으로 데이터 표준화 체계와 데이터 사전을 설계 하였다. 데이터 표준화 체계 설계를 위하여 데이터를 분류, 속성, 식별하였으며, 데이터 사전 설계를 위하여 데이터 사전 설계 프로세스와 단어 용어 도메인 코드사전을 구축하고, 데이터 표준화 설계 방안을 제시하였다. 제시한 데이터 표준화 방안의 효율성을 정량적, 정성적 방법으로 검증한 결과데이터표준화로 인한 데이터 품질은 24% 및 데이터 사전의 속성 설계인 일관성에 대한 데이터의 구조적 품질은 7% 향상되고, 유효함을 입증하였다.

사용자 요구사항 검증를 위한 이원적 품질요소를 적용한 RV-Ul 모델 설계 및 구현 (Design and Implementation of RV-Ul model for user requirement verification Using Kano quality model)

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

  • PDF

군용 FM 무전기 세트 자동시험장비(ATE) 설계 적합성 검증 (Design Conformance Verification of Military FM Radio Set Automatic Test Equipment)

  • 김병준
    • 한국전자통신학회논문지
    • /
    • 제15권3호
    • /
    • pp.389-396
    • /
    • 2020
  • 좋은 품질의 제품을 얻기 위해서는 제품 자체에 대한 품질 적합성 검사 이전에 생산 및 시험 관련 설비에 대한 적절한 검증이 반드시 선행되어야 한다. 다양한 생산 및 시험 관련 설비 중에서도 ATE는 오늘날 자동차산업, 항공·우주산업, 반도체산업과 같은 민간분야 뿐만 아니라, 방위산업의 군수품 생산 및 성능시험에도 활발히 사용되고 있다. 본 논문은 다양한 방법을 활용하여 군용 FM 무전기 세트의 자동시험장비 인 ATS에 대해 체계적으로 설계 적합성 검증을 실시 한 결과를 다루고 있으며, 군수품 ATE에 대한 설계 적합성 검증 절차가 명문화 되어있지 않은 현 시점에 좋은 참고자료가 될 것으로 기대된다.

코드 가시화 툴체인 기반 UML 설계 추출 및 검증 사례 (Best Practices on Validation and Extraction of Object oriented Designs with Code Visualization Tool-chain)

  • 이원영;김영철
    • 인터넷정보학회논문지
    • /
    • 제23권2호
    • /
    • pp.79-86
    • /
    • 2022
  • 본 논문은 역공학 기반 소프트웨어 가시화를 통해 설계 개선 실현과 고품질화에 초점을 두고 있다. 앞으로의 4차 산업의 다양한 영역에서 새로운 기술과 복잡한 소프트웨어가 대두됨에 따라 안정성과 신뢰성을 겸비한 소프트웨어 검증이 이슈화되고 있다. 간단한 연산 소프트웨어부터 기계 학습기반의 데이터 지향 소프트웨어까지 다양한 소프트웨어 고품질화를 위한 역공학 기반 UML 설계 추출 및 가시화 방법을 제안한다. 이를 기반으로 목표 설계에 대한 정확도를 확인하고 코드 내부 복잡도 식별을 이용하여 설계 개선을 통한 소프트웨어 품질 향상을 기대한다.

ATM교환기 S/W검증을 위한 테스팅 도구 설계 및 구현 (Implementation of Testing Tool Verification of ATM Switching Software)

  • 정창신;황선명;이경환;김행곤
    • 한국정보처리학회논문지
    • /
    • 제4권8호
    • /
    • pp.1987-1994
    • /
    • 1997
  • ATM 교환기 소프트웨어 품질 특성은 신뢰성이 높고 기능성, 확장성 및 유지 보수성이 조아야만 한다. 소프트웨어의 개발 과정이나 설계 후에 이러한 품질 특성이 만족되었는지의 여부를 평가하고 검증하는 테스팅 도구들은 많이 개발되어 왔으나 ATM 관련 소프트웨어의 품질 평가 도구는 기능성에서 뒤떨어지고 품질면에서도 부적합하다. 본 논문에서는 CHILL 언어로 작성된 ATM 교환기 소프트웨어를 대상으로 이를 평가하기 위한 테스팅 분석자료, 디버깅 및 유지 보수 정보를 제공하는 정적 도구를 설계하여 구현한다. 이 도구는 입력 프로그램에 대한 높은 가시성을 제공하여 병렬 프로세싱에 관한 정보를 통계표와 그래프로 나타내는 특성을 갖는다.

  • PDF