Log In Sign Up

CDST: A Toolkit for Testing Cockpit Display Systems of Avionics

by   Hassan Sartaj, et al.

Avionics are highly critical systems that require extensive testing governed by international safety standards. Cockpit Display Systems (CDS) are an essential component of modern aircraft cockpits and display information from the user application using various widgets. A significant step in the testing of avionics is to evaluate whether these CDS are displaying the correct information. A common industrial practice is to manually test the information on these CDS by taking the aircraft into different scenarios during the simulation. Given the large number of scenarios to test, manual testing of such behavior is a laborious activity. In this paper, we present a CDST toolkit that automates the testing of Cockpit Display Systems (CDS). We discuss the workflow and architecture of the tool and also demonstrates the tool on an industrial case study. The results show that the tool is able to generate, execute, and evaluate the test cases and identify 3 bugs in the case study.


Model-based Automated Testing of Mobile Applications: An Industrial Case Study

Automatic testing of mobile applications has been a well-researched area...

Testing SOAR Tools in Use

Modern security operation centers (SOCs) rely on operators and a tapestr...

ProvMark: A Provenance Expressiveness Benchmarking System

System level provenance is of widespread interest for applications such ...

A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards

This article provides a taxonomy for risk-based testing that serves as a...

Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing

Combinatorial interaction testing (CIT) is a well-known technique, but t...

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

We demonstrate a unified approach to rigorous design of safety-critical ...