Automation of Significance Analyses with Interval Splitting

摘要

In the SCoRPiO project we are interested in the significance of program code with regard to its outputs in order to compute less significant parts for instance on less reliable but power saving hardware. Multiple approaches can be taken including pure interval arithmetics [ 1], Monte Carlo methods, and a tool chain for interval derivative based significance analysis. The tool chain dco/scorpio [2,3] was introduced in the SCoRPiO project. In this paper we propose to automate the process of interval derivative based significance analysis to widen input domains. We present an interval splitting approach to handle difficulties introduced by the interval evaluation, e.g. unfeasible relational operators or the wrapping effect. Each split will result in multiple scenarios which can be computed in parallel. The presented approach is a step forward towards a fully automatic significance analysis of computer code.