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

본 연구에서는 시간 요소를 고려한 무기체계 소프트웨어의 시스템 테스트 모델을 제시한다. 이를 위해 컴포넌트 기반의 UML 표기법과 무기체계의 시간 제약 특징을 고려한 무기체계 소프트웨어의 시스템 테스트 모델인 TFM(Time Factor Method) 모델을 제안한다. TFM 모델은 세 가지 요소인 (X.Y,Z)으로 구성되어 있는데. "X" 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, "Y" 에서는 Sequence Diagram과 관련된 컴포넌트(오브젝트)를 식별하고, "Z"에서는 Timing Diagram을 통하여 식별된 각각의 컴포넌트의 실행시간을 측정한다. 또한 제안된 TFM 모델의 적용사례를 들어 테스트 케이스를 도출한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 추계종합학술대회
• /
• pp.521-524
• /
• 2001

학사행정 업무분야는 학교업무의 전산화에 있어서 가장 중요한 요소가 되며, 이를 인터넷에 접목하여 사용하면서 최대의 효과를 부가시키고있다. 즉, 인터넷을 응용하여 원거리의 학생에 관한 학교업무에 편리성과 효율성을 주고 있다. 이에, 본 논문에서는 전체 학사행정업무 중에서 성적조회와 수강신청 및 변경에 관한 업무를 온라인 상에서 할 수 있도록 하는 학사지원시스템을 선계 및 구현하였다. 이는, 학생모드와 관리자 모드로 나누었으며, 학생모드에서는 성적조회와 수강신청을 수행하고 관리자모드에서는 수강기간 입력 및 변경업무를 수행 할 수 있도록 하였다. 이를 위하여, 본 논문의 시스템분석에서는 UML을 이용하여 Use Case Diagram, Sequence Diagram등을 작성하였다. 이를 통하여, 시스템 개발에서는 ASP를 이용하여 구현하였으며, 데이터베이스는 MS-ACCESS를 이용하였다. 또한, 웹 문서의 효율적인 활용을 위하여 부분적으로 Java Script 언어를 사용하였다.

• 자원환경지질
• /
• 제11권1호
• /
• pp.1-9
• /
• 1978

The study is on petrology and petrochemistry of Pajoo Acidic Igneous pluton which intruded into Precambrian metasediments of basement of the area. The geologic sequence of studied area was shown in table 1 and 10 modal analyses and 7 chemical analyses on the rock samples taken from the body. Pajoo Acidic Igneous rock consist of hypersthene-quartz-diorite and porphyritic adamellite which based on the classification of the subcommision on systematics of igneous rocks of IUGS. And porphyritic adamellite which occured as a small stock was intruded into hypersthene quartz diorite. The rock forming minerals of hypersthene quartz diorite are composed of plagioclase, perthite, quartz, hypersthene, hornblende, biotite and porphyritic adamellite is composed of perthite, quartz, plagioclase and biotite. And the former is hypidiomorphic granular texture and later is porphyritic texture with microcline phenocrysts. In silica-oxides variation diagram, the Pajoo acidic igneous rocks are similar to the trend of Daly's average composition and equivalent to the calc-alkalic rock series. In AMF diagram, these rocks are stock of fissure filling vein type by cooling in magmatic differentiation.

• 한국컴퓨터정보학회논문지
• /
• 제7권1호
• /
• pp.54-61
• /
• 2002

본 연구는 UML을 이용해 유스 케이스에 의한 순차 다이어그램을 도출하여 클래스 다이어그램을 만든 후 그 클래스 다이어그램에 의해서 XML 모델링과 데이터 모델링을 구현하고자 한다. XML 모델링을 위해 UML 클래스를 XML문서로 변환시키는 가이드라인을 제시하고, 제시한 방법에 따라 UML클래스를 XML DTD로 도출하는 예를 보일 것이며, 한편 데이터 모델링은 UML 클래스를 객체지향 데이터베이스로 변환시키기 위한 변환 방법을 제시하며, 제시한 변환 방법에 따라 구현 예를 보일 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1251-1254
• /
• 2012

본 논문은 Gary E. Mogyorodi[1]가 제시한 기법을 기반으로 Use-Case Approach 접목을 통해 테스트케이스 추출을 제안하고자 한다. 최근 이슈가 되고 있는 임베디드 시스템은 기존의 결정적 소프트웨어와 달리 비결정적, 실시간 또는 병렬적 시스템이다. 그래서 이러한 복잡한 시스템을 모델링 하기 위해서, 메시지 순차적 다이어그램을 확장을 통해 해결하고자 한다. 또한 Gary E. Mogyorodi[1]가 제시한 기법과 확장된 메시지 순차적 다이어그램을 접목을 통해 Test Case 를 생성하기 및 추출하고자 한다. 이 테스트케이스로 선 시험함으로써 실제 개발과 구현단계에서 오류를 참조하여 시간과 비용을 줄이고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.49-57
• /
• 2006

사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제13권1호
• /
• pp.77-95
• /
• 2004

According to the increase of organizational complexity and the change of rapid information technology environment, many firms have shifted their information technology(IT) strategy from developing information systems in-house to purchasing application software such as Enterprise Resource Planning(ERP) Systems. Marketing and Sales functions within a Korean automotive part company include developing new assembly products, determining pricing, taking customer's orders, and shipping assembly products to customers. Marketing and Sales Information System(MSIS) in ERP system plays an important role in next Production Planning process. MSIS also makes management reporting and decision making faster and more uniform throughout an organization. MSIS promotes thinking about corporate goals, as opposed to thinking only about the goals of a single department or functional area. This paper intends to design and implement a MSIS in ERP systems for Korean automotive part company using object-oriented methodology In order to accomplish the implementation of MSIS in ERP system, we employed UML as its standard modeling language. In this study, four diagramming techniques such as use case diagram, sequence diagram, class diagram, component diagram among eight modeling techniques are used for analyzing hierarchical business process. In traditional marketing and sales function, a company with an unintegrated information system can have marketing and sales data that is data redundant or inaccurate. MSIS integrated in ERP system can solve the sales forecast problem, which minimizes the total costs of production, inventory, and transportation under constraints of production capacity. Also, the use of UML methodology makes S/W programmers shorten the phase of analysis and design in the implementation of MSIS system, and increase the reuse of software and the interoperability with corporate internal Information system.

• 한국ITS학회 논문지
• /
• 제16권5호
• /
• pp.152-161
• /
• 2017

CBTC의 통신기술은 IEEE 802.11.x 표준을 사용하고 있으며 ISM밴드 대역중 하나인 2.4GHz를 사용하게 된다. 따라서 CBTC 철도 무선시스템으로서는 통신 지연, 통신 왜곡 및 정보 손실 등이 발생 할 수 있다. 이러한 문제를 극복하기 위해 ISM 대역중 908MHz 일정진폭을 갖는 직접 시퀀스 확산스펙트럼 송신기를 제안하였다. 성능 분석을 위해 주요파라미터인 아이 다이아그램과 scatter diagram을 고려하여 특성 분석을 하였다. 또한 국부발진 신호의 위상잡음 특성은 약 60dBc/Hz로서 기준신호와 비교 시 특성이 상당히 우수함을 알 수 있었다. 또한 2차 국부 발진 신호의 기준 주파수 억압이 50dB이하가 됨을 알 수 있었다. 제안한 변조방법에서 보조신호는 양과 음의 발생확률을 균일하게 함으로써 출력스펙트럼에서의 선스펙트럼성분에 의한 간섭을 제거하였으며 비선형 증폭기를 통과한 후의 스펙트럼의 측대파의 재생율이 현저히 줄어들었음을 볼 수 있었다.

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

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

• Kyungpook Mathematical Journal
• /
• 제56권4호
• /
• pp.1247-1257
• /
• 2016

In this paper, we discuss the crossing change operation along exchangeable double curves of a surface-knot diagram. We show that under certain condition, a finite sequence of Roseman moves preserves the property of those exchangeable double curves. As an application for this result, we also define a numerical invariant for a set of surface-knots called du-exchangeable set.