Abstract: The software evolution process,the inter-discipline of software process and software evolution,becomes a key area in software engineering.In the recent past,many researchers have paid more attention to and devoted great efforts in this area and have made great progress.As the structure of software evolution process has not been effectively verified,the incidence matrix approach is used to prove the properties such as the structural boundedness,repeatability,conservativeness and so on.Therefore,the structure properties of the model that modelling software processes by using the white box approach is proved.Consequently,the quality of software evolution processes is improved.

Key words: Software evolution process,Structure verification,Incidence matrix,White box modeling,Structure properties