التفاصيل البيبلوغرافية
| العنوان: |
VrFy: Verification of Formal Requirements using Generic Traces |
| المؤلفون: |
Olthuis, Jorrit J., Jordao, Rodolfo, Robino, Francesco, Borrami, Sina |
| المصدر: |
2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021) IEEE International Conference on Software Quality, Reliability and Security Companion. :177-183 |
| مصطلحات موضوعية: |
Trace Validation, LTL3, NBA, Programming Language Agnostic, Railway Domain, Trace Compass |
| الوصف: |
In order to fulfil standards governing the development of safety-critical systems, requirements are often shown to be satisfied by means of traditional techniques such as system analysis and testing activities. While these techniques have been used for many years, issues can still arise due to weak tests, not fully covering all requirement scenarios; and due to misinterpretation of requirements, leading to futile test activities. Having simpler techniques to show that requirements are properly fulfilled and that depend less on thoroughness of the tester is beneficial. To tackle these issues, we present an analysis method together with an accompanying toolset, VrFy, implementing a novel technique to automate the detection of violations of requirements. Monitors are generated automatically, and the risk due to misinterpretation of requirements is reduced by using a formal notation (LTL3). Compared to related work, the proposed technique is programming language agnostic and can identify the exact time when requirements are violated, supporting the end user to quickly spot the root cause. By means of a real-world use case in the railway domain, we show how the tool can be used to augment traditional verification techniques. |
| وصف الملف: |
print |
| URL الوصول: |
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-315462 |
| قاعدة البيانات: |
SwePub |