Research on Adaptive Evolution of Existing Software

程序切片是理解现有软件的重要手段之一。Inoue等人开发了一种获取程序切片的有效方法，并提出了累积版本控制文件。Cheng等人基于他提出的开发大规模并发软件的系统方法，设计并部分实现了开发此类软件的支持环境。为了支持现有软件的重构，Ushijima等人提出了一种有效利用与目标软件的热点相关的设计模式的方法，并将该方法应用于一个应用软件的重新设计，并对该方法的效果进行了评价。Torii等人构建了CAESE （Computer Aided Empirical Software Engineering，计算机辅助经验软件工程）环境，支持对重构软件的适应性进行定量和定性评估所需数据的收集和分析。Tokuda等人研究开发了下一代操作系统的软件架构，以适应并行和分布式系统、多媒体系统、移动和泛在系统等。Fukuda等人设计了一种设备驱动程序的自动生成方法，作为操作系统的一种进化机制，并在Free BSD和Linux上实现并实验评估了该方法。为了提供一个能够反映每台并行计算机各自体系结构的可移植编译器，Yuasa等人提出了一种基于各自体系结构特殊性的优化机制，并研究了该机制的实现方法。为了保证服务执行时间不受硬件性能的影响，Taniguchi设计了一种进程调度方法来调节处理器分配给程序，并对该方法进行了实现和评估。

Program slicing is one of the important means to understand existing software. Inoue et al. developed an efficient method to get program slice, and proposed accumulative versioning file. Based on his proposal of a systematic methodology to develop large-scale concurrent software, Cheng et al. designed and partially implemented a support environment for developing such software.In order to support reconstruction of existing software, Ushijima et al. proposed a method to make effective use of design patterns related to hot spots of the target software, and applied the method to redesign an application software and evaluated the effect of the method.Torii et al. constructed CAESE (Computer Aided Empirical Software Engineering) environment to support collection and analysis of data needed to quantitatively and qualitatively evaluate adaptability of reconstructed software.Tokuda et al. made a research and development of software architecture of next generation OS to be adaptable to parallel and distributed systems, multimedia systems, mobile and ubiquitous systems, etc. Fukuda et al. designed an automatic generation method of device drivers as an evolutionary mechanism for OS, and implemented them to experimentally evaluate the method using Free BSD and Linux.In order to provide a portable compiler which reflects individual architecture of every parallel computer, Yuasa et al. proposed an optimization mechanism based on special characteristics of individual architecture, and investigated how to implement the mechanism.In order to guarantee service execution time independent of hardware performance, Taniguchi devised a process scheduling method to regulate allocation of processors to the program, implemented and evaluated the method.