8000 GitHub - magsilva/proteum: Tool for mutation testing of C programs
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

magsilva/proteum

BranchesTags

Repository files navigation

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

About

Tool for mutation testing of C programs

Topics

c mutation-testing software-testing mutation-analysis testing-tool interface-mutation

Resources

Readme

License

GPL-3.0 license
Activity

Stars

19 stars

Watchers

3 watching

Forks

10 forks
Report repository

Releases 1

Proteum/IM 2.0.1 Latest
Apr 17, 2020

Packages

No packages published

Languages

0