Since it has become popular to use applications on window operating systems, such as Microsoft Windows and GNOME, we attempt to use the GUI specific testing approach. Thus, model-based testing was newly established and often used in GUI application testing, but the model-based testing method is not yet mature and has not been researched enough. In this paper, we will clarify which factors are lacking and offer solutions with case studies.
Redundancy alllocation is an efficient method to improve reliability and many studies on optimal redundancy allocation have been presented for various structures, such as series system, bridge system and general system by many techniques. In this paper, we deal with the problem in which redundancy or alternative component (or module) can be considered at all level in series systems. A mixed integer nonlinear programming problem is proposed and a genetic algorithm is used to find the solutions.