Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.20528 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912976583262208 |
|---|---|
| author | Fotinós, Jerónimo Cabral, Juan B. |
| author_facet | Fotinós, Jerónimo Cabral, Juan B. |
| contents | The notion of software entropy is often invoked to describe the tendency of software systems to become increasingly disordered as they evolve, yet existing approaches to quantify it are largely heuristic. In this work we introduce a formal definition of software entropy grounded in statistical mechanics, interpreting test suites as executable specifications, that is, as macroscopic constraints on the space of possible program implementations. Within this framework, mutation analysis provides a practical approximation of the locally accessible microstate space, allowing entropy-related quantities to be estimated empirically. We propose metrics that quantify how test suites restrict program space, including an information-weighted measure of the distribution of constraint power across tests. Applying these ideas to a real-world project, we show how test suites reduce software entropy and how information weights reveal structural differences in the contribution of individual tests that traditional metrics such as code coverage fail to capture. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_20528 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Software Entropy: A Statistical Mechanics Framework for Software Testing Fotinós, Jerónimo Cabral, Juan B. Software Engineering Information Theory The notion of software entropy is often invoked to describe the tendency of software systems to become increasingly disordered as they evolve, yet existing approaches to quantify it are largely heuristic. In this work we introduce a formal definition of software entropy grounded in statistical mechanics, interpreting test suites as executable specifications, that is, as macroscopic constraints on the space of possible program implementations. Within this framework, mutation analysis provides a practical approximation of the locally accessible microstate space, allowing entropy-related quantities to be estimated empirically. We propose metrics that quantify how test suites restrict program space, including an information-weighted measure of the distribution of constraint power across tests. Applying these ideas to a real-world project, we show how test suites reduce software entropy and how information weights reveal structural differences in the contribution of individual tests that traditional metrics such as code coverage fail to capture. |
| title | Software Entropy: A Statistical Mechanics Framework for Software Testing |
| topic | Software Engineering Information Theory |
| url | https://arxiv.org/abs/2603.20528 |