• Journal of Information Processing Systems
• /
• v.7 no.2
• /
• pp.363-384
• /
• 2011

As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test data. In general, mutation analysis is applied after the test data is generated. But, in this work, we propose a technique that applies mutation analysis at the time of test data generation only, rather than applying it after the test data has been generated. This saves significant amount of time (required to generate adequate test cases) as compared to the latter case as the total time in the latter case is the sum of the time to generate test data and the time to apply mutation analysis to the generated test data. We also use genetic algorithms that explore the complete domain of the program to provide near-global optimum solution. In this paper, we first define and explain the proposed technique. Then we validate the proposed technique using ten real time programs. The proposed technique is compared with path testing technique (that use reliability based testing criteria) for these ten programs. The results show that the adequacy based proposed technique is better than the reliability based path testing technique and there is a significant reduce in number of generated test cases and time taken to generate test cases.

• East Asian mathematical journal
• /
• v.34 no.2
• /
• pp.103-125
• /
• 2018

This study was conducted as a part of the project to evaluate the quality of mathematics instruction in the national curriculum system. The purpose of this study is to measure the consistency between teaching goals of mathematics curriculum, contents presentation of textbooks, and testing including adequacy of each element in mathematics instruction for 8th grade. To do this, we used MIQP (instructional quality profile for Mathematics) developed basing on the instructional quality profile (IQP) in the previous research of the project. First, the quality of textbooks' content presentation for 8th grade was found that the desirable levels in number and operation area and geometric area was relatively less compared to other areas, but it was generally good. Second, it was found that the quality of mathematics testing for 8th grade was good in terms of consistency with the curriculum's teaching goals, consistency with the content presentation of textbooks, and adequacy of testing. However, regional differences in the quality of testing showed that there were some deficiencies in regions outside the metropolitan.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• Nuclear Engineering and Technology
• /
• v.54 no.5
• /
• pp.1652-1656
• /
• 2022

Fire tests were conducted on cables using fire-retardant paint employed in nuclear power plants that transmit electrical power, control and instrument signals. The failure criteria of various power and control cables coated with fire retardant coating at three different coating thicknesses (~0.5 mm, 1.0 mm & 1.5 mm) were studied under direct flame test using Container Fire Test Facility (CFTF) based on standard tests for bare cables. A direct flame fire test was conducted for 10 min with an LPG ribbon burner rated at ten by fixing the cable samples in a vertical cable track. Inner sheath temperature was measured until ambient conditions were achieved by natural convection. The cables are visually evaluated for damage and the mass loss percentage. Cable functionality is ascertained by checking for electrical continuity for each sample. The thickness of cable coating on fire exposure is also studied by comparing the transient variation of inner sheath temperature along the Cable length. This study also evaluated the adequacy of fire-retardant coating on cables used for safety-critical equipment in nuclear power plants.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.2
• /
• pp.221-229
• /
• 2020

As the cosmetics beauty industry grows into a key next-generation industry, the establishment of an industrialization center is needed, but failure to verify the adequacy and feasibility of the investment could lead to financial burdens. In this study, the project costs and facilities of an industrial center are reviewed to analyze its economic feasibility based on the cost estimates, revenue estimates, estimated profit or loss calculations, and estimated operating cash flows. The profit estimation criteria were analyzed by applying 90 per cent of expected orders for research projects (24 billion won) and 12 per cent of rental rates for testing equipment (4.5 billion won for construction), and the benefit/cost ratio is higher than 1.02 per cent and the net present value is higher than '0' won, and the internal rate of return is also more than 5.06 per cent for all three analytical methods. Therefore, in order for the construction of a cosmetics beauty industrialization center to be economically feasible, it is necessary to maintain research project orders of more than 90 percent and return on equipment rent of more than 12 percent, and a strategic approach is needed to diversify business profits.