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

객체지향 프레임워크는 다수의 응용 소프트웨어 개발에 반복적으로 재사용되므로 철저한 시험이 요구될 뿐만 아니라 재사용시 확장된 프레임워크에 대해서도 추가적인 시험이 필요하다. 본 논문에서는 재사용시 다양한 형태의 객체 구조들로 개조, 확장될 수 있는 프레임워크의 가변부위에 대해 구조적 테스트 패턴들을 프레임워크의 합성 패턴들로부터 조직적으로 추출하는 방법을 기술한다. 여기서 제안된 방법은 가변부위 클래스 구조의 테스트 모델을 정형 명세화하고, 이로부터 시험에 필요한 구조적 테스트 패턴을 추출하는 방법을 제공한다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2312-2322
• /
• 1998

Test case for objcctoricnted system's integrated testing must be contained both methowmessage path and result of method execution. For this test case extraction, we should use scenario of dynamic modeling leveL Because we can reduce account of test case through user action's dependency analysis. This paper suggest test case generation method using dynamic modeling scenario. There are two advantages of this method are two. First, we can use computer when we generate test case for object's interaction and test result compare, Second, we can reduce testcase amount.

• Journal of KIISE:Software and Applications
• /
• v.27 no.11
• /
• pp.1106-1114
• /
• 2000

컴퓨터 분야에서 에이전트의 개념은 전자 상거래, 정보 검색과 같은 많은 어플리케이션들에 응용되어 중요 시 되고 있다. 하지만, 아직까지 지능성을 가진 테스트 도구는 없었다. 이 논문에서 제안하는 테스트 에이전트 시스템은 에이전트의 특성을 가지고 테스터를 도와주는 테스트 도구이다. 테스트 에이전트 시스템은 객체지향 테스트 프로세스를 따라 테스터의 일을 대행해 주고, 테스터의 간섭을 최소화 시켜 준다. 이 시스템은 자동 생성된 많은 양의 테스트케이스에서 중복이 없고 일관성 있는 테스트케이스를 지능적으로 선택하여 테스트 시간을 단축시켜 준다. 테스트 에이전트 시스템은 3개의 에이전트 User Interface Agent, Test Case Selection & Testing Agent, Regression Test Agent로 구성된다. 특히 Test Case Selection & Testing Agent은 RE-Rule과 CTS-Rule을 통하여 중복이 없고 일관성 있는 테스트케이스를 지능적으로 선택하며, Regression Test Agent는 RRTIS-Rule을 통해 리그래션 테스트 항목을 지능적으로 선택한다.

• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.649-658
• /
• 2004

An object-oriented system is organized by a set of interacting objects and the system behavior is represented by the cooperating interaction bet ween objects. The characteristics of object-oriented software. such as inheritance and polymorphism, increase the difficulty of the object-oriented software testing. At running time of a program, one call from a member function can bind to other member functions because of the dynamic characteristics such as concurrence, dynamic binding and interaction. Therefore, there need the research about considering the characteristics of object-oriented software and concurrently testing the interaction between objects. In this paper, we propose the techniques as follows. First, we construct a flattened state chart diagram by considering the inheritance and polymorphism. Next, we model the system with CPN(Colored Petri Net) that usually is applying the system modeling and simulation. Last, we propose a test case generation techniques for testing the interaction between objects in object-oriented software by applying a Design/CPN tool.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.843-852
• /
• 2001

Statistics concerning software errors indicate that more errors are introduced in analysis and design phase than implementation phase. Therefore, it is needed to check whether the design modeling is appropriate for own function and structure. This paper discussed the effective test method for the object-oriented design model, i.e., UML. A new method was proposed for generating test data. This method consists of category partition theory by the representation each element in UML model with OCL (Object Constraint Language). Test data generated in this way can be used for testing the source code functionality as well as for checking the design model.

• Journal of KIISE:Software and Applications
• /
• v.32 no.7
• /
• pp.592-600
• /
• 2005

Systematically extracting the test patterns of hot spots in an object-oriented software framework is a prerequisite for thoroughly testing the framework's functionality in a variety of contexts in which the framework is extended for reuse. This paper proposes a method for analyzing the design patterns and extracting the test patterns from the interaction test patterns of hot spots in an object-oriented framework. Based on the design pattern of the framework's hot spot, our method captures the object behavior allowed in that hot spot by means of statecharts, which are then used to generate the interaction test patterns and test cases. The generated test patterns and test cases can be applied repeatedly to applications which are built from extending the framework.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.503-506
• /
• 2006

소프트웨어의 테스트는 소프트웨어의 품질결정을 위한 필수항목으로서 체계적인 방법과 절차에 따라서 진행되어야 한다. 많은 노력으로 개발되고 판매되는 소프트웨어서도 오류가 발견되며, 발견된 오류의 절반이상이 개발과정에서 발생 하므로 개발단계부터 결함으로 제거할 수 있는 소프트 테스트가 필요하다. 소프트웨어의 테스트는 소프트웨어가 좋은가를 검증하는 것이 아니라 요구된 명세서의 구현과 구현된 소프트웨어에 결함이 있는가를 찾는 행위이며, 소프트웨어 개발에 최종적인 검토이다. 본 연구에서는 객체지향 소프트웨어의 품질을 향상시키기 위하여 클래스 기반의 단위테스트 수행 시 "Error Seeding" 전략을 통한 동적테스트를 수행하고, 테스팅 과정에 대한 관리 및 성능 테스트를 제공하는 도구를 제안한다. 본 프레임워크는 테스트 유형을 테스트 수행자가 결정하고 테스트를 수행하므로 결과판독이 정확하고 빠른 장점이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.538-540
• /
• 1998

기존의 객체지향 시스템이 갖는 한계와 통신의 대중화로 인해 분산 시스템에 대한 관심이 높아지고 있다. 따라서 분산 시스템이 갖는 여러 가지 특성에 기반하여 새로운 소프트웨어 공학적인 접근이 필요하다. 이에 대한 노력의 일환으로 본 논문에서는 분산 시스템을 이루는 분산 객체들의 통합테스트기법을 제안한다. 분산되어져 있는 여러 객체들을 통합하여 하나의 분산 시스템이 수행된다. 따라서 객체들을 통합할 때 발생하는 오류가 분산 시스템 테스트에서는 특히 고려되어져야 한다. 본 논문에서는 각 분산 객체들 사이의 인터페이스를 테스트 대상으로 보고, UML기반의 개발 산출물인 순서도.협력도.전개도가 갖는 정보들을 이용하는 새로운 테스트 기법을 제안한다. 또한 제안한 기법을 적용한 사례연구를 통해, 본 논문에서 제안한 통합 테스트기법으로 실제 통합에서 발생하는 오류가 테스트될 수 있다는 사실을 보인다. 나아가 본 논문의 통합 테스트기법에서 분산 객체를 콤포넌트로 확장한다면, 콤포넌트 기반 시스템을 위한 통합테스트도 가능하게 할 수 있는 효과도 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.704-707
• /
• 2019

오늘날 객체지향 코드 내부 복잡도가 지속적으로 증가하는 데에 반해 IT 벤처/중소기업에서는 요구사항 및 설계문서 미비의 코드 개발과 테스트 중심의 경우가 빈번하다. 이는 시스템의 코드를 이해하고 수정, 유지보수를 하는데 많은 시간과 비용이 투자되고 있다. 본 연구는 객체지향 코드의 내부 구조 시각화를 위해 Tool-Chain방법을 이용한 정적 분석기 구축 및 가시화를 제안 한다. 이를 통해, 역공학 도구, 테스트 프로세스 등을 도입이 어려운 중소기업의 소프트웨어 품질 향상에 도움을 줄 수 있을 것으로 기대된다.

• Journal of the Korea Society of Computer and Information
• /
• v.5 no.2
• /
• pp.7-13
• /
• 2000

I propose implementation-based class testing technique based on the test adequacy criterion of an object-oriented program. Considering inter-data member dependences and a set of axioms for test data adequacy, it generates sequences of methods as test cases which satisfy a flow graph-based testing criterion. For a derived class testing. it considers inheritance relationship and the resuability of the testing information for its parent classes which verified the reduction of test cost through the experiment.