### Abstract

Randomized testing is a popular approach for checking properties of large embedded system designs. It is well known that a uniform random choice of test inputs is often sub-optimal. Ideally, the choice of inputs has to be guided by choosing the right input distributions in order to expose corner-case violations. However, this is also known to be a hard problem, in practice. In this paper, we present an application of the cross-entropy method for adaptively choosing input distributions for falsifying temporal logic properties of hybrid systems. We present various choices for representing input distribution families for the cross-entropy method, ranging from a complete partitioning of the input space into cells to a factored distribution of the input using graphical models. Finally, we experimentally compare the falsification approach using the cross-entropy method to other stochastic and heuristic optimization techniques implemented inside the tool S-Taliro over a set of benchmark systems. The performance of the cross entropy method is quite promising. We find that sampling inputs using the cross-entropy method guided by trace robustness can discover violations faster, and more consistently than the other competing methods considered.

Original language | English (US) |
---|---|

Title of host publication | HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control |

Pages | 125-134 |

Number of pages | 10 |

DOIs | |

State | Published - 2012 |

Event | 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC'12 - Beijing, China Duration: Apr 17 2012 → Apr 19 2012 |

### Other

Other | 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC'12 |
---|---|

Country | China |

City | Beijing |

Period | 4/17/12 → 4/19/12 |

### Fingerprint

### Keywords

- Cross-entropy method
- Hybrid systems
- Metric temporal logic
- Monte- carlo simulation
- Robustness
- Testing

### ASJC Scopus subject areas

- Computer Networks and Communications
- Computer Science Applications

### Cite this

*HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control*(pp. 125-134) https://doi.org/10.1145/2185632.2185653

**Falsification of temporal properties of hybrid systems using the cross-entropy method.** / Sankaranarayanan, Sriram; Fainekos, Georgios.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control.*pp. 125-134, 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC'12, Beijing, China, 4/17/12. https://doi.org/10.1145/2185632.2185653

}

TY - GEN

T1 - Falsification of temporal properties of hybrid systems using the cross-entropy method

AU - Sankaranarayanan, Sriram

AU - Fainekos, Georgios

PY - 2012

Y1 - 2012

N2 - Randomized testing is a popular approach for checking properties of large embedded system designs. It is well known that a uniform random choice of test inputs is often sub-optimal. Ideally, the choice of inputs has to be guided by choosing the right input distributions in order to expose corner-case violations. However, this is also known to be a hard problem, in practice. In this paper, we present an application of the cross-entropy method for adaptively choosing input distributions for falsifying temporal logic properties of hybrid systems. We present various choices for representing input distribution families for the cross-entropy method, ranging from a complete partitioning of the input space into cells to a factored distribution of the input using graphical models. Finally, we experimentally compare the falsification approach using the cross-entropy method to other stochastic and heuristic optimization techniques implemented inside the tool S-Taliro over a set of benchmark systems. The performance of the cross entropy method is quite promising. We find that sampling inputs using the cross-entropy method guided by trace robustness can discover violations faster, and more consistently than the other competing methods considered.

AB - Randomized testing is a popular approach for checking properties of large embedded system designs. It is well known that a uniform random choice of test inputs is often sub-optimal. Ideally, the choice of inputs has to be guided by choosing the right input distributions in order to expose corner-case violations. However, this is also known to be a hard problem, in practice. In this paper, we present an application of the cross-entropy method for adaptively choosing input distributions for falsifying temporal logic properties of hybrid systems. We present various choices for representing input distribution families for the cross-entropy method, ranging from a complete partitioning of the input space into cells to a factored distribution of the input using graphical models. Finally, we experimentally compare the falsification approach using the cross-entropy method to other stochastic and heuristic optimization techniques implemented inside the tool S-Taliro over a set of benchmark systems. The performance of the cross entropy method is quite promising. We find that sampling inputs using the cross-entropy method guided by trace robustness can discover violations faster, and more consistently than the other competing methods considered.

KW - Cross-entropy method

KW - Hybrid systems

KW - Metric temporal logic

KW - Monte- carlo simulation

KW - Robustness

KW - Testing

UR - http://www.scopus.com/inward/record.url?scp=84860628734&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84860628734&partnerID=8YFLogxK

U2 - 10.1145/2185632.2185653

DO - 10.1145/2185632.2185653

M3 - Conference contribution

SN - 9781450312202

SP - 125

EP - 134

BT - HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control

ER -