• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• Journal of Software Engineering Society
• /
• v.29 no.1
• /
• pp.13-21
• /
• 2020

As CNN model is applied to various domains such as image classification and object detection, the performance of CNN model which is used to safety critical system like autonomous vehicles should be reliable. To evaluate that CNN model can sustain the performance in various environments, we developed an image data augmentation apparatus which generates images that is changed background. If an image which contains object is entered into the apparatus, it extracts an object image from the entered image and generate s composed images by synthesizing the object image with collected background images. A s a method to evaluate a CNN model, the apparatus generate s new test images from original test images, and we evaluate the CNN model by the new test image. As a case study, we generated new test images from Pascal VOC2007 and evaluated a YOLOv3 model with the new images. As a result, it was detected that mAP of new test images is almost 0.11 lower than mAP of the original test images.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.1015-1025
• /
• 2016

Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

• Journal of Software Engineering Society
• /
• v.28 no.1
• /
• pp.23-28
• /
• 2019

Recently, in order to effectively test deep neural network model for image processing application, researches have actively conducted to automatically generate data in corner-case that is not correctly predicted by the model. This paper proposes test data generation method that selects arbitrary words from input of system and transforms them into synonyms in order to test the bug reporter automatic assignment system based on sentence classification deep neural network model. In addition, we compare and evaluate the case of using proposed test data generation and the case of using existing difference-inducing test data generations based on various neuron coverages.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.2C
• /
• pp.143-149
• /
• 2002

Complexity of the hardware system grows larger, the fault testing becomes more difficult. As we divide system into the functional sub-modules and analyze reliability of a sub-modules on the system, We improve the system test performance. And the analysing results help us to set up the effective strategies for the system test. Also describing the system to a formalized sub-modules, we can analyze the logical accuracy and the characteristics of system. So we can predict the reliability of the system based on execution characteristics. In this paper we propose a reliability analysis method of a system based on the execution characteristics of sub-module.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• The Journal of the Korea Contents Association
• /
• v.18 no.5
• /
• pp.1-10
• /
• 2018

The purpose of this study is to provide a cost effective usability test model for business web site development. In this study, we present a usability test model that combines Concurrent Think Aloud, performance measurement, coaching method, and remote test method. Testing target was the consortium website of electronic information joint licensing. Test participants were actual users selected by their task roles and proficiency in different levels. We improved the system by reflecting the results of user test analysis and re-tested usability test again. The result showed that usability of all participants was improved in the aspect of the time required and the complexity of mouse trajectory. It is expected that the usability test model presented in this study can be used to cost-effectively evaluate and analyze business web sites. We suggest that research various usability test model considering the characteristics of websites.

• Proceedings of the CALSEC Conference
• /
• 2002.01a
• /
• pp.409-418
• /
• 2002

테스트의 목적은 소프트웨어 제품이 갖춰야 하는 품질에 대해 평가하고 문제점을 발견하는 것 -모든 요구사항은 올바르게 구현되었는가를 검증 -소프트웨어 배포 이전에 결함 인식하여 해결 테스트 웍플로우는 기타 웍플로우와 다음과 같은 관계를 가짐 -요구사항 웍플로우 : 테스트 요구사항 수집 -분석＆설계 웍플로우 : 시스템 설계 방법 결정 -구현 웍플로우 : 테스트 대상이 되는 구현모델 생성 -환경 웍플로우 : 테스트 지원 위한 산출물을 생성, 유지보수 -관리 웍플로우 : 전체 프로젝트의 반복 계획(중략)

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2007.12a
• /
• pp.100-103
• /
• 2007

근래 컴퓨터 수치모델이 급속하게 발전함으로써 다양한 분야에서 수치예보기술이 응용되고 있다. 실시간 해양예보시스템도 그중의 하나로 관측시스템, 정보제공시스템, 그리고 모델링시스템으로 구성되며, 이는 실시간 해양정보를 제공함으로써 해상교통의 안전과 연안환경의 보호에 기여한다. 본 연구에서는 부산항 실시간 해양예보시스템의 구축을 위한 기초연구로써 부산항 모델링시스템을 개발하였으며 그 결과를 제시한다. 기존 관측자료가 부족하여 M2조석 모델링만으로 시스템의 테스트를 수행하였으나 앞으로 관측시스템이 완비되면 종합적인 테스트가 요구된다. 아울러 앞으로 관측시스템 및 정보제공시스템이 계속해서 구축될 예정이며 이들 시스템이 모두 완비되고 나면 인터넷을 통한 실시간 정보제공이 이루어지게 될 것이다.

• Journal of KIISE:Software and Applications
• /
• v.37 no.7
• /
• pp.536-547
• /
• 2010

Relative importance and complexity of recent software is getting increased because the software is needed to provide considerable amount of functions and high performance. Therefore, developing reliable software is importantly issued. In order to develop reliable software, it is necessary to manage software reliability at the early phases, but most reliability estimation models are used at system or operational test phases. In order to develop highly reliable software, it is necessary to manage software reliability at the early test phases based on characteristic of the phases that is developers and testers are not separated and developers perform test and debug activities together. Therefore, a new reliability estimation model considering test and debug time together is necessarily needed. In this paper, we propose a new reliability estimation model to manage reliability of individual units from the early test phases and in order to show how to fit the model to actual data and usefulness, we collected industrial data and used it for the experiment.