Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Sun 25 Oct 2020 15:30 - 15:45 at Farfetch (D. Maria) - RT5 - Testing for APIs Chair(s): José Miguel Rojas
Mon 26 Oct 2020 02:30 - 02:45 at Farfetch (D. Maria) - RT5 - Testing for APIs Chair(s): Marcelo d'Amorim

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 the previous work, we proposed a model-based testing approach for the CDS. In this paper, we present a CDST (CDS Testing) toolkit that automates the process of testing 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.

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

14:00 - 16:00
RT5 - Testing for APIsTesting Tools Track / Research Papers at Farfetch (D. Maria) +11h
Chair(s): José Miguel RojasUniversity of Leicester, UK
14:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan KarlssonABB AB, Mälardalen University, Adnan CausevicMälardalen University, Daniel SundmarkMälardalen University
Link to publication DOI
14:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIsDistinguished Paper Award
Research Papers
Emanuele ViglianisiFBK, Michael DallagoUniversity of Trento, Mariano CeccatoUniversity of Verona
Link to publication DOI
15:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires
Link to publication DOI
15:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan SartajQUEST - UAV Dependability Lab, Muhammad Zohaib IqbalNational University of Computer and Emerging Sciences, Muhammad Uzair KhanNational University of Computer and Emerging Sciences
Link to publication DOI
15:45
15m
Talk
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Testing Tools Track
Miroslav BuresCzech Technical University in Prague, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ, Bestoun S. AhmedKarlstad University
Link to publication DOI

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

01:00 - 03:00
RT5 - Testing for APIsResearch Papers / Testing Tools Track at Farfetch (D. Maria)
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
01:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan KarlssonABB AB, Mälardalen University, Adnan CausevicMälardalen University, Daniel SundmarkMälardalen University
Link to publication DOI
01:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIsDistinguished Paper Award
Research Papers
Emanuele ViglianisiFBK, Michael DallagoUniversity of Trento, Mariano CeccatoUniversity of Verona
Link to publication DOI
02:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires
Link to publication DOI
02:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan SartajQUEST - UAV Dependability Lab, Muhammad Zohaib IqbalNational University of Computer and Emerging Sciences, Muhammad Uzair KhanNational University of Computer and Emerging Sciences
Link to publication DOI
02:45
15m
Talk
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Testing Tools Track
Miroslav BuresCzech Technical University in Prague, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ, Bestoun S. AhmedKarlstad University
Link to publication DOI