The Research And Implementation Of On The Problem-Oriented Validation Of Requirements Satisfaction And Testing Method

With the progress of science and technology,the system realizes more and more functions,the scale of the system becomes larger and the complexity.According to the conclusion of Standish Group's report in 2015,the bigger the scale is the easier to fail.In particular,when the concept of industry 4.0 is deeply popular,the Cyber-Physical System(CPS),as the main technology of industrial manufacturing,has become one of the research objectives of scholars and experts.Because of the large amount of hardware used in the Cyber-Physical System,its development cost is quite expensive;At the same time,the quality of Cyber-Physical System is related to people's life quality,life and property safety.In past studies,requirements are the most critical factor for project success or failure.Requirement modeling is for system developers to understand their meanings semantically and correctly from the requirements information they get.Both academia and enterprises pay more attention to the requirement modeling method.In many requirement modeling approaches,the Problem Frames approach is also favored by some universities and scholars.As a problem-oriented requirement engineering,the Problem Frames approach has played an important role in the process of system development under the continuous research and exploration of many people.There are many directions to be studied and explored in Problem Frames.In this paper,two researches are carried out based on the Problem Frames approach.The first is to transform the problem graph into the communication sequence process(CSP)script to verify the requirements satisfaction.Second,the object constraint language(OCL)constraint is attached to the modeling environment,so as to verify the integrity and correct of the model.The Problem Frames is a semi-formalized approach,which is difficult to carry out strict semantic analysis and correctness verification for complex system models.The Problem Frames is also a rigorous modeling language,which stipulates corresponding integrity and correctness constraints.Then,referring to the thought of predecessors,this paper introduces test related work in the stage of requirement analysis.In the requirements analysis phase,if you add the test work to it,you can make the requirements more detailed.In the large CPS system,the failure of the physical components,the failure of the computing component,the failure of the interaction between the computing component and the physical component.Its all can cause the destructionof the software,and even the safety accident.And how to effectively exclude failures in a short time and analyze the cause of failure accurately,all of them need system simulation modeling.Therefore,this paper uses the Problem Frames modeling approach to describe the requirements,and generates test scenarios for the system based on the causal chain and designs test cases that conform to the CPS system.Finally,a software is implemented in this paper,and the contents of this research are implemented one by one.At the same time,the software implements the collaborative modeling among several roles and several requirement analysts.A good modeling software should achieve multi-person collaboration for the simultaneous use of three or more different roles,which is beneficial to requirements analysis iterative and guidance software development,as well as the help of testing work.