CUT-workshop

Feb 2020 workshop at CUT in Bloemfontein, South Africa

Monday

Software verification with code and models (Cyrille Artho)

• Slides

Tuesday

Testing Software: From Unit Testing to Model-based Testing (Cyrille Artho)

Installation in Git bash:

git clone https://github.com/cyrille-artho/modbat.git
cd modbat
./gradlew assemble
cd src/test/scala/modbat/tutorial

• Slides: IoT testing
• Slides: Modbat Tutorial
• Modbat
• Tutorial

Wednesday

Java Pathfinder (Cyrille Artho)

How to configure the environment in the CUT computer labs using Git bash:

mkdir ~/jpf
cd ~/jpf
git clone https://github.com/javapathfinder/jpf-core.git
cd jpf-core
git show 46ae > patch
patch -p1 < patch
./gradlew

export PATH=$PATH:/c/Program\ Files/Java/jdk1.8.0_162/bin

• Slides
• Java Pathfinder
• Dining philosophers source (.tar.gz)
• Concurrent queue source (.tar.gz)
• Concurrent queue source with flaw (.tar.gz)

Dining philosophers:

To download and run:

cd
curl https://cyrille-artho.github.io/CUT-workshop/diningphil.tar.gz -O
tar -xzf diningphil.tar.gz
cd diningphil/src
./build.sh && ./run.sh

Concurrent queue

To download:

cd
curl https://cyrille-artho.github.io/CUT-workshop/queue.tar.gz -O
tar -xzf queue.tar.gz
cd queue/src

• To compile: ./build.sh

• To run the simple test case: ./run.sh QueueTest

• To run the producer/consumer test case: ./run.sh ProdCons

Concurrent queue with a flaw

To download and run:

cd
curl https://cyrille-artho.github.io/CUT-workshop/queue-notify.tar.gz -O
tar -xzf queue-notify.tar.gz
cd queue-notify/src

• To compile: ./build.sh

• To run the simple test case: ./run.sh QueueTest

• To run the producer/consumer test case: ./run.sh ProdCons