Test Design and Review Argumentation in AI-Assisted Test Generation
AI assistants can increasingly generate and evolve test cases. The challenge is no longer merely to produce them, but also to help engineers understand why a generated artefact exists and what supports it. Existing work has focused on classifying testing techniques, linking requirements to tests and structuring system assurance arguments, but it does not explicitly represent the argumentation behind individual test design decisions. We propose a conceptual taxonomy and a structured template for AI-assisted test generation that characterizes a test case by its test goal, claim, reason, and evidence. The taxonomy is intended for both constructive use during test design and retrospective use during review, to assess the quality of the attached argument rather than the plausibility or objective value of the generated test cases.
Mon 18 MayDisplayed time zone: Seoul change
11:00 - 12:30 | Session IIITEQS at Room 103 Chair(s): Sarmad Bashir RISE Research Institutes of Sweden, Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa | ||
11:00 22mTalk | Verifying an Elevator Scheduling Control System ITEQS A: HUAN ZHANG Maynooth university, A: Haoyang Lu Maynooth University, Long Cheng North China Electric Power University, A: Hao Wu Maynooth University | ||
11:22 22mTalk | Efficient Software Security Evaluation: A Human-in-the-Loop Approach ITEQS A: Christian Banse Fraunhofer AISEC, A: Immanuel Kunz Fraunhofer AISEC, A: Alexander Küchler Fraunhofer AISEC, A: Shala Leutrim Fraunhofer AISEC, A: Konrad Weiss , A: Maximilian Kaul Fraunhofer AISEC | ||
11:45 22mTalk | SafeBound: A Modular Toolchain for End-to-End Safety Evaluation of ADS ITEQS A: Fauzia Khan University of Tartu, Estonia, A: Ali Gullu University of Tartu, A: Hina Anwar University of Tartu, A: Dietmar Pfahl University of Tartu | ||
12:07 22mTalk | Test Design and Review Argumentation in AI-Assisted Test Generation ITEQS | ||