• 한국정보처리학회논문지
• /
• 제6권6호
• /
• pp.1520-1531
• /
• 1999

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

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

플러그인 프레임워크는 기존 M&S 프레임워크에서의 문제점인 구성요소 간 높은 종속관계 및 낮은 유연성을 해결하고자 개발된 프레임워크 설계 방식으로, 프레임워크를 구성하는 컴포넌트를 플러그인으로 제공하여 구성요소의 추가 및 변경이 동적으로 이루어질 수 있게 한다. 또한 플러그인 컴포넌트간 통신을 위한 메시지 구조 정의가 실행 시점에 동적으로 결정되어, 컴포넌트 간 상호 독립적인 인터페이스를 보장해준다. 하지만, 플러그인 컴포넌트들의 조합이 이뤄진 상태에서 전체적인 메시지 연결 흐름이 원활하기 위해서는 각 컴포넌트에서 개별적으로 작성된 인터페이스에 대한 검증이 사전에 이뤄줘야 한다. 이에 본 논문에서는 XML 기반으로 작성된 객체 모델 명세서에 대한 무결성과 중복성을 검증할 수 있는 객체 모델 명세서 검증 도구에 대해 제안하고 이에 대한 설계내용을 설명하도록 한다.

• 한국측량학회지
• /
• 제32권4_1호
• /
• pp.353-361
• /
• 2014

본 연구는 KML내부 구문에 대해 알지 못하는 일반사용자들이 KML파일을 사용하기 위한 최적의 지도서비스와 고도화된 검증도구를 사용할 수 있게 국내외 대표적인 저작도구를 분석하였다. 분석된 결과를 이용해 기존의 검증도구를 고도화해 구글 어스나 브이월드 3D 데스크톱에서 사용가능 여부와 발생할 수 있는 문제점들을 사용자에게 알려주는 시스템을 설계했다. 사용자가 본 검증도구를 통해 검증을 완료하면 사용한 KML 정보를 지도기반으로 간단히 표현하고 구글 어스와 브이월드 3D데스크톱의 초기화면으로 보여주며 KML과 관련된 중요 사항을 알려준다. 만약 적당한 프로그램이 없거나 다른 프로그램을 선택한다면 해당 프로그램 사용 시 발생할 수 있는 문제들을 사용자에게 알려주어 KML의 호환성을 높일 수 있었다.

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

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

• 환경정보
• /
• 통권391호
• /
• pp.18-22
• /
• 2011

• 한국인터넷방송통신학회논문지
• /
• 제13권2호
• /
• pp.127-136
• /
• 2013

한국저작권위원회의 CT R&D 과제로 진행되고 있는 EPUB DRM 호환성 기술 연구(과제명 : 국제표준의 EPUB 기반 전자책 DRM 표준 레퍼런스 소프트웨어 기술 개발)는 2011년 전자책 시장의 사실상표준으로 자리매김을 하고 있는 EPUB 표준을 기반으로 암호화 및 전자서명 프로파일 표준안과 인증서 프로파일 표준안, 그리고 권리정보 용어에 대한 표준안을 개발하였다. 이들 4개의 표준안들은 각각 '전자책 DRM 암호화 명세서', '전자책 DRM 전자서명 명세서', '전자책 DRM 인증서 명세서', '전자책 DRM 권리용어 정의' 라는 제목으로 전자출판물표준화포럼(ODPF)과 한국정보통신기술협회(TTA)를 통해 2012년 국내 산업표준으로 제정이 완료되었다. 또한 동일 연구과제에서는 이들 4개의 표준이 전자책 DRM의 실질적인 호환성을 위해 적용될 수 있도록 전자책 DRM 라이선스 프로토콜에 대한 표준안도 2012년에 수립하였다. 기술 표준들은 해당 표준 명세서를 기반으로 개발된 구현물들이 표준에 부합되게 구현되었는지를 검사하는 표준정합성 검증과정이 필수적으로 요구된다. 본 논문은 전자책 DRM 표준기술 명세서를 기반으로 한 자동화된 표준 정합성 검증 방법 및 모델을 제시하고자 한다.

• 한국인터넷방송통신학회논문지
• /
• 제14권1호
• /
• pp.37-49
• /
• 2014

본 논문은 지금까지 제안된 요구사항 공학과정을 체계적으로 분석하고 최적의 과정을 제안하였다. 세부적으로는 요구사항 추적관리와 기원을 살펴보고, 요구사항 명세서를 도출하는 다양한 출발점 (고객이 제시한 요구사항 명세서로부터, 요구사항 도출로부터, 문제분석으로부터, 비즈니스 모델링부터)을 고찰하였다. 또한, 이해 당사자 욕구 도출, 문제 분석, 비즈니스 모델링의 수행 우선순위에 대한 다양한 방법을 고찰하였다. 이들 결과로부터 "전산화 목표 파악, 비즈니스 프로세스 파악, 비즈니스 모델링, 문제분석, 이해당사자 욕구 도출, 시스템 특징 도출, 요구사항 도출, 요구사항 명세와 검증" 과정을 수행하는 것이 가장 체계적으로 요구사항 명세서를 도출하는 과정임을 제안하였다. 이 방법을 적용하면 개발단계에서 관리하면 개발단계에서의 요구사항 변경을 최소화 시키고 프로젝트 성공률을 향상시킬 수 있으며, 고객의 만족도도 향상시킬 수 있을 것이다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2020년도 제32회 한글 및 한국어 정보처리 학술대회
• /
• pp.215-219
• /
• 2020

현재 한글 언어학 영역에서는 많은 언어 분석 연구가 수행되었다. 또한 소프트웨어공학의 요구공학 영역에서는 명료한 요구사항 정의와 분석이 필요하고, 비정형화된 요구사항 명세서로부터 테스트 케이스 추출이 매우 중요한 이슈이다. 즉, 자연어 기반의 요구사항 명세서로부터 원인-결과 그래프(Cause-Effect Graph)를 통한 의사 결정 테이블(Decision Table) 기반 테스트케이스(Test Case)를 자동 생성하는 방법이 거의 없다. 이런 문제를 해결하기 위해 '한글 언어 의미 분석 기법'을 '요구공학 영역'에 적용하는 방법이 필요하다. 본 논문은 비정형화된 요구사항으로부터 테스트케이스 생성하는 과정의 중간 단계인 요구사항에서 문장 의미 모델(Sentence Semantic Model)을 자동 생성하는 방법을 제안 한다. 이는 요구사항으로부터 생성된 원인-결과 그래프의 정확성을 검증할 수 있다.

• 스마트미디어저널
• /
• 제13권8호
• /
• pp.9-15
• /
• 2024

소프트웨어 테스트는 소프트웨어 개발 프로세스의 필수적인 부분이다. 특히 MC/DC(Modified Condition / Decision Coverage)는 복잡한 조건과 결정 구조를 효과적으로 검증하여 소프트웨어의 안정성과 신뢰성을 높이는 데 사용된다. 본 연구에서는 MC/DC 수행의 최대 커버리지 값 확인을 위해 2진수를 활용한 MCC(Multiple Condition Coverage) 테스트 케이스 생성하는 MTC(MCC Test Cases) 생성기를 제안한다. 제안한 MTC 생성기는 TCAS(Traffic alert and Collision Avoidance System)-II 명세서 조건의 일부를 사용하여 CSV(Comma-Separated Values) 파일로 변환 후, VectorCAST 프로그램을 통해 커버리지 결과를 확인하였다. 그 결과 MCC 테스트 케이스로 MC/DC를 수행하여 TCAS-II 명세서의 각 조건들의 MC/DC 수행 시 최대 커버리지 값을 확인하였다. 이는 MC/DC 수행 시 커버리지 최댓값을 확인 함으로써 MC/DC 테스트 케이스 검증 연구에 도움이 된다. 또한 더 많은 테스트 케이스를 통해 결함발견 가능성도 증가시킨다. 이를 통해 소프트웨어 테스트의 커버리지 검증의 효율성과 소프트웨어의 품질 및 안정성을 향상하는 데 기여할 수 있다.

• 지적과 국토정보
• /
• 제44권1호
• /
• pp.165-177
• /
• 2014

일반적으로 KML 검증도구는 KML 파일을 작성하는 사람이 사용할 기능을 제공한다. 즉, 잘 구성된 문서 여부와 스키마 및 명세서를 준수하였는지를 검증하고, 오류가 있는 부분의 KML 코드 위치만 알려줄 뿐이다. 타인이 작성한 KML 파일을 사용하고자 하는 사람은 KML 검증을 통해 해당 파일의 유효성뿐만 아니라 공간객체의 위치정보, 형태, 개수 등의 일반적 요약사항도 궁금해 한다. 이에 본 연구에서는 기존 검증도구의 검증기능을 모두 포함하면서 OpenLayers 기반의 지도 연동과 도형 및 이미지 기반의 KML 파일 요약정보를 제공하는 사용자 친화적 KML 검증도구를 제안하였다.