TUHH TUHH
Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
  • Institute
    Institute
    Institute
    Institute
    • Prof. Dr. Sibylle Schupp
    • People
      • Former members
      • Former Tutors
    • News
  • Research
    Research
    Research
    Research
    • Model Checking & Abstract Interpretation
    • Programming Languages & Program Reconstruction
    • Data Protection & Machine Learning
    • Publications
  • Lectures
    Lectures
    Lectures
    Lectures
    • Advanced Seminar
    • STS-Schedule
    • Courses
    • Previous terms
  • Student theses
    Student theses
    Student theses
    Student theses
    • Thesis projects
    • FAQ Thesis projects
  • Contact
    Contact
    Contact
    Contact
    • People
    • Reaching STS
  • Service
    Service
    Service
    Service
    • Infos and dates
    • Datenschutz
    • Education
    • STS-Schulprojekte
    • STS-Logo
  • Sitemap
More
FITIn
Installation
Annotation
Running FITIN
Fault Injection
FITIn Internally
Usage
FlipSafe
STS > Research > Data Protection & Machine Learning > FITIn > Installation

Installation

FITIn   Installation    Annotation    Running FITIN    Fault Injection    FITIn Internally    Usage

For installing FITIn, we currently recommend Linux Kernel 3 or newer and glibc library not newer than v2.16. Required tools are autoconf, automake, and a C compiler; if one optionally wants to run the test suite that is part of the distribution, then Ruby v1.9 or newer and the rake-gem are additionally required. Please click here to download the latest version of FITIn.

The distribution contains the Valgrind source (currently release 3.8.1) where FITIn is embedded in the subdirectory fitin. FITIn and Valgrind, thus, do not exist independently from each other: when building FITIn, Valgrind gets built as well.

After successfully downloading and extracting the archive file, please open a shell and move to the extraction target. Execute the following commands for completing the installation:
./autogen.sh
./configure --prefix=$pwd
make && make install

For running the test suite of FITIn, proceed to the subdirectory fitin/tests. If necessary, edit the configuration file rake.config.rb especially with the proper word size of the current platform and then execute rake <task> where task refers to synthetic tests as well as various benchmarks.

 

 

alt Logo
TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz