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

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.7
• /
• pp.9-16
• /
• 2017

In this paper, we propose a development method of portable Automatic Test Equipment based on PXIe platform. Legacy VME form factor structured test equipment has limited reuse and expansion of modules due to unapplied bus specification. In particular, these limitations can cause development periods and costs to increase, and the reliability of environmental conditions is lacking due to non-standard modules. The test equipment of the proposed PXIe platform can use diverse COTS modules to shorten the development period and minimize the instability between developments. The PXIe development module works with standard Xilinx FPGAs, PXIe Windows device drivers, and applications on standard PXIe buses. The use of standard bus and COTS modules increases scalability and reusability, enabling rapid development and excellent maintenance. Through the test, we show the proposed test equipments can be implemented efficiently between the development processes and proved their reliability through function tests and environmental tests.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.3
• /
• pp.268-276
• /
• 2002

In this paper we suggest a method to produce automatically teat data using UML development diagrams, and analytically describe the application of a tool, Automatic UML-based Test Data Generation (AUTEG) developed using XML technology, to the examples of insurance system. Our AUTEG automatically generates test diagrams that enable to detect errors existing at the interface area between modules composing the whole system, along with test data by applying the existing white-box test technique to the test diagram. Our AUTEG can be applied to the integration test as well as the system test and using the tool, users may make the unit modules of the integration test into several groups.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.7
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.

• Journal of Korean Society for Quality Management
• /
• v.15 no.2
• /
• pp.38-49
• /
• 1987

Experimenters often want to test whether a specific treatment is really better than the others. In such a problem we derive the likelihood ratio test and compare the result with other multiple comparisons procedures. A nonparametric procedure based on ranks is also considered. Pitman efficiency of the rank-sum procedure relative to the likelihood ratio test is computed.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.4
• /
• pp.185-193
• /
• 2019

In this paper, we propose the effects of programming-based TPACK educational program on the pre-service teacher's self-efficacy beliefs for technology integration. For this study, pre-service teachers who received programming education and TPACK education based on ICT were set as control group and pre-service teachers who received programming-based TPACK education as experimental group. In order to observe the change, the pre-service teachers conducted the test tool to measure the self-efficacy beliefs for technology integration before and after applying the educational program. As a result of the study, only the pre-service teachers who received the programming-based TPACK education showed significant improvement in the self-efficacy beliefs for technology integration. Furthermore, in the post-test, the experimental group showed a significantly higher difference than the control group. Through this study, it was concluded that programming-based TPACK educational program is effective in enhancing pre-service teacher's self-efficacy beliefs for technology integration.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.11
• /
• pp.73-79
• /
• 2017

The purpose of this study was to identify differences in stress, interpersonal relations, learning perceptions and self-efficacy of nursing students participating in team based learning simulation practices. The study group consisted of 24 students in the third grade who attended nursing college. Data were collected using questionnaires. The collected data were analyzed by SPSS 22 version's descriptive statistics, t-test, and paired t-test. The results showed that stress and learning perceptions were significantly different according to gender, leave of absence in pre and post - test. After the practice of team - based simulation, the stress of nursing college students decreased and interpersonal relations and self - efficacy were improved. The results of this study showed that nursing students' gender and absence of school should be considered in the team - based simulation. Further research on team based simulation practice involving interpersonal relationships is needed.

• Journal of the Korean Chemical Society
• /
• v.65 no.1
• /
• pp.48-57
• /
• 2021

This study analyzed the science assessment items that were conducted by the paper and the computer-based assessment in the TIMSS 2019 pre-test, which is an international academic achievement assessment. We examined whether the test mode influenced the percentage of items answered correctly by each graders. As a result, there was no significant difference in the correct answer rates of science items according to the test media in 4th and 8th graders. Looking at the each graders, the difference in the percentage of correct answers was relatively large in the fourth grader rather than the eighth grader. In terms of items, the difference in the percentage of correct answers was relatively larger for the constructed items than the multiple choice questions. As a result of analyzing the content of science and assessment items on the influence of the test media, the multiple choice items showed little difference between the paper and the computer-based assessment items, but the answer-type items tended to have a lower percentage of correct answers than the paper-based assessment. In addition, by grade, 4th graders showed lower percentages of correct answers in the constructed items than 8th graders. This study provides implications related to the development and introduction of computer-based assessment in Korea, and suggests an educational implications for computer-based assessment to be well established as school evaluation.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.9
• /
• pp.60-67
• /
• 2013

Test cost reduction is necessary to test a complex System-on-a-Chip(SoC) which adopts various Intellectual Properties (IP). In this paper, test architecture with low pin count which is able to IP-based SoC test, using IEEE Std. 1149.7 and IEEE Std. 1500, is proposed. IEEE Std. 1500 provides independent access mechanism for each IP in IP-based SoC test. In this paper, just two test pins are required by composing that these independent access mechanism can be controlled by IEEE Std. 1149.7. The number of Chips which are tested at the same time is increased by reducing required test pin count at wafer and package level test, and consequently the overall manufacturing test cost will be reduced significantly.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.10
• /
• pp.47-55
• /
• 2015

To verify the function of vehicle is becoming more and more difficult because many electronic control units have been embedded in vehicle with development of electronics industry. The reliability of vehicle should be considered above all important because malfunction of vehicle can cause damage of human life. In this paper, defect diagnosis platform based on CAN network is proposed to improve the reliability of vehicle. Reliability of vehicle is significantly increased by adopting the structural test via dedicated test path after manufacturing. Besides, the test cost is reduced because additional test pins are not required.