• 한국컴퓨터정보학회논문지
• /
• 제23권2호
• /
• pp.9-16
• /
• 2018

Recently, as various IP set-top boxes based on Android OS have been widely used in general households and public facilities, complaints about services and set-top boxes have continued to increase as much as other smart devices. In order to reduce this problem, the manufacturer performs the testing work before the product is commercialized. However, the testing can reduce potential defects in the product, but it can not prove that the product is free of defects. Therefore, the quality of the product can vary depending on how effective testing techniques are introduced. In this paper, we propose a new exploratory testing method that minimizes test case creation time and makes it easier to plan and execute test while simultaneously learning how to run the product under test. Using the first proposed method, the test time is reduced by about 16.7 hours and the defect detection rate is 25.4% higher than the formal specification-based testing method. Informally, the test time was shortened by about 4.7 hours and the defect detection rate was 13% higher than the informal experience-based testing method.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.855-864
• /
• 2004

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.370-383
• /
• 2000

이 논문에서는 명세에 변경이 가해진 후에 병행 프로그램을 재검증하기 위해 사용하는 명세기반 회귀 테스팅이라는 새로운 기법에 대해 논의한다. 이러한 형태의 회귀 테스팅은 이벤트에 대해 선후 관계를 기술하는 순서 제약조건을 필요로 한다. 순서 제약조건을 자동으로 추출하기 위해서 우리는 메시지 순차도(MSC)를 사용한다. 메시지 순차 도를 통해 부분적이고 비결정적인 명세를 작성할 수 있다. 회귀 테스팅의 비용을 줄이기 위하여 처음부터 새로운 순서 제약조건을 생성하기보다는 명세에 가해진 변경에 의해 영향받는 순서 제약조건을 어떻게 파악하는 가에 대해 기술한다. 또한 각각의 영향받는 순서 제약조건들이 테스팅 될 프로그램에 의해 만족되는 가를 결정하는 방법에 대해서도 기술한다.

• 한국포장학회지
• /
• 제4권2호
• /
• pp.39-44
• /
• 1998

We used recording device(EDR-3) to monitor the packages and the vehicle during shipment. Provided we did this enough times, we began to gain statistically valid information which could be used to describe the particular channel of distribution. The event was obviously changed from trip to trip, but in general we could have an idea of what to expect. Considerable amount of time and money were invested to record field data. Although not ideal, it was the best suited approach to gain information regarding a specific distribution channel. Based on the recorded field data, we could make our own packaging vibration testing specification through MIL-STD-810D(Guidance for development of laboratory dynamic test specification). This test specification was proved several times through field tests. As a result, we gained confidence in this revised vibration specification and come to know the development procedures of a laboratory dynamic test specification.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.1-16
• /
• 2006

소프트웨어의 규모가 커지면서 시스템 기능 테스트 단계에 일일이 원시코드를 참조하면서 테스트하는 것은 현실적으로 불가능하다. 따라서 시스템 테스트 단계에서 다양한 요구명세 정보들을 이용하는 블랙박스 테스트 방법들이 많이 연구되고 있다. 테스트 기법에 활용한 요구명세는 시스템을 표현하는 기술 방법과 의미의 차이로 인해 테스트 케이스와 커버리지가 크게 달라서 테스트 계획 단계에서 테스트 기법과 그 기법의 적용 결과에 대해 깊이 고려해야 한다. 이러한 필요성으로 인해 본 연구에서는 다양한 블랙박스 테스트 기법들에 대한 실험과 그 결과에 대해 논하였다. 기법의 특성이 미치는 테스트 결과를 분석하고 평가하기 위해 객체지향 시스템의 명세와 모델링 기법으로 가장 잘 알려진 UML을 이용한 테스트 기법을 포함하여 다섯 가지의 블랙박스 테스트 기법을 실행하고 비교하였다. 그리고 다섯 가지 기법들을 서로 다른 두 응용 시스템에 적용하였고 그 결과로 추출된 테스트 케이스의 커버리지를 분석하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• pp.901-904
• /
• 2005

Testing of mixed-signal circuit has become a difficult task for test engineers and efficient test solution to these problems are needed. In this paper a new specification-based mixed-signal test method called TSS(Time Slot Specification) using high performance current sensors and a novel test point selection technique without heavy computational overhead are proposed. External output and power nodes are used for test points and accessed by the current sensors in the ATE.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전력기술부문
• /
• pp.373-375
• /
• 2008

TTCN-3(Testing & Test Control Notation Version 3) defined in EISI(2001) are the standardized test specification and test implementation language of applicable for all kinds of black-box testing for reactive and distributed system, telecom systems, Mobile system, Internet, CORBA based system, java, XML, etc. This paper using the TTCN-3 on an Electric Power IT Protocol DLMS(Device Language Message Specification) standards for the implementation of the device equipment test the suitability of the protocol.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제18권1호
• /
• pp.49-55
• /
• 2018

Purpose: To propose improved method for normalization, compare to the de facto international standard which is IESNA TM-21 or conventional normalization methods. Methods: Firstly, we analysed conventional methods and specified the problem of normalization method which is based on first measured data. Secondly, we proposed our approach which is based on the design specification. Lastly, we studied a real degradation data which is conducted for 15,000 hours. Conclusion: Proposed normalization method is better approach because it can reflect real data and design specification, and reduce distortion when analysing degradation data. Also, It is appliable to other long-life reliability items.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 대한전자공학회논문지SD
• /
• 제45권2호
• /
• pp.140-149
• /
• 2008

서비스 기반 아키텍처(Service-Oriented Architecture;SOA) 등장 이후 서비스와 애플리케이션을 상호 연결하는 측면에서 여러 가지 접근 방법들이 개발되고 있다. 모바일과 같은 정보기기는 일반적인 접근법이나 전통적인 접근법과는 달리 메모리와 프로세스 등 단말기 자체의 제약과 스크린 및 입출력 및 사용자 인터페이스의 제약이 많아 여러 가지가 고려되어 설계되어야 한다. 본 연구는 서비스를 기반으로 한 구조에서 많은 제약을 갖는 모바일의 효율성을 높이기 위해 모바일 애플리케이션 요구 사항을 분석하고 명세한 후 설계 방법을 최적화하고, 서비스 유스케이스 테스팅을 위한 확장된 유스케이스 명세를 제공하고, 서비스 명세로부터 서비스간 상호운영 테스트를 한다. 또한 모바일 애플리케이션의 성능을 확장하고, 제약을 최소화 할 수 있는 과정을 제시하며 유스케이스 테스팅을 위한 명세 방법과 서비스 상호간 상호운용성 보장 테스팅을 수행한다. 본 연구는 서비스 지향 아키텍처를 기반으로 모바일 서비스 명세 방법과 애플리케이션 테스팅 방법에 대한 아이디어를 제공한다는데 그 의의가 있다.