• 한국산학기술학회논문지
• /
• 제13권9호
• /
• pp.4207-4213
• /
• 2012

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.366-370
• /
• 2006

정형명세는 자연어의 모호함을 없는 명료한 시스템 설계를 가능하게 한다. 상태차트와 같은 정형명세 된 요구사항은 시뮬레이션이나 정형검증을 통해 요구사항을 실행하여 볼 수 있으며, 더 나아가 여러 가지 특성을 정형검증과 같은 검증 기법으로 검증 할 수 있다. 하지만 자연어 요구사항을 상태차트로 변환하여 다양한 요구사항의 특성을 기술하기 위해서는 상당한 노력과 경험이 필요로 하다. 본 논문에서는 자연어 요구사항을 상태차트로 직접 변환하는 기법을 제안한다. 이를 위해 본 논문에서는 기능적인 요구 사항의 자연어를 분석하고, 또한 소프트웨어 요구사항 기술에 적절하도록 상태차트 문법의 의미를 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.283-286
• /
• 2004

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1250-1251
• /
• 2011

시스템을 개발함에 있어 시스템요구사항을 명확히 정의하고 시스템 요구사항에 따라 시스템이 개발되는 가를 관리하는 것은 매우 중요한 연구과정이라 할수 있다. 최근에 국내외적으로 시스템 모델링을 기반으로 하여 시스템 요구사항을 개발하는 방법론이 도입 및 연구 되고 있다. 도시철도표준화사업에서도 지능형감시장치를 개발하고 있는데 이 장치를 효율적으로 개발하기 위하여 시스템 모델링을 통한 기능분석을 수행하여 설계 및 제작요구사항을 개발하고 시스템을 어떻게 검증할 것인가에 대한 요구사항을 개발하여 시스템을 개발하고 있다. 따라서 본 연구에서는 시스템공학적 방법론을 통하여 지능형감시장치에 대한 설계, 제작 및 검증요구사항 개발방법론 관한 연구에 대하여 논하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1248-1249
• /
• 2011

시스템을 개발함에 있어 시스템요구사항을 명확히 정의하고 시스템 요구사항에 따라 시스템이 개발되는 가를 관리하는 것은 매우 중요한 연구과정이라 할수 있다. 최근에 국내외적으로 시스템 모델링을 기반으로 하여 시스템 요구사항을 개발하는 방법론이 도입 및 연구 되고 있다. 도시철도표준화사업에서도 차지상간 데이터전송장치를 개발하고 있는데 이 장치를 효율적으로 개발하기 위하여 시스템 모델링을 통한 기능분석을 수행하여 설계 및 제작요구사항을 개발하고 시스템을 어떻게 검증할 것인가에 대한 요구사항을 개발하여 시스템을 개발하고 있다. 따라서 본 연구에서는 시스템공학적 방법론을 통하여 차지상간 데이터전송장치에 대한 설계, 제작 및 검증요구사항 개발방법론 관한 연구에 대하여 논하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.412-414
• /
• 2004

요구사항 추출 단계에서 고객의 요구의 일부가 반영되지 않거나 명확히 기술하지 않은 요구사항은 개발단계에서 많은 수정 작업이 요구되고, 심지어 그 프로젝트가 실패하게 되는 요인이 된다. 이와 같은 요구사항의 문제로 인한 추가적인 비용은 전체 개발비용의 30~50%나 소요된다(Boehm 과 Papaccio 1988). 하지만 요구사항 추출 단계에서 고객이 원하는 요구를 가능한 많이 추출하고 검증함으로써 추가적인 변경으로 인한 개발비용의 비용을 줄일 수 있다. 고객의 요구를 정확히 반영하기 위해서는 요구사항 추출 과정에서 고객의 참여가 매우 중요한데 본 논문에서는 성공적인 요구사항 추출 및 검증과 명세를 위해 사용자의 참여를 높이기 위한 웹 기반 요구사항 추출 도구를 소개하고 명확한 요구사항을 표현할 수 있기 위해 다이어그램을 통합한 요구사랑 관리도구를 제시한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.753-757
• /
• 2004

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

• 한국산학기술학회논문지
• /
• 제17권7호
• /
• pp.425-433
• /
• 2016

경량전철시스템의 건설은 노선당 수천억 원에서 조 단위의 건설비가 소요되는 대형 복합인프라 사업으로, 건설된 시스템은 장기간 운영되기 때문에 생명주기관점에서 사업을 추진하는 것이 매우 중요하다. 시스템엔지니어링은 고객의 요구를 성공적으로 구현하는 수단 및 방법론으로 경량전철사업과 같은 대형 사업에 매우 유용하다. 이러한 시스템엔지니어링 접근법을 경량전철사업에 적용하기 위해 개발된 전산모델 SELRT(Systems Engineering application model for Light Rail Transit project)가 현장에서 활용되기 위해서는 모델에 대한 검증이 필요하다. 시스템엔지니어링에서의 검증은 시스템요구사항을 만족하였음을 확인하는 것이다. 따라서 본 논문에서는 시스템엔지니어링 방법론에 따라 검증 절차와 검증 아키텍처를 제시하고, 이에 따라 시스템요구사항을 식별하였다. 또한 시스템요구사항을 검증하기 위해 국제 표준규격 등 참조규격을 참고하여 검증요구사항 및 검증항목과 검증기준을 도출하였으며, 검증절차에 따라 SELRT를 시연하고 결과를 검증요구사항과 비교하였다. 그 결과 시스템요구사항과 검증요구사항의 추적성, 검증요구사항별 검증방법, 전산도구의 시연결과가 상호 연결되고, 최초요구사항이 SELRT에 명확히 구현되었음을 확인할 수 있어, 제안된 방법이 SELRT 검증에 유효하며, SELRT도 경량전철사업현장에서 활용될 수 있음이 확인되었다.