Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autore principale: Kessel, Marcus
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866915332303618048
author Kessel, Marcus
author_facet Kessel, Marcus
contents Empirical software engineering faces a critical gap: the lack of standardized tools for rapid development and execution of Test-Driven Software Experiments (TDSEs) -- that is, experiments that involve the execution of software subjects and the observation and analysis of their "de facto" run-time behavior. In this paper we present a general-purpose analysis platform called LASSO that provides a minimal set of domain-specific languages and data structures to conduct TDSEs. By empowering users with an executable scripting language to design and execute TDSEs, LASSO enables efficient evaluation of run-time semantics and execution characteristics in addition to statically determined properties. We present an example TDSE that demonstrates the practical benefits of LASSO's scripting capabilities for assessing the reliability of LLMs for code generation by means of a self-contained, reusable and extensible study script. The LASSO platform and live pipeline examples are publicly available at: https://softwareobservatorium.github.io/.
format Preprint
id arxiv_https___arxiv_org_abs_2410_08911
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
Kessel, Marcus
Software Engineering
Artificial Intelligence
D.2.1; D.2.4; I.2.2; I.2.7
Empirical software engineering faces a critical gap: the lack of standardized tools for rapid development and execution of Test-Driven Software Experiments (TDSEs) -- that is, experiments that involve the execution of software subjects and the observation and analysis of their "de facto" run-time behavior. In this paper we present a general-purpose analysis platform called LASSO that provides a minimal set of domain-specific languages and data structures to conduct TDSEs. By empowering users with an executable scripting language to design and execute TDSEs, LASSO enables efficient evaluation of run-time semantics and execution characteristics in addition to statically determined properties. We present an example TDSE that demonstrates the practical benefits of LASSO's scripting capabilities for assessing the reliability of LLMs for code generation by means of a self-contained, reusable and extensible study script. The LASSO platform and live pipeline examples are publicly available at: https://softwareobservatorium.github.io/.
title Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
topic Software Engineering
Artificial Intelligence
D.2.1; D.2.4; I.2.2; I.2.7
url https://arxiv.org/abs/2410.08911