1 | Ahyoung Sung and Jina Jang and Byoungju Choi Fault-Based Interface Testing Between Real-Time Operating System and Application Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006. |
|
| Abstract: Testing interfaces of an embedded system is important since the heterogeneous layers such as hardware, OS and application are tightly coupled. We propose the mutation operators in three respects, "When?', "Where?' and "How?' in order to inject a fault into RTOS program when testing interface between RTOS and application. Injecting a fault without affecting the RTOS in run-time environment is the core of proposed mutation operators. We apply the mutation operators to interface testing during the integration of RTOS and application in the industrial programmable logic controller. |
| @INPROCEEDINGS{SungJC06,
author = {Ahyoung Sung and Jina Jang and Byoungju Choi},
title = {Fault-Based Interface Testing Between Real-Time Operating System and Application},
booktitle = {Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)},
year = {2006},
address = {Raleigh, North Carolina},
month = {November},
pages = {8}
} |
2 | Hoijin Yoon and Eunhee Kim and Joo Young Seo and Byoungju Choi Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)Linz, Austria, 21 September 2005. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{YoonKSC05,
author = {Hoijin Yoon and Eunhee Kim and Joo Young Seo and Byoungju Choi},
title = {Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study},
booktitle = {Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)},
year = {2005},
address = {Linz, Austria},
month = {21 September},
pages = {210-224}
} |
3 | Hoijin Yoon and Byoungju Choi Effective Test Case Selection for Component Customization and its Application to Enterprise JavaBeans: Research Articles Software Testing, Verification and Reliability, 14(1), March 2004. |
|
| Abstract: Component users need to customize components they obtain from providers, because providers usually develop components for general use. Although the customization is accomplished by modifying the interface of a component, faults from customization appear when the implementation part of a component and the interfaces interact. The implementation part is a black-box, whose source code is not available to a component user, while the interface is a white-box, whose source code is available for customization. Therefore, customization faults should be tested using both the black-box part and the white-box part of a component.This paper proposes a new technique to test customization faults using software fault injection and mutation testing, and the technique is tailored to Enterprise JavaBeans. Test cases are selected by injecting faults not into the entire interface but into specific parts of the component's interface. The specific parts that are chosen control the effectiveness of the test cases. An empirical study to evaluate the technique is reported. |
| @ARTICLE{YoonC04,
author = {Hoijin Yoon and Byoungju Choi},
title = {Effective Test Case Selection for Component Customization and its Application to Enterprise JavaBeans: Research Articles},
journal = {Software Testing, Verification and Reliability},
year = {2004},
month = {March},
volume = {14},
number = {1},
pages = {45-70}
} |
4 | Hoijin Yoon and Byoungju Choi Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{YoonC01,
author = {Hoijin Yoon and Byoungju Choi},
title = {Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {71-78}
} |
5 | Byoungju Choi and Aditya P. Mathur High-performance Mutation Testing Journal of Systems and Software, 20(2), February 1993. |
|
| Abstract: Testing a large software program is a time consuming operation. In addition to the time spent by the tester in identifying, locating, and correcting bugs, a significant amount of time is spent in the execution of the program under test and its instrumented or fault-induced variants, also known as mutants. When using mutation testing to achieve high reliability, there can be many such mutants. In this article, we show how a multiple instruction multiple data (MIMD) architecture can be exploited to obtain significant reductions in the total execution time of the mutants. We describe the architecture of the PM othra system, which is designed to provide the tester with a transparent interface to a parallel machine. Experimental results obtained on the Ncube/7 hypercube are presented. The near-linear speedups show the perfect match that exists between the software testing application and a local memory MIMD architecture typified by the Ncube/7 machine. The compilation bottleneck, which could have an adverse effect on the speedup, is illustrated by experimental results. |
| @ARTICLE{ChoiM93,
author = {Byoungju Choi and Aditya P. Mathur},
title = {High-performance Mutation Testing},
journal = {Journal of Systems and Software},
year = {1993},
month = {February},
volume = {20},
number = {2},
pages = {135-152}
} |