• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.5
• /
• pp.124-133
• /
• 2003

We propose an application of the Object-Oriented design methodology to develop operational flight program(OFP) for stores management computer(SMC) which manages and controls stores inventory, stores activation, launch for missiles, and release of the conventional weapons. For the development of SMC, a military version of PowerPC 603e is used as a central processing unit board and VxWorks real-time operating system is used. The Tornado software development environment(SDE) and the programming language Ada95 are used for OFP development. We design three layerd in the OFP for the independency of the software modules. An avionics system computer(ASC) simulator and a test bench are developed for the SMC integration test and verification test. And the tests are rigorously and successfully conducted.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.463-466
• /
• 2007

웹기반 기업형 어플리케이션은 객체지향 언어로 개발되고, 데이터의 관리는 RDB(Relational Database)를 이용하여 구축된다. 두 시스템은 이질적 패러다임에 기인하여 모델의 불일치성(object-relational impedance mismatch)을 발생시킨다. 이 문제를 해결하고자 사용되는 객체-관계 매핑 프레임워크(ORM-Framework)는 RDB 의 테이블과 객체지향 언어의 객체를 매핑하는 구조로 복잡한 메타정보를 이용하여 동적으로 매핑하기 때문에 개발이 복잡하고, 변경에 유연하지 못하여 유지보수에 많은 어려움이 있다. 본 논문에서는 기존 ORM 프레임웍크의 복잡성을 해소하고, 변경에 유연한 퍼시스턴스 프레임워크를 제안한다. 제안되는 프레임워크는 SQL 을 래핑하는 구조로 테이블과 객체의 메타정보가 불필요하고, 정형화된 구조를 가진 래퍼의 사용으로 소스코드를 자동 생성하여 개발 및 유지보수의 편의성을 제공하고, 변경에 유연하다. 제안 프레임워크는 Hibernate, iBATIS 와의 테스트 결과 구동 매커니즘이 거의 동일한 iBATIS 와는 처리속도가 비슷했고, Hibernate 의 약 3 배 빠른 속도를 보였다. 코딩량은 Hibernate 대비 1/9, iBATIS 대비 1/4 을 나타냈다.

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.520-521
• /
• 2018

의료정보 교환 국제 표준인 HL7의 처리를 위한 인터페이스 소프트웨어에서 다양한 버전 사이의 호환성 문제의 해결 방법으로 객체 지향적 구조에 기반한 HL7 파서(Parser)의 구조가 설계되었다. 그러나 수천개의 HL7 메시지 및 구성요소를 처리할 수 있는 HL7 파서를 직접 구현하기 위해서 많은 시간과 인력이 필요하다. 또한, 구현된 파서의 기능 변경 시 수천 개의 파일을 프로그래머가 직접 수정하는 방법은 매우 비효율적이다. 따라서 본 연구에서는 버전 상호 호환 가능한 HL7 파서의 설계에 따라 HL7 파서를 효과적인 구현할 수 있는 방법을 제안한다. 제안한 방법에 따라 HL7 파서를 구현하고, HL7 메시지의 버전 간 변환 테스트를 수행하여 개발한 파서의 효용성을 확인한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2004.04a
• /
• pp.471-477
• /
• 2004

In this study, we introduce a 3-dimensional simulation to support the Design on ACT(Automated Container Terminal). This simulation system developed to simulate virtual operations of ACT using 3-dimensional simulation and animate the simulated results with real time. And the developed system applied an object-oriented design and C++ programming to increase the reusability and extensibility. We select several items of performance evaluation for objects used in ACT in terms of problem detection, problem forecast, and logic feasibility, and provide evaluation points for the design of ACT.

• Journal of KIISE:Software and Applications
• /
• v.29 no.1_2
• /
• pp.65-79
• /
• 2002

Object-oriented frameworks need to be systematically tested because they are reused in developing many applications software. They also need additional testing whenever they are extended for reuse. Frameworks, however, have properties that make it difficult to control and observe the testing of the parts that were modified and extended. In this paper, we describe the method of embedding test components as BIT(Built-In Test) into the framework's hot spots in order to efficiently detect the faults through testing that occurred while implementing application programs by modifying and extending the framework. The test components embedded into a framework make it easy to control and observe testing the framework, and thereby improve the testability of frameworks. Test components designed by the method proposed in this paper can be dynamically attached and detached to/from hot spots of a framework without changes or intervention to the framework code.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2546-2555
• /
• 1998

Existing Systems need to be modified due to the change of environment, the emergence of new technology and the requirement of change. One of the features of system transformation is how functions of the old system is preserved in the transformed system after reverse-engineering. But, the techniques to evaluate and verigy the transformed system have proceeded more partially and fragmentarily. In this paper, we have proposed the functional coverage and developed the tool and techniques for verifying functional euivalence between a procedural software and a transformed object-oriented software. The tool and methods are efficiently used to verigy whehter the transformed program preserves the same functionality as the existing program.

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

일반적으로 낸드플래시는 Matlab이나 간단한 프로그램 언어를 통하여 분석하는 경우가 많았다. 그 이유는 많은 데이터와 공정마다 변하는 데이터 format 그리고 여러 가지 분석방법의 다양성이 그 이유이다. 그 때문에 분석시간과 분석의 정형화가 이루어지지 않았다. 본 논문의 낸드플래시의 분석을 정형화 하였고, DB를 이용하여 많은 양의 테스트데이터를 관리 하였다. 또한 여러 종류의 테스트데이터 format에 대하여 범용 적으로 사용할 수 있도록 제작 하였다. 제작된 분석기는 낸드플래시의 CCI특성 및 EW cycle과 retention에 대한 stress resistance를 분석할 수 있다. 객체지향 으로 설계가 되어 추후 유지 보수를 용이하게 설계하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.442-444
• /
• 2000

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.263-266
• /
• 2007

이미 개발된 소프트웨어를 확장, 진화시킬 때 AOP 기법을 이용하면 모듈화뿐만 아니라 동적으로 플러그인 시킬 수 있어 편리하다. 즉 객체 지향 방식으로 개발된 프로그램에 AOP 를 적용하여 확장하면 여러 모듈에 걸쳐 나타나는 횡단 관심사를 기존 프로그램의 수정 없이 기능을 추가할 수 있다. 이미 테스트까지 마친 소프트웨어에 AOP 를 적용하여 확장한 경우 AOP 특성에 맞는 회귀 테스트 방법이 필요하다. 본 논문에서는 AOP 를 이용하여 진화된 프로그램의 회귀 테스트 방법을 제안하였으며 사례 연구에 의하여 그 효용성을 보였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.1004-1007
• /
• 2013

소프트웨어의 잦은 변경은 작은 기능 변경에 한정되어 있다고 하더라도 해당 기능을 수정하고 그로 인해 발생할 수 있는 파급효과에 대해 의도하지 않은 비용이 발생하기도 하며 심지어 소프트웨어에 심각한 영향을 끼치게 된다. 따라서 본 논문에서는 소프트웨어 변경 영향도를 측정하기 위해 동적 코드 분석 방법과 정적 분석 방법을 혼합하여 사용하였다. 특히 객체지향 언어인 JAVA에서 각 객체들 사이의 의존도와 관계를 분석하는 방법과, 실제 프로그램 수행 과정 중에 나타나게 되는 객체들 사이의 의존성을 분석할 수 있는 Taguchi method를 이용한 테스트 케이스 추출 방법을 제안하였다.