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

In order to achieve high test coverage, it is usual to generate test data using various techniques including symbolic execution, data flow analysis or constraints solving. Recently, a technique for automated test data generation that fulfills high coverage effectively without those sophisticated means has been proposed. However, the technique shows its weakness in the generation of test data that leads to high coverage for programs having branch conditions where different memory locations are binded during execution. For certain programs with flag conditions, in particular, high coverage can not be achieved because specific branches are not executed. To address the problem, this paper presents dynamic branch coverage criteria and a test data generation technique based on the notion of dynamic branch. It is shown that the proposed technique compared to the previous approach is more effective by conducting experiments involving programs with flag conditions.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.2
• /
• pp.123-132
• /
• 2003

The quality certification test is usually conducted by a certifying organization to determine and guarantee the quality of software after the software development phase, commonly without the actual source code, but with by going against the product's manual. In this paper, we implement a Manual-based Automatic Test data generating tool: MaT, the test technique based on manual, that automatizes producing the test data from analysis data of software package and manual. The input data of MaT are the result of the analysis of software and manual. We propose 'menu-based test analysis model' in order to generate the input data. We believe that the proposed technique and tool he]p improving quality and reliability of the software.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.19-30
• /
• 2015

Smart TV manufacturers have constructed automatic Smart TV execution environment for reducing cost of Smart TV testing. However, the conventional test methods still require high cost because of manual test script written by testers. Test scripts manully written have less reusability, and then less reusable scripts cannot be used for new TV models. In this paper, we propose constructing reusable test models for Smart TV and present a model-based Smart TV test script generation method using the modes. And we apply the method to NetCast Smart TV to confirm the effectiveness of enhancing reusability.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.5
• /
• pp.551-562
• /
• 2002

Digital TV software, receiver system for digital broadcasting, processes huge MPEG-2 TS formatted data that has variable hierarchy. Because of complexity and enormity of MPEG-2 TS, it is difficult for user to generate test data manually. Generating of test data is not only expensive and time consuming but also requires expert knowledge of MPEG-2 standard. In this paper, we implemented the tool that generates the MPEG-2 TS formatted test data for Digital TV software. Using this tool, user ran get reliable test data without extensive knowledge of MPEG-2 standard. Also, database mechanism that our tool based on supports variable hierarchy of MPEG-2 TS.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.385-390
• /
• 2017

Because of the ever-increasing software complexity, model-based development techniques are becoming an essential technique in software development. However, even if model-based techniques are used, the test case generation for complex software is still a challenge to solve. In this paper, we propose a method to generate automatic test cases based on UML model using custom parser and SMT solver. By proposed technique, a test case can be generated even though the model is described in a platform independent language such as action language, or in a platform dependent language. In addition, a concolic execution technique is applied to efficiently generate test cases in the model. In this paper, we present a case study on the power window switch model of Hyundai Santa Fe through the proposed test case generation technique.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.19 no.11
• /
• pp.10-18
• /
• 2001

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.641-652
• /
• 2016

This paper proposes a method to generate test scripts in an automatic manner, based on checklist used for testing embedded systems in the fields. The proposed method can reduce the mistakes which may be introduced during manual generation. In addition, it can generate test scripts to test various mode combinations, which is not possible to be tested by the typical checklist. The test commands in a checklist are transformed into a test script suit referencing the signal values defined in a test command dictionary. In addition, the method to generate test scripts in sequential, double permutation and random manners is proposed useful to test the inter-operations between modes, a series of operations for a specific behavior. The proposed method is implemented and the feasibility is shown through the experiments.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.6
• /
• pp.1-9
• /
• 2010

This paper proposes a test method for compliance of SMS encoder and decoder modules with 3GPP (3rd Generation Partnership Project) specification on SMS PDU (Protocol Data Unit). The existing tools have focused on providing an SMS gateway and on helping to view and edit a single SMS PDU, which rarely help to resolve the compliance test problem. The proposed compliance test method is based on an automatic generation of SMS PDUs fully compliant with the 3GPP specification by using QuickCheck library written in Haskell. By applying the proposed method to a C-based SMS encoder and decoder in Linux Mobile platform, we have found out several critical bugs such as wrong interpretation of time stamps in BCD format. The automatic SMS PDU generator is reusable in that it only depends on the 3GPP SMS specification. The QuickCheck library is also applicable for testing other network protocol data encoders and decoders, as used in this paper.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.5
• /
• pp.245-256
• /
• 2017

This paper proposes a method to generate test scripts for testing embedded system in an easy manner by using hierarchical checklist. In the proposed method, a checklist is constructed with event, component and command dictionaries. And the test scripts are hierarchically generated based on the dictionaries. Since the physical layer of system input becomes abstract with component layer and event layer by virtue of the hierarchy, It is possible to generate test scripts without complicated system input information. It is easy to generate test scripts for embedded systems with similar inputs using the highly reusable dictionaries. The effectiveness of the proposed method is demonstrated with experiments.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.765-778
• /
• 2013

This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.