首页>
外国专利>
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.
展开▼