English

Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions

Software Engineering 2017-05-24 v1
Authors: Fabrizio Pastore , Leonardo Mariani
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

This paper presents the result of our experience with the ap- plication 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.

Keywords

software testing runtime monitoring program analysis

Cite

@article{arxiv.1705.08418,
  title  = {Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions},
  author = {Fabrizio Pastore and Leonardo Mariani},
  journal= {arXiv preprint arXiv:1705.08418},
  year   = {2017}
}

Related papers

View all related →
Software Engineering · Computer Science
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci +12
2018-11-19
Software Engineering · Computer Science
A Static Analysis Platform for Investigating Security Trends in Repositories
Tim Sonnekalb, Christopher-Tobias Knaust, Bernd Gruner, Clemens-Alexander Brust +4
2023-04-05
Programming Languages · Computer Science
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales +1
2018-04-09
Logic in Computer Science · Computer Science
Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
David Monniaux
2024-07-12
Software Engineering · Computer Science
The Cost and Benefits of Static Analysis During Development
William R. Nichols
2020-03-09
Software Engineering · Computer Science
Dynamic Test Case Prioritization in Industrial Test Result Datasets
Alina Torbunova, Per Erik Strandberg, Ivan Porres
2024-02-06
Software Engineering · Computer Science
Detecting Architectural Erosion using Runtime Verification
Diego Marmsoler, Ana Petrovska
2019-09-16
Machine Learning · Computer Science
StAnD: A Dataset of Linear Static Analysis Problems
Luca Grementieri, Francesco Finelli
2022-01-17
Databases · Computer Science
Industrial Big Data Analytics: Challenges, Methodologies, and Applications
JunPing Wang, WenSheng Zhang, YouKang Shi, ShiHui Duan +1
2018-12-14
Software Engineering · Computer Science
On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises
Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck, Stefan Wagner
2016-11-24
Distributed, Parallel, and Cluster Computing · Computer Science
Data Challenges in High-Performance Risk Analytics
Blesson Varghese, Andrew Rau-Chaplin
2013-11-25
Artificial Intelligence · Computer Science
A Smart and Defensive Human-Machine Approach to Code Analysis
Fitzroy D. Nembhard, Marco M. Carvalho
2021-08-27
Software Engineering · Computer Science
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
Ricardo Caldas, Juan Antonio Pinera Garcia, Matei Schiopu, Patrizio Pelliccione +2
2024-08-22
Software Engineering · Computer Science
Industrially Applicable System Regression Test Prioritization in Production Automation
Sebastian Ulewicz, Birgit Vogel-Heuser
2022-12-13
Programming Languages · Computer Science
Static Analysis of File-Processing Programs using File Format Specifications
Raveendra Kumar Medicherla, Raghavan Komondoor, S. Narendran
2015-04-06
Software Engineering · Computer Science
Practical Challenges with Spreadsheet Auditing Tools
Daniel Kulesz, Jan-Peter Ostberg
2014-01-30
Methodology · Statistics
Testing Multiple Linear Regression Systems with Metamorphic Testing
Quang-Hung Luu, Man F. Lau, Sebastian P. H. Ng, Tsong Yueh Chen
2021-08-24
Computers and Society · Computer Science
System Reliability Engineering in the Age of Industry 4.0: Challenges and Innovations
Antoine Tordeux, Tim M. Julitz, Isabelle Müller, Zikai Zhang +5
2024-11-15
Systems and Control · Electrical Eng. & Systems
Practical Challenges in Real-time Demand Response
Chao Duan, Guna Bharati, Pratyush Chakraborty, Bo Chen +2
2021-08-27
Cryptography and Security · Computer Science
Applying Security Testing Techniques to Automotive Engineering
Irdin Pekaric, Clemens Sauerwein, Michael Felderer
2023-09-19
Computers and Society · Computer Science
Evaluation of Systems Programming Exercises through Tailored Static Analysis
Roberto Natella
2024-11-07
Software Engineering · Computer Science
Managing Object-Oriented Integration and Regression Testing
Mario Winter
2007-05-23
Software Engineering · Computer Science
Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software
Bogdan Alexandru Stoica, Swarup K. Sahoo, James R. Larus, Vikram S. Adve
2022-01-04
Systems and Control · Electrical Eng. & Systems
Multi-Condition Fault Diagnosis of Dynamic Systems: A Survey, Insights, and Prospects
Pengyu Han, Zeyi Liu, Xiao He, Steven X. Ding +1
2024-12-30
Machine Learning · Computer Science
Evaluation for Regression Analyses on Evolving Data Streams
Yibin Sun, Heitor Murilo Gomes, Bernhard Pfahringer, Albert Bifet
2025-02-20
R2 v1 2026-06-22T19:56:50.943Z