This paper presents the result of our experience with the application of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and the strategies that we elaborated to face them.
Pastore, F., Mariani, L. (2016). Dynamic analysis of regression problems in industrial systems: Challenges and solutions. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (pp.388-393). Springer Verlag [10.1007/978-3-319-47169-3_30].
Dynamic analysis of regression problems in industrial systems: Challenges and solutions
PASTORE, FABRIZIO
Primo
;MARIANI, LEONARDOSecondo
2016
Abstract
This paper presents the result of our experience with the application of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and the strategies that we elaborated to face them.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
