• Journal of the Korea Society for Simulation
• /
• v.20 no.3
• /
• pp.19-28
• /
• 2011

Adaptive Random Testing (ART) aims to enhance the performance of pure random testing by detecting failure region in a software. The ART algorithm generates effective test cases which requires less number of test cases than that of pure random testing. However, all ART algorithms currently proposed are designed for the tests of monolithic system or unit level. In case of integrated system tests, ART approaches do not achieve same performances as those of ARTs applied to the unit or monolithic system. In this paper, we propose an extended ART algorithm which can be applied to the integrated system testing environment without degradation of performance. The proposed approach investigates an input distribution of the unit under a test with limited number of seed input data and generates information to be used to resizing input domain partitions. The simulation results show that our approach in an integration environment could achieve similar level of performance as an ART is applied to a unit testing. Results also show resilient effectiveness for various failure rates.

• Journal of the military operations research society of Korea
• /
• v.24 no.2
• /
• pp.57-74
• /
• 1998

This paper is aimed to propose an testing and evaluation strategy and plan in Military Information Systems, especially focusing on development an“New-generation Wargame Model”. Through this research, we concluded that the effective and efficient testing/evaluation strategy/plan can aid the productivity, maintainability, availability, etc., of the Militray Information Systems. Highlights of the proposed testing and evaluation strategy and plan for Military Information Systems are as follows. First, in the unit and module integration testing phase, hybrid of black-box and white-box testing techniques are available for Military Information Systems and progressive approach for module integration phase should be considered because of the complexity. Second, in the system testing phase, integrated module should be tested with respect to the function and performance that should be satisfied with the user requirements, specifications, risk analysis, etc., Third, in the acceptance testing phase, reliability, interoperability, maintainability, availability, integrity, etc., must be considered in the actual or mini-operational environments for testing efficiently and effectively.

• Journal of the Korea Society for Simulation
• /
• v.32 no.3
• /
• pp.23-31
• /
• 2023

Software development involves a series of stages, including requirements analysis, design, implementation, unit testing, and integration testing, similar to those used in the system engineering process. This study utilized MathWorks' model-based design platform to develop multi-function radar software and evaluated its feasibility and efficiency. Because the development of conventional radar software is performed by a unit algorithm rather than in an integrated form, it requires additional efforts to manage the integrated software, such as requirement analysis and integrated testing. The mode-based platform applied in this paper provides an integrated development environment for requirements analysis and allocation, algorithm development through simulation, automatic code generation for deployment, and integrated requirements testing, and result management. With the platform, we developed multi-level models of the multi-function radar software, verified them using test harnesses, managed requirements, and transformed them into hardware deployable language using the auto code generation tool. We expect this Model-based integrated development to reduce errors from miscommunication or other human factors and save on the development schedule and cost.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.53-54
• /
• 2008

• Current Optics and Photonics
• /
• v.6 no.4
• /
• pp.381-391
• /
• 2022

Two-photon-polymerization additive-manufacturing systems feature high resolution and precision. However, there are few reports on specific methods and possible problems concerning the use of small lasers to independently build such platforms. In this paper, a femtosecond-laser two-photon-polymerization additive-manufacturing system containing an optical unit, control unit, monitoring unit, and testing unit is built using a miniature femtosecond laser, with a detailed building process and corresponding control software that is developed independently. This system has integrated functions of light-spot detection, interface searching, micro-/nanomanufacturing, and performance testing. In addition, possible problems in the processes of platform establishment, resin preparation, and actual polymerization for two-photon-polymerization additive manufacturing are explained specifically, and the causes of these problems analyzed. Moreover, the impacts of different power levels and scanning speeds on the degree of polymerization are compared, and the influence of the magnification of the object lens on the linewidth is analyzed in detail. A qualitative analysis model is established, and the concepts of the threshold broadening and focus narrowing effects are proposed, with their influences and cooperative relation discussed. Besides, a linear structure with micrometer accuracy is manufactured at the millimeter scale.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.46 no.5
• /
• pp.29-36
• /
• 2009

Cost and Time for software test is gradually increasing as the software complexity increases. To cope with this problem, it is very important to reduce the number of test cases used in the software test. The interaction strength number is especially important in decision of the number of test cases for the unit test, where the interaction strength number means the number of arguments which affect the results of a function by the analysis of their combination used in source code of the function. This paper proposes the algorithm that computes the number of the interaction strength, where analyzes the patterns used in the source code of a function and increase its number when the pattern matches one of the specified patterns. The proposed algorithm is validated by some experiments finding coverage and the number of fault detection.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.10-20
• /
• 2009

As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.11 no.2
• /
• pp.13-19
• /
• 2015

Steam generator is one of the most important component of nuclear power plant, and it's integrity and reliability are to be assured to high level by pre-service inspection and in-service inspection. To improve the reliability of steam generator heat exchanger tubes and to secure the management of nuclear power plant safely, KHNP CRI recently has developed eddy current testing system for steam generator. KHNP CRI have performed a series of experimental verification and field application to confirm the performance of the developed ECT system in accordance with ASME Code requirements. The ECT system consists of a remote data acquisition unit, an ECT signal acquisition and analysis software, a water chamber robot controller and a probe push-puller. In this paper, we will details of the developed ECT system and the software and their experimental performance. And also we will report the field applying performance and the issues for further steps.

• 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.