• 한국멀티미디어학회논문지
• /
• 제8권5호
• /
• pp.715-720
• /
• 2005

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

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권4호
• /
• pp.167-176
• /
• 2017

자동차 산업이 급격히 발달하면서 각종 인명손실을 예방하기 위한 정책 및 안전장치가 늘어나고 있다. 트렌드의 일환으로 2011년에 차량의 전기전자시스템의 기능안전성을 확보하기 위한 ISO26262 $1^{st}$ edition이 릴리즈 되었으며, 2016년 하반기에 $2^{nd}$ edition이 릴리즈 될 예정이다. ISO 26262에서는 안전 요구사항에 대해 Walk through, 인스펙션, 준정형 검증, 정형 검증을 통해 전기전자시스템 요구사항에 대한 검증을 요구하고 있다. 본 논문에서는 ASIL (Automotive Safety Integrity Level) D등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다.

• 한국인터넷방송통신학회논문지
• /
• 제16권1호
• /
• pp.263-271
• /
• 2016

소프트웨어 요구사항 분석은 성공적인 소프트웨어 프로젝트를 위해 필수적 요소이다. 특히 불완전한 요구사항은 소프트웨어 프로젝트 실패의 가장 큰 원인으로 꼽힌다. 불완전한 요구사항은 소프트웨어 개발 시 개발자에게 이해 부족을 야기할 뿐 아니라, 소프트웨어 검증 시 에도 모호한 기준을 제공함으로써, 개발 후반부에 납기일 연기 및 비용 증가의 원인이 된다. 요구사항 패턴은 이러한 문제를 극복하는데 도움을 줄 수 있다. 요구사항 패턴은 요구사항 작성과 검토 시 참조모델이 될 뿐 아니라, 검증 기준이 될 수 있으며, 작성자가 누락한 부분을 보완해 줄 수 있다. 이와 더불어 요구사항 작성의 경험이 적은 작성자는 요구사항 패턴을 통해 더 쉽고, 빠르고 정확하게 요구사항을 작성할 수 있다. 본 논문에서는 다양한 요구사항의 시나리오를 통해 공통된 요구사항 시나리오를 추출하는 기법을 제안한다. 그리고 제안한 기법의 가시성 검증을 위해 여덟 개의 프로젝트에서 추출한 83개의 소프트웨어 시나리오를 통해 54개의 시나리오 패턴을 추출하고 이 패턴을 이용하여 누락된 행위를 찾는 과정을 사례연구를 통해 보여준다.

• 한국콘텐츠학회논문지
• /
• 제8권5호
• /
• pp.61-71
• /
• 2008

서술 지향적인 방법에 의한 요구사항의 도출은 명확한 요구사항을 정의하는 데 있어서 불충한 것으로 지적되곤 한다. 이것은 요구사항을 기술하는 작업자들이 시스템을 이해하는 관점에 차이가 있기도 하지만, 내용의 표현방법이나 다루는 내용의 깊이, 그리고 이러한 내용을 문서화하는 방법에 있어서도 큰 차이를 갖기 때문이다. 본 연구는 이와 같이 서술적인 방법으로 도출된 GOLORY(GLObal Resource management sYstem)의 요구사항을 개선하기 위하여 UML 기반의 다이어그램을 이용한 요구사항 분석기법을 적용한 사례이다. 특히 다이어그래밍 기법을 활용함으로써 요구사항을 체계적으로 명확하게 도식화 하고, 이를 통해 요구사항의 일관성 유지와 아울러, 중요한 요구사항의 누락 방지 등의 성과를 달성할 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.871-872
• /
• 2009

시스템 또는 소프트웨어의 개발에 있어서 요구사항은 가장 중요한 산출물 중 하나이며, 요구사항의 오류를 수정하는 비용은 프로젝트가 진행됨에 따라 급격히 증가하기 때문에 잘 작성된 요구사항은 개발비용의 절감효과를 가져올 수 있다. 자연어의 모호성으로 발생될 수 있는 오류들을 줄이기 위해 정형적인 언어를 사용하여 요구사항을 명세하고, 요구사항의 완전성을 높일 수 있다. 본 논문에서는 열차제어시스템의 핵심 기능 중 하나인 간격제어모듈의 요구사항을 상태차트로 명세 및 검증 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권3호
• /
• pp.161-169
• /
• 2010

요구사항 추출 활동은 다양한 이해당사자의 요구를 요구사항으로 추출하고 협상을 위한 정보를 생성하는 사전 준비 작업이다. 그러나 현재 고객으로부터 요구사항 수집을 위한 기법은 다수 존재하고 있으나, 요구사항 분류와 협상을 위한 정보 제공에 대한 연구는 부족한 실정이다. 본 연구는 요구사항을 분류하고, 협상을 위한 정보를 식별하는 기법에 대한 연구이다. 본 연구는 요구사항 분류를 위해 Kano 모델과 통계 기법을 활용하였으며, 협상을 위한 정보를 생성하기 위해 요구사항과 문제의 관계를 고려하였다. 제안한 기법에 대한 시뮬레이션, Rough Set Theory, 사례 검증을 수행하여 제안한 방법의 타당성을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.346-348
• /
• 2004

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

• 시스템엔지니어링워크숍
• /
• 통권1호
• /
• pp.127-133
• /
• 2003

시나리오 형태의 요구사항 분류는 ATAM, SAAM, Software Quality Metric 과 같은 품질 요구사항 분석 및 평가 방법 등 많은 분야에 응용된다. 이들 기법들은 소프트웨어 시스템의 품질 요구사항을 분석, 평가하기에 앞서 초기 수집된 요구사항들을 분류하게 된다. 그러나 요구사항을 분류하는 일은 수작업을 통해 이루어지게 되고, 따라서 미 분류, 중복분류, 등의 결함을 가질 수 있다. 결함의 가능성을 요구사항의 수가 많은 대형 프로젝트 일수록 높아지게 된다. 따라서 본 논문에서는 요구사항 분류언어를 통한 품질 요구사항 자동 분류 기법을 제안한다. 제안된 기법은 분류언어와 유사도를 이용한 2 단계 분류기법을 이용하였다. 분류언어는 각 도메인별로 개발되어 비슷한 도메인일 경우 재사용될 수 있다. 이를 검증하기 위해, 본 논문에서는 15 여개의 프로젝트로부터 수집된 요구사항을 이용해 실험을 수행하고 그 결과를 분석, 평가 하였다.

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

스마트팩토리는 협동 로봇과 같은 프로그래머블한 설비의 유기적인 협업을 통해 최적화된 공정을 수행한다. 따라서 수집되는 센서 데이터의 특징과 환경 조건의 복잡도가 높아, 예지보전을 위한 AI 소프트웨어의 개발 시 요구사항 기반의 체계적인 개발 및 검증이 필수적이다. 본 논문에서는 AI 소프트웨어의 요구사항을 사용자와 시스템 관점에서 정의하고, AI 모델 개발 프로세스와 스마트팩토리 예지보전 측면에서 분석한다. 도출된 요구사항을 CNN 기반의 협동 로봇 기어 마모 예측 모델의 개발에 적용하여 데이터 관리와 모델 신뢰성 관점의 요구사항을 분석 및 검증하였다.

• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.