Software Quality Assessment for Robot Operating System

12/14/2020
by   Mohannad Alhanahnah, et al.
0

Robot Operating System (ROS) is widely used in academia and industry, and importantly is leveraged in safety-critical robotic systems. The quality of ROS software can affect the safety and security properties of robotics systems; therefore, reliability and quality are imperative to guarantee. Source code static analysis is a key approach to formally perform software verification. We address two concerns in this paper: (1) conducting a systematic literature review study to provide a complete picture of the existing methods that analyze different aspects of ROS software, (2) performing empirical study to evaluate software properties that can influence the functionality of ROS. We leverage PMD1, an off-the-shelf static analysis tool, to conduct our empirical study over a set of ROS repositories implemented using Java. The survey analysis shows a significant shortcoming in the body of research by the lack of tailored analysis mechanisms for assessing ROS2 code and reveals that the majority of research efforts are centered around ROS1. Our empirical study shows that the Java code of ROS2 does not suffer from serious issues and the majority of the detected alerts are code style issues.

READ FULL TEXT
research
08/30/2019

An Empirical Study of the Relationships between Code Readability and Software Complexity

Code readability and software complexity are important software quality ...
research
02/13/2021

Understanding Bounding Functions in Safety-Critical UAV Software

Unmanned Aerial Vehicles (UAVs) are an emerging computation platform kno...
research
06/21/2022

Static Analysis of Infrastructure as Code: a Survey

The increasing use of Infrastructure as Code (IaC) in DevOps leads to be...
research
03/02/2021

The High-Assurance ROS Framework

This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS...
research
09/16/2022

A Decade of Code Comment Quality Assessment: A Systematic Literature Review

Code comments are important artifacts in software systems and play a par...
research
07/09/2021

An Empirical Study of Data Constraint Implementations in Java

Software systems are designed according to guidelines and constraints de...
research
05/03/2019

A New Hierarchical Software Architecture Towards Safety-Critical Aspects of a Drone System

In this paper, a new hierarchical software architecture is proposed to i...

Please sign up or login with your details

Forgot password? Click here to reset