Test Suite Augmentation using Language Models -Applying RAG to Improve Robustness Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Test Suite Augmentation using Language Models -Applying RAG to Improve Robustness Verification

Adam Mackay
  • Fonction : Auteur

Résumé

This paper presents a novel approach to test suite augmentation using large language models and retrieval augmented generation (RAG) techniques. By leveraging the power of GPT-4 and a customised RAG framework, we show the effectiveness of automating test case generation to improve robustness verification in safety-critical embedded software systems. Our method involves indexing and retrieving relevant information from the entire software repository, including design documents, requirement specifications, prior test cases, and source code. The generated test cases are then integrated into the Cantata test framework, targeting key areas such as invalid values, overflow scenarios, timeout conditions, and improper state transitions. We applied our approach to two open-source projects, PX4 Autopilot and Apollo Auto, and achieved promising results in terms of increased test coverage, defect detection, and compliance with industry standards like DO-178C and ISO 26262. Compared to human-authored test suites, our method generated a larger volume of tests, exposed a broader array of test scenarios, and unveiled additional high-severity defects. The results validate the potential of advanced language models and RAG techniques in enhancing software reliability and safety through automated testing. Future work aims to refine these techniques further and expand their applications in the software development lifecycle.
Fichier principal
Vignette du fichier
ERTS - long paper - 2024.pdf (529.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04615832 , version 1 (18-06-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04615832 , version 1

Citer

Adam Mackay. Test Suite Augmentation using Language Models -Applying RAG to Improve Robustness Verification. ERTS2024, ERTS2024, Jun 2024, Toulouse, France. ⟨hal-04615832⟩

Collections

ERTS2024
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More