首页>
外国专利>
Automated Test Generation for Structural Coverage for Temporal Logic Falsification of Cyber-Physical Systems
Automated Test Generation for Structural Coverage for Temporal Logic Falsification of Cyber-Physical Systems
展开▼
机译:自动生成物理网络时间逻辑伪造的结构覆盖的测试
展开▼
页面导航
摘要
著录项
相似文献
摘要
One embodiment is a methodology for model verification. An embodiment obtaining, by a processor, a model for a system; identifying, by the processor, at least one block within the model that has a branching structure; identifying, by the processor, at least one model variable affecting a switching condition of the identified at least one block; generating, by the processor, an extended finite state machine modeling a switching behavior of the identified at least one block by using the at least one model variable; combining, by the processor, at least one output variable of the extended finite state machine with at least one of a first output port and a second output port of the system included in the model; and performing, by the processor, model verification and coverage of the model that utilizes outputs from the first output port and the second output port to verify the model.
展开▼