• 정보기술과데이타베이스저널
• /
• 제6권2호
• /
• pp.29-43
• /
• 1999

Object-oriented development methodologies require consistent and seamless object-oriented paradigm to be applied from analysis to testing. Testing must focuses on the state of aggregated objects. This paper suggests testing methods that satisfy such requirements. In order to confirm appropriate implementation of the user requirements, the methods apply extended use case[Jacobson et al., 1992] that are prepared form analysis stage. Testing must be performed based on the use cases because the user requirements are formally documented in the use cases. The notations of the original use case are modified for the state-based testings. The testing methods consist of a unit testing and four-level of integration testing. Particularly, the level 0 testing is based on FREE state machine [Binder, 1995, 1996]. The testing methods have been applied to 3 projects and proved their practicability.

• ETRI Journal
• /
• 제31권2호
• /
• pp.140-150
• /
• 2009

Although mutation testing is potentially powerful, it is a computationally expensive testing method. To investigate how we can reduce the cost of object-oriented mutation testing, we have conducted empirical studies on class mutation operators. We applied class mutation operators to 866 classes contained in six open-source programs. An analysis of the number and the distribution of class mutants generated and preliminary data on the effectiveness of some operators are provided. Our study shows that the overall number of class mutants is smaller than for traditional mutants, which offers the possibility that class mutation can be made practically affordable.

• 한국통신학회논문지
• /
• 제30권5B호
• /
• pp.247-252
• /
• 2005

현재 국외의 LDAP (Light-weight Directory Access Protocol) 상호운용성 시험을 위한 시험 도구가 있으나 이들은 소스가 개방 되어 있지 않아 시험 환경에 맞추기 위한 시험 항목의 수정이 어렵고, 차후 새로운 시험 항목의 추가 또한 힘든 상황이다. 그러므로 새로운 시험 도구에서는 개발 시간 단축과 시험 항목의 추가 및 변경의 용이성을 위해 객체지향 접근이 요구된다. 따라서 객체 지향 접근을 위해 객체 지향 언어인 자바를 이용해 시험도구를 구현하였다. 구현한 시험도구는 시험 항목 정보 중에서 이미 저장되어 있는 데이터에 알맞게 일부를 수정하여 시험이 가능하다. 또한 한번의 동일한 설정으로 최대 5개의 LDAP 서버를 동시에 시험 가능하다. 구현한 시험도구를 사용하여 두 대의 LDAP 서버를 대상으로 상호운용성 시험을 수행한 결과 정상적으로 동작됨을 확인하였으며, 시험 환경에 알맞도록 시험항목의 변경과 새로운 시험 항목의 추가가 용이함을 확인하여, 설계한 아키텍처의 유용성을 검증하였다.

• 정보처리학회논문지D
• /
• 제11D권3호
• /
• pp.649-658
• /
• 2004

객체지향 시스템은 상호 작용하늘 객체들의 집합으로 구성되었고 시스템의 행위는 객체들의 협력 행위로 표현된다. 객체지향 소프트웨어의 상속성, 다형성 등 특성들은 소프트웨어 테스팅에 어려움을 증가시키고 객체의 병행성, 동적바인딩, 상호작용 등 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출에 의해 여러 멤버함수로 바인딩될 수 있다. 그러므로 객체지향 소프트웨어의 특성들을 고려하고 동시에 객체들간의 상호착용을 테스트하기 위한 연구가 필요하다 이 논문에서 상속성, 다형성 등 특성을 고려하여 평탄화된(Flattened) 상태차트 다이어그램을 구성하고, 시스템 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)으로 모델링 한 후 Design/CPN 툴에 적용하여 객체지향 소프트웨어 객체들간의 상호작용 테스트를 자동화할 수 있는 테스트 레이스 생성 기법을 제안한다.

• 한국전자통신학회논문지
• /
• 제5권4호
• /
• pp.443-449
• /
• 2010

전류 테스팅은 기존의 전압 테스트 방식에 비해서 높은 고장 검출과 진단 능력을 가진 효과적인 테스트 방식이다. 그러나 상대적으로 느린 전류 테스팅을 위해서 항상 같은 값을 가지는 노드를 찾아내어 제거하는 효율적인 검출 기법이 필요하다. 본 논문에서는 전류 테스팅을 위한 다양한 고장모델에 적용 가능한 객체기반의 고장 검출 기법을 제안한다. ISCAS 벤치마크 회로의 실험결과을 통해서 제안된 방식이 고려되는 고장의 수를 효과적으로 감소시킬 수 있고 다양한 전류 테스팅 고장모델에 적용 가능함을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권7호
• /
• pp.592-600
• /
• 2005

프레임웍의 기능성을 철저하게 테스팅하기 위해서는 객체 지향 프레임웍의 재사용 시에 확장되는 가변 부위(hot spots)에 대한 체계적인 테스트 패턴 추출이 필수적이다. 본 논문에서는 프레임웍 가변부위의 설계 패턴을 분석하여 가변부위의 상호작용(interaction) 패턴으로부터 테스트 패턴을 추출하는 방법을 제안한다. 프레임웍 가변 부위의 설계 패턴에서 나타날 수 있는 객체들의 상호 작용은 상태도(statechart)로 표현되며, 표현된 상태도는 테스트 패턴 및 테스트 케이스를 생성하는데 사용된다. 생성된 테스트 패턴은 프레임웍을 확장하여 만들어진 어플리케이션들에 반복 적용되어 사용될 수 있다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제16권1호
• /
• pp.111-133
• /
• 2007

The purpose of this study is to present a new function point estimation approach for the Object-Oriented information systems. In order to fulfill this purpose, we first review the literature on Function Point Analysis of IFPUG, Unified Modeling Language, and Unified Process. Then, we derive a method and rules for estimating Function Points based on Use Cases and Class Diagrams. To analyze the appropriateness of the proposed approach, we conduct the empirical testing. 143 use cases are collected from production, marketing, distribution, sales, and other areas from the Object-Oriented systems development projects. We compare our new approach with the existing methods that are usually used for traditional systems development projects. The results show that our proposed approach is more appropriate for the Object-Oriented environment.

• 한국컴퓨터정보학회논문지
• /
• 제5권2호
• /
• pp.7-13
• /
• 2000

객체지향 프로그램의 테스트 적합성 기준에 근거한 구현기반 클래스 테스팅 방법을 제안한다. 데이터 멤버간 종속성과 테스트 데이터 적합성에 대한 공리들을 고려하여 흐름 그래프 기반 테스팅 기준을 만족시키는 테스트 케이스인 메소드의 시퀀스를 생성시킨다. 파생 클래스 테스팅을 위해서 유산관계와 실험을 통해 테스트 비용 절감을 검증한 부모 클래스에 대한 테스팅 정보의 재사용성을 고려한다.

• 인터넷정보학회논문지
• /
• 제1권1호
• /
• pp.105-113
• /
• 2000

절차적 프로그램의 표현방법은 클래스, 객체, 계승, 동적 바인딩 등으로 이루어진 객체지향 프로그램 표현에 그대로 적용될 수 없다. 더군다나 기존의 프로그램 종속성은 변수간이 아니라 문장간의 종속성을 나타내고 있다. 즉, 주어진 변수에 어떠한 변수들이 영향을 미치고 있는가 하는 문제를 해결할 수 없다. 따라서 본 연구는 객체지향 프로그램에서 변수간의 종속성을 포함한 구현 수준의 정보를 나타내는 메소드 종속성 모델을 제시하고자 한다. 또한 객체지향 프로그램의 테스트 적합성 기준에 근거한 구현기반 클래스 테스팅 방법을 제안한다. 데이터 멤버간 종속성과 테스트 데이터 적합성에 대한 공리들을 고려하여 흐름 그래프 기반 테스팅 기준을 만족시키는 테스트 케이스인 메소드의 시퀀스를 생성시킨다. 파생 클래스 테스팅을 위해서 유산관계와 실험을 통해 테스트 비용 절감을 검증한 부모 클래스에 대한 테스팅 정보의 재사용성을 고려한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2004년도 춘계학술대회 논문집
• /
• pp.136-140
• /
• 2004

A power-plant simulation tool has been developed for training the plant operators and testing a plant control system. The simulation tool is composed of a graphic editor, a component model builder and a system simulation solver. Such new programing techniques as object-oriented modeling and GUI(Graphical User Interface) are employed in developing the simulation tool. The graphic editor is based on the OpenGL library for effective implementation of GUI while the component model builder is based on object-oriented programming for efficient generalization of component models. The developed tool has been verified through the simulation of a real power plant.