Since software engineering is not merely a set of programming techniques, a new software engineering method should be properly evaluated and formalized before it is adopted. One recent topic in software engineering, process programming, is based on the assumption that software development can be formalized and de scribed precisely. Without formalization, a verification method cannot guarantee that the proper work is done in a certain phase of software development. Nevertheless, human factors still remain important, especially in the early phases. Upstream CASE tools are designed for close communication among people doing related work.
Technology designed to support human communication is called groupware.
Although there is no definite model of human interaction, many groupware systems have been proposed. High- performance workstations make it possible to process voices, images, and even movies. A multi-media environment contributes to giving deep sight of software as well as close communication. This paper reports Japanese research I development activities related to these current directions, focusing on upstream CASE tools. This paper briefly surveys the current status of software testing and provides an introduction to the methodologies and techniques employed by Fujitsu.