Patents
Literature
Patsnap Copilot is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Patsnap Copilot

64results about How to "Eliminate excess" patented technology

Method for detecting software features on basis of system requirement model

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.
Owner:WUHAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products