• Journal of the Korea Society of Computer and Information
• /
• v.29 no.6
• /
• pp.89-100
• /
• 2024

The primary goal of software testing is to identify and correct errors within software. A key challenge in this process is error masking, where errors disappear internally before reaching the output. This paper investigates the causes and characteristics of error masking, which complicates software testing. The study involved injecting artificial errors into three software programs to examine the extent of error masking by various test cases and to explore the underlying reasons. The experiment yielded four major findings. First, about 50% of the error masking occurred because the errors were not executed. Second, among various operators, logical and arithmetic operators masked errors less frequently, while relational and temporal operators tended to mask errors more extensively. Third, certain test cases demonstrated exceptional effectiveness in propagating errors to the output. Fourth, the type of error injected influenced the masking effect.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.1
• /
• pp.167-172
• /
• 2004

A method for the design of a disk cam with a remote follower is presented. ADAMS software is utilized for the design process. The whole process is applied for the design of a cam profile to be used in a tappet shedding device of a shuttle loom. First the desired motion of the remote follower, the hearld frame in this case, is determined to improve the characteristic of a certain weaving process. Next, the desired displacement data is input to the ADAMS software and the cam profile is obtained as an output. To test the validity of the proposed method, designed cams were actually manufactured and implemented on a experimental loom. And with the help of potentiometer type displacement transducers, the motion of the remote followers were actually recorded. And the result was sufficient to prove the validity of the presented method.

• Journal of the Korean Society for Precision Engineering
• /
• v.23 no.2 s.179
• /
• pp.65-72
• /
• 2006

Downcoiler is one of the major facilities in hot strip mill operation. The key to good coiling is having good equipment, modem control systems, excellent maintenance and an understanding of coiling process. Therefore, this study aims to develop a program that is useful for calculating machine design parameters and simulating coiling process. In this study, the pinching and coiling mechanism of the downcoiler was thoroughly studied and some of operational factors and their effects on the coiling process were investigated. The software was developed to estimate engineering parameters for coiler component design and to determine optimal setting values for successful coiling operation. In order to check the accuracy and usefulness of the developed software, the simulation of the downcoiler in $\#2$ Hot Strip Mill in Pohang Works was performed. The simulation results suggested that the set-up value for unit tension could be lowered. Test coiling operation by using the lowered set-up value for unit tension resulted in much more successful coiling in the aspect of strip quality and power consumption.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1465-1469
• /
• 2003

In general satellite verification process, the AOCS (Attitude & Orbit Control Subsystem) should be verified through several kinds of verification test which can be divided into two major category like FBT (Fixed Bed Test) and polarity test. And each test performed in different levels such as ETB (Electrical Test Bed) and satellite level. The test method of FBT is to simulate satellite dynamics with sensors and actuators supported by necessary environmental models in ETB level. The VDS (Vehicle Dynamic Simulator) try to make the real situation as possible as the on-board processor will undergo after launch. The purpose of FBT test is to verify that attitude control logic function and hardware interface is designed as expected with closed loop simulation. The VDS is one of major equipments for performing FBT and consists of software and hardware parts. The VDS operates in VME environments with target board, several commercial boards and custom boards based on the VxWorks real time operating system. In order to make time synchronization between VDS and satellite on-board processor, high reliable semaphore was implemented to make synchronization with the interrupt signal from on-board processor. In this paper, the real-time operating environment used on VDS equipment is introduced, and the hardware and software configurations of VDS summarized in the systematic point of view. Also, we try to figure out the operational concept of VDS and AOCS verification test method with close-loop simulation.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.81-86
• /
• 2001

one key goal of software testing is to generate a 'good' test data set, which is consideres as the most difficult and time-consuming task. This paper discusses how genetic algorithns can be used for automatic generation of test data set for software testing. We employ mutation testing to show the effectiveness of genetic algorithms (GAs) in automatic test data generation. The approach presented in this paper is different from other in that test generation process requireas no lnowledge of implementation details of a program under test. In addition, we have conducted some experiments and compared our approach with random testing which is also regarded as a black-box test generation technique to show its effectiveness.

• Journal of Computing Science and Engineering
• /
• v.2 no.3
• /
• pp.274-300
• /
• 2008

Software testing cost can be reduced if the process of testing is automated. However, the test data generation task is still performed mostly by hand although numerous theoretical works have been proposed to automate the process of generating test data and even commercial test data generators appeared on the market. Despite prolific research reports, few attempts have been made to evaluate and characterize those techniques. Therefore, a lot of works have been proposed to automate the process of generating test data. However, there is no overall evaluation and comparison of these techniques. Evaluation and comparison of existing techniques are useful for choosing appropriate approaches for particular applications, and also provide insights into the strengths and weaknesses of current methods. This paper conducts experiments on four representative test data generation techniques and discusses the experimental results. The results of the experiments show that the genetic algorithm (GA)-based test data generation performs the best. However, there are still some weaknesses in the GA-based method. Therefore, we modify the standard GA-based method to cope with these weaknesses. The experiments are carried out to compare the standard GA-based method and two modified versions of the GA-based method.

• Nuclear Engineering and Technology
• /
• v.46 no.5
• /
• pp.719-724
• /
• 2014

During the development process of a thermal-hydraulic system code, a non-regression test (NRT) must be performed repeatedly in order to prevent software regression. The NRT process, however, is time-consuming and labor-intensive. Thus, automation of this process is an ideal solution. In this study, we have developed a program to support an efficient NRT for the SPACE code and demonstrated its usability. This results in a high degree of efficiency for code development. The program was developed using the Visual Basic for Applications and designed so that it can be easily customized for the NRT of other computer codes.

• Proceedings of the KSR Conference
• /
• 2001.05a
• /
• pp.347-358
• /
• 2001

In this paper, we apply NHPP model example to s/w process in order to get to know s/w reliability. The test is constructed by a test zig of commercial product loaded real embedded system s/w. It is established to s/w reliability prediction and estimation of real-time embedded system s/w. It is computed the prediction value of cumulative failures, the failure intensity, the reliability and the estimation value of MTTF, Failure Rate. To the more realization of high reliability in the real-time embedded system s/w, if the embedded system s/w is ensured to the test coverage and constructed to stable s/w process ＆ operating system, we can improve the performance and the reliability characteristic of the real-time embedded system s/w.

• Journal of Practical Engineering Education
• /
• v.6 no.2
• /
• pp.127-134
• /
• 2014

Analyzing test data of a vehicle for evaluating its emission performance is an essential process in automotive development field, yet it is intricate and tedious task. In addition, clear understanding and care are required when the analysis process is carried out. Computer software solutions significantly reduce the time and the effort for such analysis. Developing a computer routine to analyze the emission data in a vehicle test demands a complete understanding of the emissions analysis and its related details. In this paper, the principals to develop a LabVIEW analysis routine (VI) are introduced helping automotive engineers comprehend the emission analysis process of a vehicle test data and instruct them to develop similar routines for such analysis.

• Journal of Information Technology Applications and Management
• /
• v.9 no.4
• /
• pp.79-101
• /
• 2002

The National Computerization Agency has been leading the Information Systems(IS) audit since 1987, as development of IS projects in governmental and public sectors have become daily issues. While many considerations on audit guidelines and techniques for quality management in IS have been given to respond to the fast increasing demand of audit process since mid 1990's, the study on the fact that how audit activities directly affect the quality of software process has been put aside. In this paper, we went through 74 audit results, which were reported by H auditing organization, and performed on 59 IS projects carried on 1999 through 2001. As a result of study, we found that more than one fourth of errors of Coding and Test phases are caused in the earlier phases, which naturally leads to the conclusions that auditing on earlier phases can save a lot of stitches in the later phases. Comparing two types of IS projects-the one that went through only one audit process, and the other that went through two audit processes-, we found that projects with two audits carry less errors on Planning, Analysis, Design phases as a whole, which revealed the facts that IS audit actually gives positive effects on the quality of software.