• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.573-582
• /
• 2006

Black-box testing needs to prepare fitting test data, execute software, and examine the result. If we test software effectively, not only selecting test cases but also representing test cases are important. In static testing effectiveness of testing activities also depends on how to represent test cases and checklist to validate. This paper suggests a method for finding ineffective critical test cases and reengineering them. An experiment of reengineering digital set-top box software shows the process and results of checking effectiveness and conformance of current test cases and patching test cases. The result shows how much save the test time and improve test coverage by reengineering test cases. Methods of reuse and restructuring test cases are also studied to fit into embedded product-line software.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.19-29
• /
• 2008

In case of unit testing, White-box test can be used to closely check source code and to analyze logic and statement errors. On the other hand, in case of function testing of system level, Black-box test can be mainly used to compare actual and expected results by inputting test data because the scale of function is large. This Black-Box test in system testing level has problem in tracing errors in source code when we find errors. Moreover applying White-box test is not easy for system testing level because the levels of test target are different. Therefore this paper suggests the vertical test method of a practical and integrated system level which can checks up to source code level using White-box test style although it aims to test the highly abstract level like a system function. In addition, the experiment explains how to apply the vertical test by displaying an example which traces from UML specification model to the source code and also shows efficiency of error trace.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.385-387
• /
• 2002

개발자는 품질 요구사항을 만족하는 소프트웨어를 만들 책임이 있기 때문에 최종 제품의 품질뿐만 아니라 중간 제품의 품질에도 관심을 갖는다. 이러한 이유에서 품질관리를 위해서는 소프트웨어 품질 테스팅이 필요로 하게 되는데 테스팅의 방법에는 크게 WhiteBox Testing과 BlackBox Testing으로 나누어 진다 본 논문에서는 C++ 언어에 적용할 수 있는 정적 분석 도구를 설계하였으며, 이 도구의 특징은 테스팅 도구에 테스터의 의도를 전달 할 수 있는 테스트 제어 언어를 정의하고, 또한 이 정의 언어를 사용하여 Worm 코트론 삽입하여 테스팅 할 수 있는 정적 태스팅 도구를 설계하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.10a
• /
• pp.241-244
• /
• 2018

Domestic vehicle registration is continuously increasing every year, traffic accidents are also increasing by an increase in the number of vehicles. In the event of a traffic accident, the perpetrator and the victim should be judged and handled appropriately. When judging the accident situation, the black box is what evidence can be except for witness who is at the accident scene. The black box becomes an essential role in order to prevent traffic accidents. However, there is no way to prove integrity by evidence corruption, fabrication and etc. For this reason, we propose a method to guarantee the integrity of image through hash value generated by using PingPong 256 encryption algorithm for integrity verification in this paper.

• Journal of KIISE:Software and Applications
• /
• v.27 no.5
• /
• pp.499-509
• /
• 2000

When the developers develop the software, the cost and time of the software development can be reduced by using blocks that are implemented previously. We call these implemented blocks components. They provide only the interfaces of component to developers, while the detailed infernal information is being hidden. The components can be used to develop large applications fast and easily. Developers use the black-boxed components that the internal details of components are invisible. But, Developers want the properties and workflows of components to be modified. To do this, the customization technique is needed. The existing customization techniques are limited in the customization of component properties. In this paper, it proposes the technique that can change the workflow of component as well as properties In the business point of view. In the existing workflow customization technique, which is called white box component, the internal details of component should be understood by developers and should be modified in code level. In this paper, we propose a customization technique which using the component interface in black box form only. This customization technique can be used more generally in a business field.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.75-76
• /
• 2016

최근 들어 차량용 블랙박스의 급속한 보급으로 많은 분야에서 중요하게 사용되고 있다. 그러나 현재의 차량용 블랙박스 시스템은 제한된 메모리의 용량에 영상 파일을 저장하기 위해, 일정 용량이 저장되면 먼저 저장된 영상 파일을 순차적으로 삭제하여 새로운 영상 파일이 저장되도록 설계되어 있다. 이것은 장시간 주차 중에 발생할 수 있는 차량훼손을 분석하기 위해서는 제약사항이 아닐 수 없다. 이러한 문제점을 해결하기 위해서 본 논문에서는 FTP를 이용하여 주행 중 혹은 주차 중의 영상 파일을 삭제 없이 지속적으로 저장할 수 있는 시스템을 제안한다. 제안한 시스템은 차량용 블랙박스 뿐 아니라 제한된 용량에 영상 파일을 저장하는 수많은 시스템에 동시 적용할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.10
• /
• pp.694-702
• /
• 2002

An application in Component-Based Software Development (CBSD) is built by 'composing'two kinds of components; One is a component that is made by current developer himself, and the other is a component that is from other developments. We define the former as a 'White-box component' and the latter as a 'Black-box component.' The error from the composition can be said to be caused by interactions of Black-box components and White-box components. This paper proposes a new testing technique for composition errors, and applies the technique to Enterprise Java Beans component architecture. Our technique selects test cases by injecting a fault only into the specific parts of a White-box component. This specific parts for injecting a fault are selected by analyzing composition patterns, and lead to make our test cases have a good effectiveness. We show the effectiveness of our test cases through an experiment. Moreover, we also mention an automation tool for our technique.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.471-478
• /
• 2013

This paper proposes a black-box based test case generation method for Simulink/Stateflow model utilizing the RRT algorithm which is a method to efficiently solve the path planning for complicated systems. The proposed method in the paper tries to solve the reachability problem with the RRT algorithm, which has to be solved for black-box based test case generations. A major problem of the RRT based test case generation algorithms is that the cost such as running time and required memory size is too much for complicated Stateflow model. The typical RRT algorithm expands rapidly-exploring random tree (RRT) in a single state space. But the proposed method expands it in dynamic state space based on the state of Simulink model, consequently reducing the cost. In the paper, a new definition of RRT state space, a distance measure and a test case generation algorithm are proposed. The performance of proposed method is verified through the experiment against Stateflow model.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.39 no.1
• /
• pp.1-11
• /
• 2021

This paper presents a procedure to extract lane line models using a set of proposed methods. Firstly, an image warping method based on homography is proposed to transform a target image into an image which is efficient to find lane pixels within a certain region in the image. Secondly, a method to use the combination of the results of edge detection and HSL (Hue, Saturation, and Lightness) transform is proposed to detect lane candidate pixels with reliability. Thirdly, erroneous candidate lane pixels are eliminated using a selection area method. Fourthly, a method to fit lane pixels to quadratic polynomials is proposed. In order to test the validity of the proposed procedure, a set of black-box images captured under varying illumination and noise conditions were used. The experimental results show that the proposed procedure could overcome the problems of color-only and edge-only based methods and extract lane pixels and model the lane line geometry effectively within less than 0.6 seconds per frame under a low-cost computing environment.

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.10
• /
• pp.351-356
• /
• 2014

Recently, automobile black boxes have evolved to support functionality to transfer videos stored in them into mobile phones via wireless network, from which the videos can be utilized for various purposes. This paper presents a method for automation of traffic violation reports using the automobile black boxes. When a traffic violation is captured by a black box, the proposed method helps a user to transfer the video capturing it into a mobile phone through a simple UI operation. With the video, an HTTP request to report the violation is automatically generated from the mobile phone, and then is transferred to a cyber-report center. We present a prototype system that implements the proposed method, and discuss several issues necessary to apply the method to real-world applications.