Modeling & Verification Homework

This repository contains information about the homework for the course "Modeling & Verification" at University of Geneva.

Environment

Please install the following environment:

• Moodle Check that you are registered in the "Modeling & Verification" classroom

• GitHub Create an account if you do not have one already

• Install VirtualBox We will work in a virtual machine.

• Create a new virtual machine, using Ubuntu amd64.

• Run the following script to install dependencies:

    curl -s https://raw.githubusercontent.com/cui-unige/modeling-verification/master/bin/install | bash /dev/stdin

The environment you installed contains:

• Git: the tool for source code management;
• Lua: the programming language that we will use;
• Luarocks: a package manager for Lua;
• Wercker: a tool (and online service) to build and test your source code;
• Docker: a container system, required by wercker;
• Atom: the editor we will use.

Rules

• We use GitHub Classroom for the homework.

• If for any reason you have trouble with the deadline, contact your teacher as soon as possible.

• Your source code (and tests) must pass all checks of luacheck without warnings or errors.

• Your tests must cover at least 80% of the source code (excluding test files).

• Your work will be tested in a dedicated environment, using wercker. You can always run all the tests on your code with the following command, from the root of your project (where the wercker.yml file is located):

  $ wercker build

Evaluation

Evaluation follows the questions:

• do you have done anything at the deadline? (no: 0 points)
  • Done anything
• do you have understood and implemented all the required notions? (yes: 4 points for all, no: 2 points for none)
  • algorithm #1
  • algorithm #2
  • ...
• do you have understood and implemented corners cases of all the required notions? (yes: +2 point for all)
  • algorithm #1
  • algorithm #2
  • ...
• do you have correctly written and tested your code? (no: -0.5 point for each)
  • Coding standards
  • Tests
  • Code coverage

Grade