发明名称 |
SYSTEM AND METHOD FOR VERIFYING AND TESTING SYSTEM REQUIREMENTS |
摘要 |
There is provided in accordance with embodiments of the present invention a method and a system for testing and verifying a requirements specification of a system comprising describing the requirements specification in a REQUIREMENTS ENGINEERING LANGUAGE (REL), simulating an execution of a scenario of the REL, and identifying logical faults in said requirements specification based on said simulating. Accordingly, the system for testing and verifying of requirements specification of a system comprising a modeling and testing component to build a model of the requirements specification, and a dynamic testing component to test the requirements specification by execution of at least one simulation cycle. |
申请公布号 |
WO2005043278(A2) |
申请公布日期 |
2005.05.12 |
申请号 |
WO2004IL00990 |
申请日期 |
2004.10.28 |
申请人 |
P.R.E - POZITIVE REQUIREMENTS ENGINEERING LTD.;YIFTACHEL, PELEG;GOLDWASSER, DAN;RAPAPORT-ROM, YUVAL |
发明人 |
YIFTACHEL, PELEG;GOLDWASSER, DAN;RAPAPORT-ROM, YUVAL |
分类号 |
G06F;G06F9/44 |
主分类号 |
G06F |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|