• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.843-852
• /
• 2001

소프트웨어의 오류에 대한 통계를 보면 구현단계보다 분석과 설계 단계에 더 중요하고 많은 오류가 유입된다. 따라서 소프트웨어의 분석 및 설계 작업의 결과인 디자인 모델이 요구에 맞게 설계되었는지, 또는 구조적으로 적합한지 잘 점검할 필요가 있다. 이 논문에서는 객체지향 설계 방법으로 사용되고 있는 UML로 표현된 설계 모델을 효과적으로 테스트할 수 있는 방법에 대해 논의하였다. UML 모델을 이루는 각 요소들에 대한 제약조건을 OCL(Object Constraint Language)로 기술하고 카테고리 분할 방법을 이용하여 UML모델을 테스트하기 위한 데이터를 생성하는 방법을 제안하였다. 생성된 테스트 데이터를 이용하여 객체지향으로 설계된 모델뿐만 아니라 개발된 시스템의 기능 테스트를 수행할 수 있다.

• 정보처리학회논문지D
• /
• 제16D권1호
• /
• pp.65-72
• /
• 2009

현재 컴포넌트 기반 개발 기법은 재사용성과 생산성 측면에서 효과적인 소프트웨어 개발 방법으로 많은 각광을 받고 있다. 하지만 기존의 UML을 이용한 컴포넌트 기반 개발에서는 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태기계 다이어그램으로 표현하고, 표현된 상태기계 다이어그램을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태기계 다이어그램으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 개발한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• 산업경영시스템학회지
• /
• 제20권42호
• /
• pp.49-57
• /
• 1997

As a software development methodology, object-oriented paradigm that has execellent reusability, portability, and extensibility, is currently being used in many application fields. Especially, UML(Unified Modeling Language), which is recently released as a third generation methodology for the object-oriented system development, has many advantages such as generalization, certainty, visualization. For this reason, the usability of UML in manufacturing system control is expected to increase. In this paper, analysis and design of FMC control system are peformed by UML. Software objects to accommodate the dynamic environment of FMC operations are modeled by using the diagrams of UML. The objective of this paper is to suggest a generic framework to design FMC control software.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.457-459
• /
• 1998

본 논문에서는 하드웨어-소프트웨어 시스템에서의 시스템 레벨 모델링 및 통합 모의 실험(co-simulation)에 관한 새로운 방법을 다루고 있다. 복잡한 시스템의 하드웨어와 소프트웨어를 하나의 객체 지향 방법론으로 모델링 및 모의 실험하여 빠르고 쉽고 정확하게 시스템의 성능을 예측하고 분석하여, 시스템 설계가 최적화 되도록 도움을 주는 설계 도구를 제안한다. ASIC, 보조 디바이스, 벗, 디스크 및 소프트웨어 등을 객체 지향 모델링 방법인 UML(Unified Modeling Language) 형식론으로 시스템의 구조를 GUI을 사용하여 모델링하고, 이것으로부터 자동적으로 DEVS(Discrete EVent System) 모의 실험 모델을 생성해내어 통합 모의 실험을 수행함으로써 시스템의 성능을 쉽고 빠르게 측정하고 예측하는 방법론을 제시한다. UML과 DEVS는 형식론으로서, UML은 추상화 수준의 시스템 모델링과 그래픽 사용자 인터페이스를 제공하며, 모의 시험은 DEVS의 시뮬레이터인 DEVS++을 사용하였다. DEVS++는 C++ 라이브러리 형태이므로 쉽게 UML에서 DEVS 형식론으로 모의 실험 모델을 추가하여 간단한 모델링할 수 있을 뿐만 아니라 정확한 모의 실험 결과를 얻을 수 있다.

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

재사용이 가능한 컴포넌트들을 사용하는 컴포넌트 기반 소프트웨어 개발 기술은 현재 소프트웨어 개발의 핵심 기술로써, 많은 소프트웨어들이 이 기법을 이용해 개발되고 있다. 컴포넌트 기반 스프트웨어를 보다 효율적으로 시험하기 위한 많은 노력이 있었으나, 아직까지 자동으로 시험을 쉽게 수행해 주는 도구는 별로 없으며 이미 개발된 도구들도 그 효용성이 미약하다. 본 논문에서는, 이전에 제안했던 컴포넌트 기반 소프트웨어 자동화 시험 도구인 CTM(Component Testing Manager)의 확장 내용으로써 XMI(XML Metadata Interchange) 형식으로 표현된 UML(Unified Modeling Language) 모델로부터의 시험 데이터 생성 및 수행기법에 대해 제시한다. 본 기법은 기존의 UML모델을 이용한 다른 시험기법과는 달리 표준화된 XML를 사용함으로써 XML모델링 도구와 독립적이고 분산환경에서 쉽게 사용할 수 있는 장점을 제공하여 보다 쉽게 컴포넌트 기 반 소프트웨어 의 시험을 가능하게 해 준다

• 한국컴퓨터산업학회논문지
• /
• 제4권12호
• /
• pp.937-942
• /
• 2003

최근에 널리 이용되고 있는 객체지향 분석 및 설계 방법에서 새롭게 EJB 기반의 컴포넌트 개발이 활성화되고 있다 일반적으로 EJB 기반 빈 생성에서는 데이터베이스를 이용한 영속적인 데이터를 사용하는 경우가 많다. 본 논문에서는 이런 환경에서 다양한 DBMS가 이용되고 있어 각각의 엔티티 빈에 종속되어 운용되고 있는 DBMS 연결을 DAO 패턴을 적용하여 분리하였고, UML을 이용하여 객체지향 설계 및 분석에서 표준화되고 정형화된 클래스를 생성할 수 있도록 최적화된 모델링을 하였다.

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

본 연구는 UML(Unified Modeling Language) 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검증하는 방법에 관한 연구이다. 일관성은 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 사용자가 작성한 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 정확성을 검증하기 위해서는 관계를 가지는 다이어그램들의 관계요소를 파악할 필요가 있다. 메타모델을 유도한 후에는 각 메타모델을 기초로 일관성 및 정확성 검증 규칙을 유도해 내고 검증의 자동화를 위하여 정형적 명세로 표현한다. 본 연구에서는 다이어그램별로 작성한 메타모델에서 규칙을 유도하고 그러한 규칙을 OCL(Obiect Constraint Language) 형태로 표현하여 검증하는 방법을 제안한다.

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

본 논문에서는 사용자 주도형의 웹 기반 원서접수 어플리케이션을 객체 지향 언어인 UML을 이용하여 설계 및 구현하였다. 즉, 개발 단계별 모델링 패턴을 정의하여 소프트웨어의 재사용 및 유지보수의 효율성을 감안하여 설계하였으며, 기존의 원서접수 어플리케이션과는 전혀 다른 사용자가 전적으로 참여하여 등록하고 접수하는 방식의 소프트웨어 응용기법을 제안하고 있다.

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

B2B 전자상거래와 같이 XML을 이용한 정보교환이 확산되고 있으며 이에 따라 상호 교환되는 정보에 대하여 체계적이며 안정적인 저장관리가 요구되고 있다. 이를 위해 XML 응용과 데이터베이스 연계를 위한 다양한 연구가 관계형 데이터베이스를 중심으로 수행되었다. 그러나 계층구조를 갖는 XML 데이터를 2차원 테이블의 집합인 관계형 정보로 표현하는 관계형 데이터베이스로의 저장에는 본질적인 한계가 있어, 계층구조를 지원하는 ORDB로의 저장이 요망된다. 따라서 계층구조를 갖는 XML 데이터를 ORDB로 저장하기 위한 모델링 방안이 요구된다. 본 논문에서는 UML을 이용한, ORDB 기반의 XML 응용을 우한 통합 설계 방법론을 제안한다. 이를 위하여 먼저 UML을 이용하여 W3C XML Schema를 설계하기 위한 XMI. 모델링 방안을 제시하고, 아울러 교환되는 XML 데이터를 효율적으로 저장하기 위하여 ORDB 스키마 설계를 위한 데이터 모델링 방법을 제안한다.