The invention provides a method for detecting
software features on the basis of a
system requirement model. The
system requirement model consists of the viewpoint behavior model of all the
viewpoints in a
system; the viewpoint behavior model consists of all the scene behavior models in the viewpoint; the scene behavior models are formed by combining all the effective behaviors in the scene according to the relations among the behaviors; and the method is characterized by checking the consistency in the
viewpoints of the system requirement model and verifying the effectiveness of the behaviors thereof, more particularly, the consistency in the
viewpoints of the system requirement model is checked by converting the behavior model expression of the viewpoint behavior model into the expression of a dynamic operation semantic model and judging whether the viewpoint behavior models of two viewpoints are equivalent by observation, and the
verification of the effectiveness of the behavior is achieved by converting the system requirement model into an equivalent dynamic operation semantic model, expressing the
software features related to the effectiveness of the behavior as the
sequential logic formula and carrying out the automatic detection according to the dynamic operation semantic model and the
sequential logic formula to obtain the
verification result of the effectiveness of the behavior.