Requirement Model Checking Approach Based on Multi-view and Software Behavior
Software requirement is one of the most important steps in the whole software implementation life cycle.Model driven requirement analysis is to make requirement model as the complement of requirement specification.Requirement model plays the role that to discovery the incorrent and inconsiste facts in requirement specification.In this paper,w e proposed an requirement model checking approach based on a muliti view point requirement analysis methology.The main idea of this methology is to construct the properties in a behavior temporal logic style,and the finite state machine of the requirement model and check w hether the properties could satisfy the model.Besides,w e have also discussed about its optimizing manner in proposition abstraction w ay.We also have implemented model checking toolkit for further research.