Skip to content

Latest commit

 

History

History
54 lines (42 loc) · 1.67 KB

README.md

File metadata and controls

54 lines (42 loc) · 1.67 KB
Raw

This version of Proteum/IM is a through review of the codebase, converting it to modern C and using current tools for building and testing. It is not currently usable. You must use Proteum/IM 2.0.1, as tagged and released in this project.

Building requirements

  • cmake
  • cmocka

Compilation instructions

cd build
cmake ..
make

How to test Proteum/IM

ctest

How to test other applications using Proteum/IM

Proteum requires GCC to be installed. To use its GUI it is also necessary TCL/TK.

Suposing the executable files are in directory /usr/bin/proteum, run

export PROTEUMIMHOME=/usr/bin/proteum
export PATH=$PROTEUMIMHOME:$PATH
proteumim

Proteum can also be run using command line. We will consider a source file named 'cal.c' and '/tmp/cal' as directory for files for the software under testing (*** caution! instrunctions below are under review and may now work! ***)

  1. Create project: pteste -create -S cal -E cal -D /tmp/cal -C "gcc -O -W cal.c -o cal" -research Cal
  2. List interfaces that can be tested (for interface mutation): li -D /tmp/cal -P __cal cal __cal
  3. List functions that can be tested (for mutation analysis): li -l -D /tmp/cal __cal __cal
  4. Create test set: tcase -create -D /tmp/cal Cal
  5. Add test cases: tcase -add -D /tmp/cal -E cal -p "input data" -EE __cal_inst -trace cal
  6. Create mutants: muta -create -D /tmp/cal Cal
  7. Run mutants:
  8. tcase -e -D /tmp/cal Cal
  9. exemuta -exec -D /tmp/cal Cal
  10. Show results: report -tcase -D /tmp/cal -L 512 Cal

Further documentation