• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.136-138
• /
• 2003

UML cannot meet all the requirements offered in different software system for diverse application domain. GNSS (Global Navigation Satellite System) application domain is an especial environment that requires precise measurement and precision calculation of real-world geographical entities with the help of GPS (Global Position System) in both temporal and spatial factor. Therefore in the paper new extended iconic stereotypes for better modeling GNSS application in the UML Diagram are proposed, and the implementation of a program called StereotypeCreator, which is able to create iconic stereotypes used in one of the most popular visual modeling tools for software development, Rational Rose, will be also proposed.

• 산업공학
• /
• 제16권2호
• /
• pp.268-279
• /
• 2003

This paper presents critical steps in building client/server application with UML and Visual Basic, which are derived from the implementation case of a typical order processing system. To begin with, we briefly review the software architecture, the diagrams and the object-oriened building process in the UML. In the inception phase, it is critical to define the project charter, to draw use case diagrams, and to construct a preliminary architecture of the application. In the elaboration phase, it is critical to identify classes to be displayed in the class diagram, to develop user interface prototypes for each use case, to construct sequence diagram for each use case, and finally to design an implementation architecture. Steps to construct implementation architecture are given. In the construction phase, it is critical to design both the database and components. Steps to design these components are described in detail. Additionally the way to create the Internet interface is suggested.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권7호
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.

• 한국지리정보학회지
• /
• 제4권2호
• /
• pp.46-60
• /
• 2001

본 논문은 객체분산 시스템인 Web GIS시스템를 구축하고 UML을 이용하여 가시화, 시스템 구조와 행동을 명세화하였다. GIS의 UML 개념모델의 연구는 Shapefile를 모델개념으로 클래스도와 스테레오타입으로 추상화하였다. 통합된 모델인 UML을 사용하여 아키텍처와 역공 학을 중심으로 모델링하였다. 본 연구는 시스템을 구축하고 기본 형태를 제공하며, 시스템 분석/설계의 문서화를 통하여 S/W시스템의 기본 요소를 객체 또는 클래스로 파악하여 문제 영역과 해결 영역을 모델링함으로써 요구사항 변화시 적응력을 높이고 대규모 시스템에서 유지 보수들을 포함한 관리를 보다 능동적으로 관리할 수 있음을 제시할 수 있었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권3호
• /
• pp.268-276
• /
• 2002

본 논문에서는 UML 개발도를 이용하여 테스트 데이타를 자동 생성하는 방안을 제안하고, XML 기술을 이용하여 개발한 "테스트 데이타 자동화 도구인 AUTEG(Automatic UML-Based Test Data Generation)"를 "Insurance System"의 사례에 적용한 결과를 분석 기술한다. AUTEG는 전체 시스템을 구성하는 모듈 사이의 인터페이스(interface)영역에 존재하는 오류 추출이 가능한 테스트도(test diagram)와 기존의 화이트 박스 테스트(white-box test)기법을 테스트도에 적용하여 테스트 데이타를 자동 생성한다. 또한 AUTEG는 통합 테스트와 시스템 테스트에 적용할 수 있으며, 사용자가 통합 테스트의 단위 모듈을 자유롭게 그룹화 할 수 있다.

• 인터넷정보학회논문지
• /
• 제12권6호
• /
• pp.149-159
• /
• 2011

현재의 응용시스템들은 복합관계성으로 관련지어진 복합객체를 갖고 있다는 특징을 갖는다. 이러한 특징은 기존의 관계형 데이터베이스로 표현하기에는 한계가 있어 관계형 데이터베이스는 객체-관계형 데이터베이스로 확장되었다. 이에 따라서 기존의 관계형 데이터베이스 설계 방법론과 같은 객체-관계형 데이터베이스 설계 방법론이 요구된다. 본 논문에서는 스테레오타입과 태그값 그리고 제약조건을 이용한, UML 클래스다이어그램 확장에 기반하여 객체-관계형 데이터베이스를 위한 통합된 설계방법론을 개발한다. 아울러 확장된 UML 클래스다이어그램을 객체-관계형 데이터베이스 스키마로의 변환을 위한 가이드라인을 제시한다. 개발한 설계방법론에서 사용하는 객체-관계형 모델은 SQL:1999를 이용하였으며, 객체-관계형 데이터베이스 구현은 Oracle11g로 하였다. 많은 객체-관계형 DBMS는 존재하지만 객체-관계형 데이터베이스 설계에 있어서 일관된 방법론은 제시되지 않았다. 본 논문에서 제시하는 방법론을 적용함으로써 일관된 방법으로 객체-관계형 데이터베이스 설계를 가능하게 한다. 사례 연구로, 제안한 설계방법론을 컴퓨터교실 예약시스템에 대하여 적용한다.

• 한국정보통신학회논문지
• /
• 제15권1호
• /
• pp.71-80
• /
• 2011

본 논문에서는 UML 클래스 저작도구를 위한 메타데이터의 정보를 구축하고 처리하는 방법을 제시하고자 한다. 저작도구의 메타데이터 정보 구축은 UML의 클래스 다이어그램을 구성하는 요소들 바탕으로 클래스 (Class)와 관계 (Relationship)를 정의한다. 클래스의 정보 정의는 클래스의 가시성과 클래스의 이름과 클래스의 속성 그리고 클래스의 오퍼레이션이다. 관계의 정보 정의는 관계의 이름과 관계의 유형과 시작클래스 그리고 도착 클래스이다. 본 논문에서 제시하는 클래스 저작도구를 위해 구축된 정보를 바탕으로 정보 저장소에서 정보를 저장하는 방법과 불러오는 방법을 제시한다.

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

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.517-526
• /
• 2009

동적 UML 다이어그램은 객체 지향 언어로 구현된 프로그램의 복잡한 실행 동작에 대한 표현이 가능하다. 이로 인하여 동적 다이어그램 중, 순서, 상태, 액티비티 다이어그램을 이용하여 테스트 케이스를 추출하고 테스트 하는 방법이 많이 쓰이고 있다. 그러나 테스트 자원과 시간이 제한되어 있을 때 어떤 명세를 이용하여 테스트 케이스를 만드는 것이 더 효율적인지, 또한 어떤 특성이 있는지 알 필요가 있다. 이 논문에서는 ATM 시뮬레이션 프로그램을 세 가지 다이어그램으로 표현하고 이를 이용하여 서로 다른 테스트 케이스를 생성한다. 또한 뮤테이션 테스팅(Mutation Testing)을 실시하여 각 테스트 케이스에 대한 효율을 평가 하였다. 뮤턴트(Mutant) 생성은 절차적 방식과 객체 지향 방식에 의한 뮤테이션 연산자(Mutation Operator)를 구분해서 적용하였으며 뮤클립스(Muclipse)라는 이클립스(Eclipse) 기반의 플러그인 도구를 이용하였다. 생성된 테스트 케이스와 뮤턴트를 이용해서 뮤테이션 점수(Mutation Score)를 측정하고 이를 기반으로 각 테스트 케이스 및 여러 관점에서 테스트 케이스의 효율을 평가하였다. 이런 과정을 통해 테스트 케이스 생성 방식의 선택에 대한 힌트를 얻을 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제17권11호
• /
• pp.173-177
• /
• 2012

본 논문에서는 이미지를 통해 상품을 검색하고 이에 대한 상품 구입을 하는 쇼핑몰 시스템을 설계, 구현한다. 쇼핑몰 서비스에서, 이미지는 다양한 형태로 얻게 된다. 그림을 그릴 수 있는 그림판 기능, 패턴 및 도형 기반 상품 검색을 통해 다양한 형태의 이미지를 지원하는 특징이 있다. 이 쇼핑몰 시스템을 위하여 UML 사용사례 다이어그램과 클래스 다이어그램을 이용하여 설계하며, JSP를 이용하여 구현한다. 고객이 직접 찾는 디자인을 간단히 그리면 비슷한 그림의 상품이 나오게 되는 공간을 제작하며, 상품을 검색하고 이를 구매할 수 있는 시스템을 구현한다.