首页>
外国专利>
System and method for feedback-guided test generation for cyber-physical systems using monte-carlo
System and method for feedback-guided test generation for cyber-physical systems using monte-carlo
展开▼
机译:使用蒙特卡洛为网络物理系统生成反馈指导的测试的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for generating test vectors includes generating traces of a system model or program stored in memory using a simulation engine. Simulated inputs are globally optimized using a fitness objective computed using a computer processing device. The simulation inputs are adjusted in accordance with feedback from the traces and fitness objective values by computing a distance between the fitness objective value and a reachability objective. Test input vectors are output based upon optimized fitness objective values associated with the simulated inputs to test the system model or program stored in memory.
展开▼