testcrush
A Software Test Library compaction tool based on VC-Z01X.
Science Score: 57.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 3 DOI reference(s) in README -
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (11.6%) to scientific vocabulary
Keywords
Repository
A Software Test Library compaction tool based on VC-Z01X.
Basic Info
Statistics
- Stars: 2
- Watchers: 3
- Forks: 2
- Open Issues: 0
- Releases: 0
Topics
Metadata Files
README.md
:clamp: TestCrush: An STL Compaction Toolkit :clamp:
Software Test Library (STL) compaction is a critical concern for the industry, as system resources—often limited and valuable—must be temporarily allocated to run test code segments while the Circuit Under Test (CUT) operates in normal mode. These non-invasive tests must be executed strictly during idle time intervals to avoid any disruption to the system's regular operation. Consequently, the tests must not only meet the required coverage percentages mandated by safety standards but also minimize memory usage and execution time within the system.
TestCrush is a prototypical toolkit, written in 🐍 Python3 (>=3.10), that implements compaction algorithms for pre-existing STLs which are written in assembly. It is an implementation of the compaction algorithms described in the article:
M. Gaudesi, I. Pomeranz, M. Sonza Reorda and G. Squillero, "New Techniques to Reduce the Execution Time of Functional Test Programs," in IEEE Transactions on Computers, vol. 66, no. 7, pp. 1268-1273, 1 July 2017, doi: 10.1109/TC.2016.2643663.
Dependencies 🔗 & Architecture 📐
To use TestCrush, you must have an existing logic and fault simulation flow in VC-Z01X for the hardware design that the STL being compacted corresponds to. TestCrush interacts with these flows through callbacks, which are specified to the framework via a configuration file written in TOML. The architecture of TestCrush is shown in the figure below:

Documentation 📚
You can find the documentation of TestCrush here.
:construction: TestCrush is currently under active development phase :construction:
Owner
- Name: CAD & Reliability Group
- Login: cad-polito-it
- Kind: organization
- Location: Italy
- Website: https://cad.polito.it
- Repositories: 1
- Profile: https://github.com/cad-polito-it
Works produced by the CAD & Reliability group of the Department of Control and Computer Engineering (DAUIN) of Politecnico di Torino
Citation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - family-names: "CAD Group, Politecnico di Torino" given-names: title: "TestCrush: A Software Test Library Compaction Toolkit" version: 1.0 date-released: 2024-9-24 url: "https://github.com/cad-polito-it/testcrush"
GitHub Events
Total
- Watch event: 1
- Member event: 1
- Push event: 18
- Pull request review event: 3
- Pull request review comment event: 11
- Pull request event: 3
- Fork event: 2
Last Year
- Watch event: 1
- Member event: 1
- Push event: 18
- Pull request review event: 3
- Pull request review comment event: 11
- Pull request event: 3
- Fork event: 2
Dependencies
- actions/checkout v4 composite
- actions/setup-python v5 composite
- actions/checkout v4 composite
- actions/setup-python v5 composite
- actions/upload-artifact v4 composite
- peaceiris/actions-gh-pages v3 composite
- actions/checkout v4 composite
- actions/setup-python v5 composite
- lark *
- toml *