HOME FREE DEMO ORDER SPECIFICATIONS BACKGROUND ABOUT CONTACT

Fluxica Peregrine Demo

A free Demo version of Fluxica Peregrine is available for evaluation purposes. The Demo version is able to demonstrate the functionality of the commercial versions, but it runs with restrictions. The difference between the versions is shown in the table below.

End User License Agreement

The Demo version is available for download after accepting the EULA. The EULA is a product license, not a sale. The EULA can be found here. The EULA is also available as a downloadable PDF file.

I agree to the EULA.

Max. Test
Iterations
Max. Probes
Logged
True RNG
Seeding
Time
Limitation

Peregrine
Demo
1E6 1 Yes 10 day trial period

Peregrine
Fly
10E6 8 Yes Unlimited

Peregrine
Soar
1E9 16 Yes Unlimited

Peregrine
Stook
1E12 32 Yes Unlimited

Demo Restrictions

Unlike the Fly, Soar and Stook version of the Peregrine program, the Demo version is a trial version that is limited to 10 days after downloading.

The maximum number of test iterations for a single invocation of the Peregrine program determines the quantified (un)certainty of a test. The certainty increases with the number of test iterations. The Demo version is able to run tests of maximally 1E6 iterations.

The maximum number of test probes NP are the last NP test probes that have been injected into the program under test at any given moment in the test cycle. The probe log reports the last NP test probes on test completion or termination. The Demo version allows for logging one test probe.

Stand-alone Application Program

The Peregrine program is a stand-alone application program, it runs locally and all functionality is built into the program. The program does not include any network connection functionality, it can not connect over any computer network and thus can not `call home' over the internet.

Installation Procedure

All Peregrine versions are installed in two steps and uninstalled in a single step. A Bash command line script install_uninstall.sh that automates the installation procedure is included in the download:

  1. Download the peregrine_demo.tar.gz archive file and extract the script file:
    tar -xf peregrine_demo.tar.gz ./support/install_uninstall.sh

    If you are using a GUI, the script file can also be extracted by double-clicking the archive file, selecting the support directory and then drag-drop the install_uninstall.sh script file to the directory where the archive file resides.

  2. Install the Peregrine archive file:
    ./install_uninstall.sh install

  3. Uninstall the Peregrine archive file:
    ./install_uninstall.sh uninstall

Reference Manual

A Reference Manual, which applies to all Peregrine versions, is included in the download as a PDF file. The manual is located in the $HOME/peregrine/support directory after extracting the archive file. The Demo download package includes an abbreviated version of the manual.

Test Setup from a Bird's Eye View

The test is set up in four steps:

  1. Include the Peregrine header file.
  2. Add two Peregrine code delimiters around the code segment to be tested.
  3. Replace (selected) variables with matching Peregrine probe types in the marked out code segment.
  4. Compile the program source code to create an executable file as usual and additionally link against the Peregrine library.

Invoking the Peregrine program and then running the executable file will automatically test the code segment by continuously injecting it with uniformly distributed (unbiased) pseudo-random probe values through the Peregrine probe types. These test values are generated on-the-fly at high speed by the Peregrine program.

The test continuous until the code breaks, a timeout is triggered or a specified number of test iterations is reached. A probe log provides the test results for a post-test analysis.


LICENSE AGREEMENT PRIVACY POLICY
© 2020-2022 Fluxica Computer Engineering. All rights reserved.