• Journal of the Korean Institute of Intelligent Systems
• /
• v.25 no.6
• /
• pp.542-550
• /
• 2015

Usually, a new SSD (Solide State Drive) product is developed based on the software platform of the previous product. Therefore, when using the same test case was used to evaluate the previous generation evaluation of new products are a number of advantages may be, but a priority or weight is the inefficiency exists in the use of the evaluation resources due to not considered. A new method is proposed to prevent the waste of testing resources. Through the analysis of the evaluation data for the previous products, the combinations of testing cases with the highest probability for defect detections are identified. When the software is to be reused, most part of the base software platform is rarely modified and only some modules are added or modified. So, the whole software system may have similar types of defects with the previous products. By utilizing the evaluation data for the previous proucts, we can detect defects at an early stage.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.911-920
• /
• 2009

Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.829-840
• /
• 2013

This paper proposes a modified RRT (Rapidly exploring Random Tree) algorithm utilizing a heuristic input analysis and suggests a test case generation method from Simulink/Stateflow model using the proposed RRT algorithm. Though the typical RRT algorithm is an efficient method to solve the reachability problem to definitely be resolved for generating test cases of model in a black box manner, it has a drawback, an inefficiency of test case generation that comes from generating random inputs without considering the internal states and the test targets of model. The proposed test case generation method increases efficiency of test case generation by analyzing the test targets to be satisfied at the current state and heuristically deciding the inputs of model based on the analysis during expanding an RRT, while maintaining the merit of RRT algorithm. The proposed method is evaluated with the models of ECUs embedded in a commercial passenger's car. The performance is compared with that of the typical RRT algorithm.