• 인터넷정보학회논문지
• /
• 제13권1호
• /
• pp.99-106
• /
• 2012

다수의 오브젝트로 구성된 반응형 시스템을 모델링 하거나 디자인하기 위해 외부의 입력 및 오브젝트들간의 상호작용을 분석하는 것은 중요하고 어려운 문제이다. 또한, 반응형 시스템이 요구 사항들을 모든 가능한 환경 하에서 올바르게 만족하는지를 확인하는 것은 많은 노력이 필요하다. 본 논문에서는 요구 사항들을 기존에 다양한 분야에서 사용되는 시나리오 명세 언어인 MSC(Message Sequence Chart)에 대해 구문 및 의미를 확장한 LSC(Live Sequence Chart)를 이용하여 반응형 시스템에 적합한 시나리오 기반 명세 모델을 만든다. 그리고 LTL Synthesis를 통해 각 오브젝트에 대하여 모든 요구 사항을 올바르게 만족하는 반응형 시스템 모델을 자동으로 생성한다. 마지막으로 생성된 반응형 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 반복함으로써 전체 반응형 시스템을 개발하는 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.200-203
• /
• 2011

다수의 모듈로 구성된 반응형 시스템을 개발하기 위해 외부의 입력 및 모듈간의 상호작용을 분석하는 것은 중요하고 어려운 문제이며, 반응형 시스템이 요구 사항을 올바르게 만족하는지를 확인하기 위해서는 많은 시간과 비용이 소모가 된다. 본 논문에서는 요구 사항을 LSC(Live Sequence Chart)를 이용해 시나리오 기반 명세 모델을 만들고 Synthesis를 통해 요구 사항을 모두 올바르게 만족하는 시스템 모델을 자동으로 생성한다. 궁극적으로 올바른 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 보이는 것으로 시나리오 기반 명세 모델로부터 반응형 시스템을 개발하는 방법을 제안한다.

• 정보보호학회논문지
• /
• 제20권2호
• /
• pp.23-32
• /
• 2010

IEEE 802.16e 표준을 기반으로 하는 와이브로(WiBro) 서비스는 순수 국내 기술로 개발된 초고속 무선 휴대인터넷 기술이다. 본 논문에서는 와이브로 초기인증 단계에서 생길 수 있는 보안취약점을 분석하고 그러한 보안위협을 대상으로 한 공격을 탐지할 수 있는 명세기반의 침입탐지시스템을 제안한다. 제안된 침입탐지시스템은 PKMv2 EAP-AKA 기반의 정상적인 초기 인증 동작방식을 명세화하여 상태전이머신으로 모델링한 후 명세에 기반한 침입탐지를 실시한다. 본 논문에서는 초기인증 과정에서 발생 가능한 다섯 가지의 공격들을 시나리오로 모델링하고, 시나리오 기반의 실험을 실시하여 제안된 침입탐지시스템의 탐지성능을 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.258-263
• /
• 2007

임베디드 시스템은 그 복잡도가 나날이 증가하고 있는데, 특히 기능성 외에 주어진 시간 제약 조건을 만족해야 한다는 점에서 개발 및 검증이 어렵다는 특징을 갖고 있다. 특히 검증에 대해서는 많은 경우에 적당한 시나리오들을 잡아 반복적인 시뮬레이션을 하는 방법을 사용하는데, 이 방법은 많은 시간이 걸리며, 적당한 시나리오들을 잡기 어렵다는 문제 또한 가지고 있다. 본 논문에서는 데이터플로우 모델과 유한상태기계 모델을 확장하여 시스템에 자원 사용 정보 및 시간 제약 조건을 명세하고, 이 모델들에 기반한 정적 시간 분석 방법을 제시하고 있다. 본 논문에서 제시한 방법을 통해 검증 시 자동으로 필요한 시나리오들에 대해 검증을 수행할 수 있으며, 시뮬레이션 등 긴 시간이 걸리는 검증 방법을 최소한으로 사용할 수 있다는 이점을 얻을 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.421-423
• /
• 2002

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 정형적 명세를 이용하여 핵심적으로 나타내고 이를 이용하여 웹 프로그램의 실행 동작을 테스트할 수 있는 과정을 제안하고 실험하였다. 실험 대상은 웹 뱅킹 업무로 정하고 정형화 명세에서 상태 천이도를 구성하고 테스트 시나리오를 추출하는 방법을 기술하였다. 제안한 방법은 웹 프로그램의 사용 기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요란 요소가 될 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2115-2118
• /
• 2002

이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 Object-Z 정형 명세 언어를 이용하여 핵심적으로 나타낸다. 이로부터 상태 모델을 구성하고 최상위 레벨의 STD 에서 세부적으로 STD 를 추가하여 테스트 시나리오를 추출한다. 실험 대상은 웹 뱅킹 업무로 정하고 계좌개설 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

• 인터넷정보학회논문지
• /
• 제5권6호
• /
• pp.67-77
• /
• 2004

본 논문은 인과성 모델에 기반 한 멀티미디어 동적 저작시스템을 구현하였다. 사용자가 원하는 시나리오를 직관적이고 자연스럽게 프로그램 하도록 2가지 명세를 정의하였다. 인과성을 바탕으로 한 시간 명세는 프리젠테이션에 참여하는 미디어 객체간의 시간관계를 정의한 것이며, 두 번째 명세는 스크린상에 실행되는 미디어들의 상대적인 위치 관계를 토대로 정의한 공간 명세이다. 이 두 가지 사양을 토대로 프리젠테이션 시스템을 구성하였다. 본 시스템의 구성은 멀티미디어 전자문서 생성 과정을 반영한 것이며 그 단계로는 1차원 스트링 리스트 생성 단계, 시간 및 공간 트리 생성 단계, 복합 트리 생성 단계로 구성 처리하였다.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.855-864
• /
• 2004

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.449-452
• /
• 2002

본 논문에서는 명세를 기반으로 한 통합 테스트를 수행할 때 사용될 수 있는 시나리오 작성지원방안을 제시한다. 이를 위해 요구사항정의테이블, 프로세스정의테이블, 프로그램 대 테이블 상관도를 이용하며, 추가로 앞의 3가지 테이블 기능을 요구분서, 설계, 테스트 단계별로 나누어 한곳에서 신속 정확하게 체크할 수 있는 요구사항추적테이블을 생성한다. 본 연구의 통합 테스트를 위한 시나리오 작성 지원방안의 출력물은 시나리오 작성을 위한 지침서 역할을 한다. 그 결과 검사팀의 시나리오 작성노력을 상당부분 줄일 수 있을 뿐만 아니라 요구사항에 대한 누락을 배제하고, 해당 프로세스에 대한 테이블정보를 알 수 있으므로 테스트할 때 잘못된 값을 입력하는 것도 방지할 수 있다.