• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.172-174
• /
• 2006

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

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.10a
• /
• pp.521-524
• /
• 2001

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

• Economic and Environmental Geology
• /
• v.11 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.1
• /
• pp.54-61
• /
• 2002

In this paper, we implement the XML modeling and data modeling by the class diagram that is made by the use case after drawing out the sequence diagram. For the XML modeling, the guiding line to map the UML classes on the XML document will be presented. Then, an example to generate the ie DTD from the UML classes will be shown under the presented guiding line. In the data modeling, the transformation method from the In classes into the object-oriented database also will be proposed. Finally, we will give an example developed by the Proposed transformation method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1251-1254
• /
• 2012

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

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.6 s.44
• /
• pp.49-57
• /
• 2006

While developing a complex reactive software system. it is very important to analyze the user requirement and reflect it to the developed system. Therefore understanding the need of users precisely and promptly is the key to the successful software system development. Among several requirement specification languages, message sequence charts (MSCs), also known as sequence diagrams in UML are the most widely used scenario notation. Live Sequence Charts (LSCs) are a variant ot MSCs, characterized by its message abstraction facility and the modality of scenarios. In this paper, I define the formal semantics of LSC specification including the essential language constructs such as pre-charts, variables, assignment and conditions. The range of the formalized LSC language has been broadened, and the scope of the formalized semantics is much closer to the complete LSC specification.

• The Journal of Information Systems
• /
• v.13 no.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.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.16 no.5
• /
• pp.152-161
• /
• 2017

The CBTC(Communication based Train Control) system employed on 2.4GHz ISM band adopt the IEEE802.11.x standard. Therefor communication time delay, distortion and data losses will be produced. To overcome these problems, CPSK(Continuous Phase shift keying) modulated DS/SS(Direct Sequence Spread Spectrum) transmitter with 908MHz carrier frequency is proposed. Through the eye diagram and scatter diagram the performance is analysed. And the phase noise characteristic of the local oscillator is measured about 60dBc/Hz, this means that the phase noise performance is very good compared to the signal. Reference frequency suppression of the 2nd local oscillator is 50dB below compared to the signal. Through the polarities of the complementary signal equally probable, the line spectrum of the output spectrum is eliminated. The nonlinear effects which introduce the spectral spreading or spectral regeneration is reduced remarkably.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

• Kyungpook Mathematical Journal
• /
• v.56 no.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.