An automatic fault finding/localization tool for multiple faults
Project description
FLITSR
A python implementation of the FLITSR fault localization tool for multiple faults.
For the full documentation, see the Read the Docs page, and for the source code, see the GitHub repository.
Setup
Requirements
python3(>3.6)java(optional; used for parallel techniques)matplotlib(optional; used for evaluation plotting)
Installation
Quick install
To install FLITSR, simply install as a python package using the following command:
pip install flitsr
For more detailed installation instructions, see Installation Instructions in the documentation.
Basic usage
Running FLITSR
To run the FLITSR algorithm and produce a suspiciousness ranking, simply use the command:
flitsr <input>
where <input> is the directory containing the coverage files for GZoltar
input, or the file containing the coverage for TCM input. See the Input structure
section for more information on the types of input.
More advanced options and outputs are described in the documentation.
Running evaluation
To run the full evaluation on FLITSR, simply use the command:
run_all [-t [<extension>]/-g]
in the top level directory for the dataset. If the -t option is given (with an
optional file extension), then the TCM format is assumed, otherwise if the -g
option is given, Gzoltar format is assumed.
See the documentation for more information.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file flitsr-2.4.0.tar.gz.
File metadata
- Download URL: flitsr-2.4.0.tar.gz
- Upload date:
- Size: 4.9 MB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
fb08f72fcc7311ac15543d2c1986419efa7806bef1c2b1cab427ae0c86ff362f
|
|
| MD5 |
2e8e6947b12264b31d5108a2763ff3cb
|
|
| BLAKE2b-256 |
e2ad95a8f302d894ab017d06618c24b237aec87e0e019a7d9d15e939d8aefb7a
|
Provenance
The following attestation bundles were made for flitsr-2.4.0.tar.gz:
Publisher:
python-publish.yml on DCallaz/flitsr
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
flitsr-2.4.0.tar.gz -
Subject digest:
fb08f72fcc7311ac15543d2c1986419efa7806bef1c2b1cab427ae0c86ff362f - Sigstore transparency entry: 939961040
- Sigstore integration time:
-
Permalink:
DCallaz/flitsr@f8ca6eb6aa39ce0af8b53db02390a9bd217b7f08 -
Branch / Tag:
refs/tags/2.4.0rc1 - Owner: https://github.com/DCallaz
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
python-publish.yml@f8ca6eb6aa39ce0af8b53db02390a9bd217b7f08 -
Trigger Event:
release
-
Statement type:
File details
Details for the file flitsr-2.4.0-py3-none-any.whl.
File metadata
- Download URL: flitsr-2.4.0-py3-none-any.whl
- Upload date:
- Size: 4.9 MB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
cbac2009bdd2281888249890236e07d315a20c2ba0499e38f399110dc50b14c2
|
|
| MD5 |
74d824dc57853912faf6a62ccc0c3d92
|
|
| BLAKE2b-256 |
f25a9cec3b1b122b1dc3d7683ac6fb8279af9d9f350eb1c6be8cc8746c5d59f3
|
Provenance
The following attestation bundles were made for flitsr-2.4.0-py3-none-any.whl:
Publisher:
python-publish.yml on DCallaz/flitsr
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
flitsr-2.4.0-py3-none-any.whl -
Subject digest:
cbac2009bdd2281888249890236e07d315a20c2ba0499e38f399110dc50b14c2 - Sigstore transparency entry: 939961089
- Sigstore integration time:
-
Permalink:
DCallaz/flitsr@f8ca6eb6aa39ce0af8b53db02390a9bd217b7f08 -
Branch / Tag:
refs/tags/2.4.0rc1 - Owner: https://github.com/DCallaz
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
python-publish.yml@f8ca6eb6aa39ce0af8b53db02390a9bd217b7f08 -
Trigger Event:
release
-
Statement type: