• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.571-575
• /
• 2010

Mutation testing is known as a very useful technique for measuring the effectiveness of a test data set and finding weak points of the test set. An equivalent mutant degrades the effectiveness of mutation testing. Elimination of equivalent mutants is a very important problem in mutation testing.In this paper, we proposed kinds of methods for detecting class-level equivalent mutants. These methods judge the equivalency of mutants through structural informations and behavioral information of the original program and mutants using static analysis. We found that our approach can detect not a few of equivalent mutants and expected that the cost of mutation testing can be saved considerably.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.4
• /
• pp.115-124
• /
• 2021

Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.

• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.135-140
• /
• 2009

The characteristic of mutant has long history, which is shown in various science fictions. There are different types and characters like Satyrs from Ancient Greek to superheroes in present. In fact, however, mutant as a cultural content has not been discussed sufficiently in Korea, even if related analyses were required indeed. In the thesis the characteristic and types of 'Homo Mutant' will be introduced and analyzed in many aspects and look for the reason why 'Homo Mutant' can be revealed and apply for further possibilities.

• Cartoon and Animation Studies
• /
• s.16
• /
• pp.141-163
• /
• 2009

This paper examined the goblin characters in Japan animation. The meaning of the goblin in this paper is not a just monster. They have a spirit. This concept is based on animism in japanese mind. I attempted a chase of goblin character's making methods. My theoretical approaches lean on the concepts "inter-textuality" of Julia Kristeva and "text" of Roland Barthes. First of all, I compared some beings of the old chinese myth-geographical book with some characters of Japan animation . The making method of goblin characters is two. One is 'Hybrid', the other is 'Mutant'. And than I appled to Japanese traditional image, "Baek-kuy-ya-hang-do"(hundreds of goblins' parade). The making method of goblins is combined to a inter-textual way as hybrid or mutant.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.649-652
• /
• 2017

프로그래밍 교육에서 실습교육은 소스 코드를 직접 작성해보는 과정을 통해 이론적인 지식을 보완할 수 있는 매우 중요한 과정이다. 따라서 대부분의 프로그래밍 교과과정은 실습교육을 포함하고 있다. 그러나 실습교육을 통해 학습 성취도를 평가하는 일은 시간과 비용이 많이 소모되는 작업이다. 그래서 많은 교육기관에서는 평가를 효율적으로 하기 위해 자동 평가 시스템을 운용하고 있다. 자동 평가 시스템은 학생들의 실습 결과를 정확하고 신속하게 평가하는데 효과적이다. 그러나 실습교육에 필요한 실습문항은 대부분의 경우 교사가 수작업으로 생성하며 이 과정에서 많은 인적 시간적 비용이 발생하게 된다. 이러한 문제를 해결하기 위해서 문항 생성을 자동화하려는 연구가 진행되고 있으나 아직까지 초기 단계이며 새로운 문항을 생성하지 못하는 등의 제약 사항이 많아 적용하기에 무리가 있다. 따라서 본 논문에서는 하나의 문항으로부터 다양한 문항들을 변형하여 생성할 수 있는 방법을 제안하고 이를 지원하는 프로그래밍 실습용 문항 생성기의 구조를 설계한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.307-309
• /
• 2005

컴퓨터 성능의 향상으로 고비용의 수행을 요하는 뮤테이션 분석 기법의 적용 가능성이 커지면서, 객체지향 프로그램을 대상으로, 특히 자바 프로그램에 대하여, 뮤테이션 분석 기법에 관한 연구가 수행되었다. 자바의 경우, 바이트 코드를 이용한다면 소스코드 없이 오류 프로그램인 뮤턴트들을 생성할 수 있을 뿐만 아니라, 소스코드를 이용할 때보다 뮤테이션 분석을 빨리 수행할 수 있는 장점이 있다. 하지만 현재 이러한 장점을 효율적으로 활용할 수 있는 바이트 코드 수준의 연산자는 나와있지 않다. 본 논문에서는 자바 바이트 코드를 대상으로 하는 메소드 수준의 뮤테이션 연산자를 정의한다. 개발한 뮤테이션 연산자는 소스코드 수준에서 사용자가 범할 수 있는 오류만을 대상으로 한다. 따라서 소스 코드를 대상으로 하는 뮤테이션 분석의 기능을 모두 보여주면서, 성능향상을 가져다 준다.

• Cartoon and Animation Studies
• /
• s.18
• /
• pp.37-56
• /
• 2010

This paper focalizes on the 'evolution' of monster animation and . Actually, Many characters' 'Evolution' is a very powerful convention of Japanese genre animation. Lots of young people feel a huge pleasure about character's evolution. It is a fantastic spectacle to boys and girls. The first characteristic point of characters' evolution is growing-up body to an adult. For example, magical girls genre shows a woman's sexy body. This scene gives a sexual fantasy to young girl spectators, a voyeuristic visual pleasure to young boy spectators. The second point is that a transforming-body gains some super power or magical power. The third point is that a great many characters is in one text. In , characters' numbers go on increasing through 6 ways-hybrid type, mutant-reiteration type, metamorphosis type, simple-grownup type, narrative type, multiple evolution type. The evolution of has to pay attention to only one transforming way. Most Digimon characters are becoming to a human-weapons cyborg. In my opinion, this is very dangerous phenomenon with a political ideology.

• KIISE Transactions on Computing Practices
• /
• v.22 no.3
• /
• pp.145-150
• /
• 2016

Finding the exact location of faults in a program requires enormous time and effort. Several fault localization methods based on control flows of a program have been studied for decades. Unfortunately, these methods are not applicable to programs based on data-flow languages. A recently proposed mutation-based fault localization method is applicable to data-flow languages, as well as control-flow languages. However, there are no studies on the effectiveness of the mutation-based fault localization method for data-flow based programs. In this paper, we provided an experimental case study to evaluate the effectiveness of mutation-based fault localization on programs implemented in Function Block Diagram (FBD), a widely used data-flow based language in safety-critical systems implementation. We analyzed several real faults in the implementation of FBD programs of a nuclear reactor protection system, and evaluated the mutation-based fault localization effectiveness for each fault.

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