Method for detecting software features on basis of system requirement model

Abstract

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.

Description

Technical field [0001] The invention belongs to the field of software development technology and tools, and particularly relates to a software characteristic detection method based on a demand model. Background technique [0002] For software development, if an error occurs in the requirements phase, it will increase the software development cost and development time or cause the development work to fail. In order to reduce the errors in the demand phase, it is an important and essential work to check the demand model of the software system in the demand phase. The detection of the demand model is based on the formal or semi-formal description of the demand model, inferring and verifying the nature of the software system to determine whether the demand model is consistent and meeting the user's requirements. In the actual development of software, in order to better understand the requirements, especially the requirements of complex software systems, it is often necessary for sof...

AI Technical Summary

Problems solved by technology

But the disadvantage is that the concept symbol is too abstract, it needs to have a good mathematical foundation and strict special training before it can be mastered and used, and it may increase the cost of software development

[0088] However, there is no technical solution for software feature detection for the requirement model generated by this new requirement modeling method based on viewpoint and behavior.

Images