https://github.com/christimperley/start-cli
A command-line interface for START
https://github.com/christimperley/start-cli
Last synced: 11 months ago
JSON representation
A command-line interface for START
- Host: GitHub
- URL: https://github.com/christimperley/start-cli
- Owner: ChrisTimperley
- Created: 2018-08-15T23:37:34.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2018-09-20T19:29:39.000Z (over 7 years ago)
- Last Synced: 2025-02-22T21:22:40.404Z (over 1 year ago)
- Language: Python
- Homepage:
- Size: 78.1 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# START Command-Line Interface
Provides a command-line interface to START.
## Commands
To obtain a list of commands and to learn more about a given command:
```
$ start-cli --help
```
Sanity checking can be used to ensure that the test suite for a given
scenario behaves as expected (i.e., it fails when the attack is performed
but passes when it is not). To perform sanity checking:
```
$ start-cli validate ~/start/scenarios/AIS-Scenario1/scenario.config
```
To attempt to find a repair for a given scenario:
```
$ start-cli repair ~/start/scenarios/AIS-Scenario1/scenario.config
```
To precompute a static analysis of the source code for a given scenario:
```
$ start-cli analyze ~/start/scenarios/AIS-Scenario1/scenario.config
```
To precompute the line coverage information for a given scenario:
```
$ start-cli coverage ~/start/scenarios/AIS-Scenario1/scenario.config
```
To precompute the fault localization for a given scenario:
```
$ start-cli localize ~/start/scenarios/AIS-Scenario1/scenario.config
```
To build the snippet database for a given scenario:
```
$ start-cli snippets ~/start/scenarios/AIS-Scenario1/scenario.config
```
To precompute the set of transformations for a given scenario:
```
$ start-cli transformations ~/start/scenarios/AIS-Scenario1/scenario.config
```
## Debugging
For almost all of the commands exposed by the CLI, precomputed files can be
passed to the command to speed-up the process or to aid in debugging.
* `--coverage`: path to a precomputed coverage file.
* `--localization`: path to a precomputed fault localisation file.
* `--transformations`: path to a precomputed transformations database file.
* `--snippets`: path to a precomputed snippets database file.
* `--analysis`: path to a precomputed static analysis file.
Additionally, the following commands are exposed:
* `--speedup`: simulation speedup factor.
* `--time-limit`: the number of seconds that may pass without success until a
mission is considered a failure.
* `--timeout-connection`: the number of seconds to wait when connecting to the
SITL before aborting.