Robustness Analysis of Floating-Point Programs by Self-Composition
المؤلفون المشاركون
Yin, Banghu
Wang, Ji
Chen, Liqian
Dong, Wei
Jiang, Jiahong
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-05-20
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص EN
Robustness is a key property for critical systems that run in uncertain environments, to ensure that small input perturbations can cause only small output changes.
Current critical systems often involve lots of floating-point computations which are inexact.
Robustness analysis of floating-point programs needs to consider both the uncertain inputs and the inexact computation.
In this paper, we propose to leverage the idea of self-composition to transform the robustness analysis problem into a reachability problem, which enables the use of standard reachability analysis techniques such as software model checking and symbolic execution for robustness analysis.
To handle floating-point arithmetic, we employ an abstraction that encompasses the effect of rounding and that can encompass all rounding modes.
It converts floating-point expressions into linear expressions with interval coefficients in exact real arithmetic.
On this basis, we employ interval linear programming to compute the maximum output change or maximum allowed input perturbation for the abstracted programs.
Preliminary experimental results of our prototype implementation are encouraging.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Chen, Liqian& Jiang, Jiahong& Yin, Banghu& Dong, Wei& Wang, Ji. 2014. Robustness Analysis of Floating-Point Programs by Self-Composition. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-498165
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Chen, Liqian…[et al.]. Robustness Analysis of Floating-Point Programs by Self-Composition. Journal of Applied Mathematics No. 2014 (2014), pp.1-12.
https://search.emarefa.net/detail/BIM-498165
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Chen, Liqian& Jiang, Jiahong& Yin, Banghu& Dong, Wei& Wang, Ji. Robustness Analysis of Floating-Point Programs by Self-Composition. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-498165
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-498165
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر