Abstrakt. En önskvärd egenskap hos kontrollsystem är att vara robust för ingångar, det vill säga små störningar av ingångarna i ett system kommer bara att orsaka små störningar på dess utgångar. Men det är inte klart om denna egendom upprätthålls på genomförandenivå, när två nära insatser kan leda till mycket olika genomförandevägar. Problemet blir särskilt viktigt när man överväger finita precisionsimplementeringar, där varje elementär beräkning kan påverkas av ett litet fel. I detta sammanhang är nästan varje test potentiellt instabilt, det vill säga för en given inmatning, kan den beräknade (finita precision) sökvägen skilja sig från den ideala (samma beräkning i reella tal) sökvägen. Ändå, state-of-the-art felanalyser inte anser denna möjlighet och förlitar sig på den stabila testhypotesen, att styrflöden är identiska. Om det finns en diskontinuitet mellan behandlingarna i de två grenarna, det vill säga det villkorliga blocket är inte robust för osäkerheter, kan felgränserna vara osunda. Vi föreslår här en ny abstrakt tolkningsbaserad felanalys av finita precisionsimplementeringar, som bygger på analysen av [16] för avrundning av fel i en given väg, men som nu görs ljud i närvaro av instabila tester. Den begränsar automatiskt diskontinuitetsfelet som kommer från skillnaden mellan flytförmågan och verkliga värden när det finns en vägskillnad, och introducerar en ny felterm märkt med testet som introducerade denna potentiella diskontinuitet. Detta ger en dragbar felanalys, implementerad i vår statiska analysator FLUCTUAT: vi presenterar resultat på representativa extrakt av kontrollprogram.
Nyligen föreslog Goubault och Putot REF en abstrakt tolkningsbaserad robusthetsanalysmetod för finita precisionsimplementeringar.
Robustness analysis of finite precision implementations
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}