insynth 0.0.2

Domain-specific generation of test inputs for robustness testing of ML models

InSynth

Robustness testing of Keras models using domain-specific input generation in Python
Explore the docs »

View Demo · Report Bug · Request Feature

Table of Contents

1. About The Project
   • Built With
2. Getting Started
   • Prerequisites
   • Installation
3. Usage
4. Roadmap
5. Contributing
6. License
7. Contact
8. Acknowledgments

About The Project

The robustness of machine learning models is crucial to their safe and reliable operation in real-world applications. However, conducting robustness tests is hard as it requires evaluating the model under test repeatedly on different datasets.

InSynth provides an easy-to-use, efficient and reliable framework for conducting robustness tests.

It works by applying a set of domain-specific input generation techniques (image, audio or text) to the seed dataset, and then evaluating the model under test on the generated inputs. Then, a set of coverage criteria are evaluated to determine how well each dataset covers the model. Finally, a report is generated comparing the models' performance and coverage on different generated datasets.

(back to top)

Built With

• Python
• Numpy
• Keras
• Pillow
• librosa
• audiomentations
• albumentations
• scipy
• pandas
• pydub
• tqdm

(back to top)

Getting Started

This section describes the steps to follow when you want to get started with the InSynth project.

Prerequisites

Before installing InSynth, make sure you have the following software applications installed and updated to the latest version.

• Python
• pip
• ffmpeg

Installation

To install InSynth, only one step is required.

Run the following command to install the python package from the PyPI repository:

pip install insynth

(back to top)

Usage

InSynth can be used in a variety of ways depending on the goal you are trying to achieve.

Data Generation

To mutate an existing dataset using any of the perturbators provided in the framework, follow the steps below.

1. Import the perturbator (e.g. the ImageNoisePerturbator) from the respective module.

   from insynth.perturbators.image import ImageNoisePerturbator
   

2. Create an instance of the perturbator.

   perturbator = ImageNoisePerturbator()
   

3. Create a PIL image object from a file stored on disk and apply the perturbator to it.

   seed_image = Image.open('path/to/image.jpg')
   mutated_image = perturbator.apply(seed_image)
   

   For audio perturbators, the same procedure applies but using the librosa.load method. Similarly, text perturbators expect the seed text to be provided as a string.
4. Save the mutated image to disk or display it.

   mutated_image.save('path/to/mutated_image.jpg')
   mutated_image.show()
   

Coverage Criteria Calculation

To calculate the coverage criteria for a model, follow the steps below.

1. Import the coverage criteria (e.g. the CoverageCriteria) from the respective module.

   from insynth.metrics.coverage.neuron import StrongNeuronActivationCoverageCalculator
   

2. Create an instance of the coverage criteria and pass the model to be tested to the constructor.

   coverage_calculator = StrongNeuronActivationCoverageCalculator(model)
   

   If applicable, run the update_neuron_bounds method to determine the neuron bounds of the model.

   coverage_calculator.update_neuron_bounds(training_dataset)
   

3. Run the update_coverage method to update model coverage for the given input.

   coverage_calculator.update_coverage(input_data)
   

4. Run the get_coverage method to retrieve the current model coverage.

   coverage = coverage_calculator.get_coverage()
   

5. Print the coverage to the console.

   print(coverage)
   

Robustness Testing

The previous two sections describe how to generate a mutated dataset and calculate the coverage criteria for a model. These are prerequisites for testing the robustness of a model. In order to conduct a full end-to-end robustness test, the runner class is provided in InSynth.

1. Import the runner class from the respective module.

   from insynth.runners import BasicImageRunner
   

2. Create an instance of the runner class and pass the list of perturbators, the list of coverage calculators and the model to the constructor in addition to the dataset inputs and target variables.

   runner = BasicImageRunner(list_of_perturbators, list_of_coverage_calculators, dataset_x, dataset_y, model)
   

   Note that the dataset_x parameter should be a method returning a python generator iterating over all samples to enable the processing of large datasets which do not fit into memory.

   dataset_x = lambda: (x for x in dataset)
   

3. Run the run method to conduct the end-to-end robustness test.

   report, robustness_score = runner.run()
   

4. Use the report variable to analyse the test results or use the robustness_score variable to retrieve a single robustness measure of the model.

   print(report)
   print(robustness_score)
   

If you want to apply all available perturbators and coverage calculators for a given domain, utilize the respective ComprehensiveRunner classes.

For more examples, please refer to the Documentation

(back to top)

Contributing

Contributions are what make the open source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.

If you have a suggestion that would make this better, please fork the repo and create a pull request. You can also simply open an issue with the tag "enhancement". Don't forget to give the project a star! Thanks again!

1. Fork the Project
2. Create your Feature Branch (git checkout -b feature/AmazingFeature)
3. Commit your Changes (git commit -m 'Add some AmazingFeature')
4. Push to the Branch (git push origin feature/AmazingFeature)
5. Open a Pull Request

(back to top)

License

Distributed under the MIT License. See LICENSE for more information.

(back to top)

Contact

Marian Lambert - [e-mail]

Project Link: https://github.com/mlxyz/insynth

(back to top)

Acknowledgments

(back to top)