The Research And Application Of Formal Requirement Analysis Method Based On Evolved Component

The success of software system has greatly depended on the quality of requirement engineering (RE), while today's research of RE mostly focus on the expression form, the methods of acquirement and verification of requirement analysis (RA). From the point of requirement evolvement, and based on deep analysis of lately RA methods, component technique, CBD and formal methods, the paper proposed the theory model, technique model and related concepts of relation operation between components, designed and partly implemented the formal RA modeling tool —RE-Tracker base on evolved component (EC). It has been testified that this method can efficiently trace the evolvement procedure of RA and increase the consistency, reliability and integrality of RA via the secrete instance.