A Study of Rationality Test Rules for Software Process Model

Parallel system evaluation environment (PSEE) is a new generational CASE environment offering software engineers automatic support. To reuse rationality test modules for software process models in PSEE systems, we firstly studies three software process models as well as their rationality test methods, then generate the general rationality test rules, which are finally proved to be correct. The general rules act as a basis for the reuse of rationality test modules.