Skip to content

Latest commit

 

History

History
36 lines (27 loc) · 910 Bytes

README.md

File metadata and controls

36 lines (27 loc) · 910 Bytes

Statistical Testing Simulation

A small suite to simulate the statistical testing phase of a software module.

Requirements

gcc >= 5.3.0

Installation

After cloning, in the main directory run

$ make

It will compile all sources and produce

  • test executables in the test folder;
  • the main executable STSimulation.

Running

In order to run the simulation, run the executable

$ ./STSimulation

In input, you will be requested to type:

  • The seed for the linear congruential engine
  • The number of initial faults
  • The (constant) failure rate in the pre-run phase (expressed in failure/h)
  • The number of failure to be observed in the pre-run phase
  • The number of failure to be observed in the run phase
  • The Musa factor A.

The program will produce a txt file in Mathematica format, to be passed as input to the Newton-Raphson implementation in that language.