• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권1호
• /
• pp.32-37
• /
• 2016

시퀀스 다이어그램에 대한 모델 기반 테스트를 수행하기 위하여 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성해야 한다. 이를 위해서는 시퀀스 다이어그램이 나타내는 시나리오를 파악하고 테스트 커버리지를 만족하는 경로를 추출하여 테스트 정보를 생성해야 한다. 하지만 시퀀스 다이어그램은 결합 조각을 사용하여 반복 및 조건, 대안 정보를 나타내므로 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성하는 것은 복잡하다. 이러한 문제를 해결하기 위하여 본 논문에서는 시퀀스 다이어그램으로부터 액티비티 다이어그램으로 변환을 수행하는 모델 변환 프로세스를 정의하고, 이를 통해 시퀀스 다이어그램의 시나리오를 제어 흐름 형태로 표현하고 여기에 테스트 커버리지를 적용하여 테스트 케이스를 생성하는 과정을 정의한다. 마지막으로, 사례 연구를 통하여 시퀀스 다이어그램으로부터 테스트 케이스를 생성하는 과정을 보인다.

• 한국정보통신학회논문지
• /
• 제23권12호
• /
• pp.1588-1595
• /
• 2019

본 논문에서는 UML 다이어그램에 대응되는 코드 생성을 위하여 요구되는 정보를 저장하기 위한 레포지토리를 구축하는 방법을 제시한다. 객체 지향 프로그래밍에서는 객체 간의 상호 작용이 핵심이므로, UML 다이어그램들 중에서 클래스 다이어그램과 시퀀스 다이어그램에 대해서 논의를 전개한다. 클래스 다어어그램을 기반으로 실행 시간에 객체가 상호 동작하는 절차를 보이는 시퀀스 다이어그램으로부터 상응하는 코드를 생성하게 되며, 이를 위해서는 코드생성에 필요한 정보를 추출하여 정보 저장소인 레포지토리를 구축하여야 한다. 따라서 본 논문에서는 시퀀스 다이어그램의 메시지 유형을 다섯 개로 분류하고 이들로부터 각각의 레포지토리를 구성하기 위하여 필요한 항목과 그 값에 대한 정보를 추출하여 구조적으로 정보를 저장하는 방법을 제시한다. 시퀀스 다이어그램은 이들 메시지들로 구성되므로, 각 메시지에 대한 구조화된 레포지토리를 순차적으로 수집하여 최종적인 레포지토리를 구성한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.340-342
• /
• 2005

임베디드 소프트웨어의 적용영역이 확장됨에 따라 학계와 업계에서 임베디드 소프트웨어 개발 기술에 대한 관심이 고조되고 있다. UML 2.0은 산업체에서 많이 사용되는 모델링 언어로, 그 동안 현장에서는 주로 상태머신 다이어그램(State Machine Diagrams)을 사용하여 임베디드 소프트웨어의 동적 행위를 모델링하여 왔다. 그러나 모델러는 상태머신 다이어그램보다 시퀀스 다이어그램(Sequence Diagrams)을 선호하는데, 이는 시퀀스 다이어그램을 사용하는 것이 직관적이고 정확한 행위 모델을 개발할 수 있기 때문이다. UML 2.0이 최근 다양한 모델링 요소를 반영하도록 확장되었음에도 불구하고, 시퀀스 다이어그램을 사용하여 임베디드 소프트웨어를 모델링을 하기에는 아직 부족한 점이 있다. 이를 보완하고, 임베디드 소프트웨어를 더욱 잘 디자인하기 위하여 예외 상황과 인터럽트를 처리할 수 있는 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.

• 한국정보통신학회논문지
• /
• 제24권7호
• /
• pp.857-865
• /
• 2020

본 논문에서는 시퀀스 다이어그램의 메시지 패턴에 기반하여 자바 코드를 생성하는 방법을 제시하고자 한다. 시퀀스 다이어그램에서 메시지는 몇 가지 유형이 전형적으로 나타낸다. 따라서 이들 유형을 분류하여 패턴으로 정의하고, 이들 각 패턴의 메시지에 대한 정보를 분석하여 코드 변환을 하기 위한 메타 정보를 구축한다. 시퀀스 다이어그램 메시지의 구조적 정보를 분석한 '메타 메시지' 정보를 MetaMessage 데이터스토어에 구축하고, 이들 메타 메시지 정보로부터 구성되는 '메타 메소드' 정보를 MetaMethod 데이터스토어에 구축한다. 이 과정에서 메타 클래스 정보와 메타 오브젝트 정보가 함께 구축되고 사용된다. 각 패턴의 메타 정보에 기반하여 타겟 프로그래밍 언어의 문법에 따라 메시지에 상응하는 코드를 생성하게 된다. 또한, 기존 연구에서는 통합적으로 잘 다루지 않았던 분기와 반복에 대한 복합 패턴을 제시함으로써 기본 패턴과 통합된 코드 생성을 가능하게 한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2011년도 하계학술대회
• /
• pp.80-81
• /
• 2011

컴포넌트 기반 프로그램은 동시에 여러 컴포넌트간의 상호 협력에 의해서 동작한다. 여러 개의 컴포넌트 기반 프로그램을 기존의 순차적 분석 방법을 이용하여 컴포넌트의 동작을 분석해야 하기 때문에 시간이 많이 소요되고 매우 불편하다. 더욱이 컴포넌트의 수가 많아지면서 각 단계마다 각각의 컴포넌트의 동작을 모두 추적한다는 것은 매우 어렵다. 본 논문에서는 컴포넌트 기반으로 설계된 프로그램의 동작을 나타내는 시퀀스 다이어그램을 자동으로 생성할 수 있는 방법을 제안한다. 컴포넌트 기반 프로그램의 UML 시퀀스 다이어그램을 자동으로 생성하여 시각적으로 보여주어 개발의 편의성과 효율성을 증가시킨다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 D
• /
• pp.2656-2658
• /
• 2002

로켓과 지상장비의 각 모듈 사이에서 교환되는 데이터와 제어 정보, 상호작용 등을 정확하게 기술하기 위해 UML 객체 지향 방법을 이용해서 로켓 발사시스템을 모델링한다. 이렇게 만들어진 상위레벨 객체 모델을 기반으로 해서 발사통제 시스템에서 지시하는 명령들의 시퀀스로서 발사 시나리오를 구성한다. 본 논문의 UML 객체 다이어그램과 발사 시퀀스 다이어그램은 로켓과 지상장비를 운영하고 통제하는 다양한 작업에 유용하게 사용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.169-171
• /
• 2006

본 논문에서는 UML 다이어그램으로부터 시맨틱 웹 서비스 기술 표준인 OWL-S문서를 생성하는 방법을 제안한다. 특히 온톨로지의 기술을 위해 클래스 다이어그램을 사용하고, 프로세스의 흐름을 기술하기 위해 시퀀스 다이어그램 및 액티비티 다이어그램을 사용한다. 제안된 방법은 UML 모델의 재사용 및 기존 연구들이 처리하지 못하는 복합프로세스의 생성이 가능하다는 장점을 가진다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.193-195
• /
• 2012

소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
• /
• pp.60-61
• /
• 2008