http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
원인-결과 다이어그램과 접목을 위한 메시지-순차적 다이어그램 확장 연구
우수정 ( Sujeong Woo ),손현승 ( Hyun Seung Son ),김영철 ( R. Young Chul Kim ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.1
본 논문은 Gary E. Mogyorodi[1]가 제시한 기법을 기반으로 Use-Case Approach 접목을 통해 테스트케이스 추출을 제안하고자 한다. 최근 이슈가 되고 있는 임베디드 시스템은 기존의 결정적 소프트웨어와 달리 비결정적, 실시간 또는 병렬적 시스템이다. 그래서 이러한 복잡한 시스템을 모델링 하기 위해서, 메시지-순차적 다이어그램을 확장을 통해 해결하고자 한다. 또한 Gary E. Mogyorodi[1]가 제시한 기법과 확장된 메시지-순차적 다이어그램을 접목을 통해 Test Case 를 생성하기 및 추출하고자 한다. 이 테스트케이스로 선 시험함으로써 실제 개발과 구현단계에서 오류를 참조하여 시간과 비용을 줄이고자 한다.
가상 스마트홈 제어 모델 개발 및 가상 검증을 위한 테스트케이스 도출 연구
우수정(SuJeong Woo),김영철(Young-chul Kim) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.2B
개발 전에 시스템 검증을 위한 방안으로 사용자의 요구사항을 M&S(모델&시뮬레이션)[3,4]을 통해 가상화 한다. 이를 통해 실물 테스트를 하기 위해 가상의 테스트 케이스를 도출하려한다. 이를 위해 테스트 케이스 도출 절차 방법을 제안한다. 이 도출 절차 방법은 Use-Case Diagram(유즈케이스 다이어그램)으로 부터 Sequence Diagram(순차적 다이어그램)을 만들고 그리고 Cause-Effect Diagram(코우즈-이펙트 다이어그램)을 추출한다. 이로 부터 Decision Table(결정 테이블)이 자동 작성되고 최종적으로 Test Case가 추출하게 된다. 이를 자동화하기위해 Tool Modeling HiMEM ver. 1.0 개발하였다. 이 도구를 통해 실제 테스트 케이스를 추출하였다. 이 논문은 선(先) 테스트를 통해 개발 후 테스트에 비해 비용과 시간이 절감하려고 한다. 또한 가상 모델링 환경에서 테스트를 통해 사용자 요구사항에 부합하는 테스트케이스의 도출과 적용을 통해 비교가 가능하리라 본다. 적용사례로 자바환경으로 만들어진 가상 스마트 홈을 스마트폰에 의해 제어에 대한 테스트 케이스 추출을 보여 준다.
UML 메카니즘과 원인-결과 다이어그램 기반 테스트케이스 생성을 위한 자동 도구 개발
우수정(SuJeong Woo),김영철(R.Young-Chul Kim) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1B
본 논문은 Use Case 기반 개발에서 요구사항부터 테스트 케이스를 자동 추출하는 메커니즘을 제안 하고자 한다. 제안한 메커니즘은 기존의 테스트케이스 생성 메커니즘[3]을 Use Case 메커니즘과 접목[2]한 것이다. 그리고 그 기반으로 자동 도구 구현을 통해 모든 가능한 테스트 케이스 추출하는데 있다. 이는 최소의 테스트 케이스로 100%의 기능적인 요구사항 커버리지 만족[3]시킨다는 Gary 방법을 이용하고자 함이다. 이 도구의 단계는 확장된 UML 다이어그램으로부터 원인-결과 다이어그램을 전환 한 후, 결정 테이블화한다. 마지막 단계는 이를 통하여 테스트케이스가 자동적으로 발생 한다.
BPEL의 모델 체킹을 위한 BPEL의 Onion Visual Language 변환
우수정(Sujeong Woo),최재홍(Jaehong Choe),온진호(Jinho On),이문근(Moonkun Lee) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1B
클라우드 컴퓨팅에서 사용되는 웹 서비스들은 BPEL에 의해 여러 서비스들이 새로운 웹 서비스로 조합되어지며, 서비스가 제대로 동작하는지를 검증하기 위해 Petri nets, Abstract State Machine(ASM), BPECalculus 등의 검증 방법을 사용한다. 이러한 검증 방법은 BPEL을 사용하여 새로 만들어진 웹 서비스들이 안정적으로 동작하는지를 검증하는 것으로, 웹 서비스 설계와 검증이 서로 분리되어 있다. 본 논문에서는 명세, 분석 및 검증의 전 과정에서 프로세스의 포함관계, 상태정보, Interaction, Mobility 등을 그래프로 표현하며, 한 단계의 그래프를 통하여 시스템 전체의 복잡도 및 시스템의 행위를 예측할 수 있는 Onion Visual Language(OVL)을 사용하여 BPEL로 설계 되는 클라우드 웹 서비스들을 OVL로 변환 후 이를 분석 및 검증한다. 추후 OVL은 서로 다른 클라우드 안에서의 웹 서비스 재사용을 위한 동일성 검증을 위한 방법으로 사용될 수 있다.
SaaS 기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 VM의 Host OS와 Guest OS의 네트워크 성능 측정 방법 개선
우수정 ( Sujeong U ),온진호 ( Jin-ho On ),최정란 ( Jung-rhan Choi ),최완 ( Wan Choi ),이문근 ( Moon-kun Lee ) 한국인터넷정보학회 2009 인터넷정보학회논문지 Vol.10 No.2
최근 들어 SaaS기반 이동형 개인 맞춤 소프트웨어 플랫폼에 관한 연구 및 개발이 활발해지고 있다. 이러한 플랫폼들은 다양한 사용자의 OS를 만족시키기 위해 최적화된 가상머신이 필수적으로 요구된다. 또한 다양한 Host OS에서 내부, 외부 네트워크간에 빠르고 안정적인 서비스를 지원 함으로서 사용자의 작업환경 이동성을 보장해야 한다. 이를 위해 가상머신은 다양한 관점에서의 성능 측정이 필요하다. 하지만 기존 연구에서 가상머신의 성능 측정은 Host 컴퓨터에 설치된 VM에 Guest OS를 설치하여 이를 하나의 컴퓨터로 간주하고, 외부의 클라이언트에서 네트워크 성능을 측정한다. 이는 이동형 개인 맞춤 소프트웨어플랫폼을 위한 가상머신 성능 측정에 적합하지 않다. 본 논문은 SaaS기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 최적화된 가상머신을 선정하기 위해서 네트워크 성능 측정 방법과 측정된 결과 분석을 통한 최적화된 가상머신을 제안한다. Recently, there are a number of researches and developments for the personalized software platform for mobility based on SaaS. The platform requires an optimal virtual machine in order to satisfy the operating systems of various users for the software. In addition, the platform must guarantee the mobility of the users` working environments by supporting fast and secure services between internal and external networks in the platform operating systems. In order to verify the optimal behaviors of virtual machines for the platform, the performance of the virtual machines must be measured and analyzed in various perspectives. In the previous research, unfortunately, the performance of a virtual machine were conducted in the condition that a guest operating system was installed on the virtual machine and considered as a computer, by measuring the network traffic between the guest operating system and an external client operating system. This performance measurement was not suitable for a virtual machine for the platform since a number of different software must be handled in the virtual machine. In order to overcome this limitation, this paper presents a measurement method for network performance and proposes the most optimal virtual machine by the method.
이동 프로세스 대수에서 행위의 의미 분석을 위한 정형기법
우수정(Sujeong U),온진호(Jinho On),이문근(Moonkun Lee) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1B
분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해 π-calculus, bigraph, Mobile Ambient, CARDMI등의 정형기법이 존재한다. 이러한 정형기법은 이동하는 에이전트 혹은 프로세스에 대한 명세 및 시스템의 안전성과 검증에 대한 분석을 지원하지만, 행위의 의미적 관점에서 분석 및 검증 방법을 제시하고 있지 않다. 본 논문에서는 정형기법으로 명세 된 시스템의 실행 데이터인 원시 데이터를 행위의 의미적 관점에서 시스템을 분석 및 검증이 가능한 Prism Analyzer를 제안한다. 제안된 Prism Analyzer는 특정 시스템에 대해 발생할 수 있는 다양한 행위를 온톨로지와 속성문법으로 정규화한 다양한 행위모델을 지닌다. 이러한 Prism Analyzer는 원시 데이터를 행위의 의미적 측면에서 개별적, 연속적, 복합적으로 분석 및 검증이 가능하고, Prism Analyzer에 정의된 다양한 행위 모델을 바탕으로 동일한 원시 데이터에 대해 행위 모델에 따른 다양한 분석 결과를 도출해 낼 수 있다.
응급 의료 시스템의 자동 제어를 위한 CARDMI 프로세스 알제브라 기반 스케줄러에 관한 연구
우수정(Sujeong U),온진호(Jinho On),최정란(Jung-Rhan Choi),이문근(Moonkun Lee) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.1
현재 응급 의료 시스템에서는 환자의 소재를 파악하기 힘들 뿐만 아니라, 환자의 이송과정에서도 환자를 치료할 수 없는 병원에 이송하는 등의 문제점을 지닌다. 또한 이송을 위한 대기중인 구급차가 없거나, 환자의 병명에 따른 시한을 지키지 못함으로써 환자를 위급한 상태까지 이르게 하는 경우도 존재한다. 본 논문은 이러한 문제를 해결하기 위해 자동화된 중앙 관리 체계를 기반으로 한 u-EMS의 시공간 환경과 행위를 명세 및 분석하기 위한 CARDMI기반의 HAP 스케줄러를 제안한다. 이를 통해 응급 의료 시스템에서 발생할 수 있는 문제점을 u-EMS를 통해 환자를 적시적소에 EMS서비스를 제공할 수 있도록 스케줄링 하였다.
UML2.4.1 기반 메시지-순차적 다이어그램을 통한 테스트 케이스 추출 연구
우수정 ( Sujeong Woo ),김동호 ( D. H. Kim ),손현승 ( S. H. Son ),김영철 ( Robert Young Chul Kim ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.2
기존 연구에서는 순차적, 상태, 엑티브 다이어그램 기반의 테스트케이스 추출을 초점을 두고 있다. 하지만 현재 최신의 모델링 언어인 UML2.4.1(Unified Modeling Language) 기반으로 한 테스트케이스 추출 메커니즘은 없다. 그래서 본 논문은 UML2.4.1 기반에 기존의 원인-결과 다이어그램의 접목을 통해 테스트케이스 추출 메커니즘을 제안 한다. 이를 위해 UML2.4.1 의 메시지-순차적 다이어그램에 ECA Rule(Event Condition Action)기법을 적용하고, 제안한 접목 알고리즘을 통해 확장된 메시지-순차적 다이어그램을 원인-결과 다이어그램과 접목한 후, 결정 테이블화로 테스트케이스를 발생한다. 이러한 절차를 통해 모델링 기반에서 테스트케이스 추출 가이드가 제공된다. 본 논문에서는 복잡한 메시지-순차적 다이어그램을 통해 테스트케이스 발생 사례연구로서 자동차 와이퍼 시스템을 적용한다.