WebHome
Elmar Keij

Students
Name: Elmar Keij
<br>
Email: elmar dot keij at gmail dot com
<br>
Homepage: [[http://www.cs.uu.nl/wiki/Students/ElmarKeij][http://www.cs.uu.nl/wiki/Students/ElmarKeij]]

----++ Planning

-----+++ 2005-2006

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (5 ECTS)

Period 1
   * [[http://www.cs.uu.nl/education/vak.php?vak=INFOPST&jaar=2005][Preparation for software technology]] (15 ECTS)

Period 2
   * [[Master.Software Architecture][Software Architecture]] (7.5 ECTS)
   * [[Master.Implementation of Programming Languages][Implementation of Programming Languages]] (7.5 ECTS)

Period 3
<br>
   * [[Master.Program Transformation][Program Transformation]] (7.5 ECTS)
   * [[Master.Advanced Functional Programming][Advanced Functional Programming]] (7.5 ECTS)

Period 4
<br>
   * [[Master.Distributed Object Systems][Distributed Object Systems]] (7.5 ECTS)
   * [[http://www.cs.uu.nl/wiki/Stc/IntroductionToJava2MicroEditionJ2ME][Colloquium Talk]]

----+++ 2006-2007

Period 1
<br>
   * [[Master.Software Engineering][Software Engineering]] (7.5 ECTS)
   * [[Master.Software Specification][Software Specification]] (7.5 ECTS)

Period 2
<br>
   * [[Master.Aspect Oriented Programming][Aspect Oriented Programming]] (7.5 ECTS)

Period 3
<br>
   * Thesis Proposal (10 ECTS)

Period 4
<br>
   * [[Master.Automatic Program Analysis][Automatic Program Analysis]] (7.5 ECTS)

----+++ 2007-2008

Period 1
<br>
   * Thesis Project (30 ECTS)

Period 2
<br>
   * Thesis Project (30 ECTS)

-----++ Thesis Project (30 ECTS)

-----+++ Project

Project title: Static Testing: Using the Weakest Pre-condition Calculus
<br>
Supervisor: [[http://www.cs.uu.nl/wiki/WP][Wishnu Prasetya]]
<br>

-----++++ Abstract
An important aspect of the software process is the validation and verification of software. In practice the most widely used verification method is software testing. However, proper software testing is expensive and labour intensive. One of the reasons for this is that it is often necessary to mimic the runtime behaviour of (parts of) the software. In this thesis an alternative method of testing, called static testing, is proposed. This method prevents the execution of software by incorporating techniques from the field of static verification, such as the weakest pre-condition calculus. Because the software is no longer executed, there is no need to mimic its runtime behaviour. This thesis explores the basic principles and design of this approach. While static testing has potential, it is still far from a practical application.

-----++++ Downloads
   * [[%ATTACHURL%/proposal_elmar_keij.pdf][Proposal]] 
   * [[%ATTACHURL%/TestBPL.tar.gz][TestBPL]]

-----++ ECTS

The master program Software Technology has a total size of 120 European study points (ECTS).

Progress thus far: <br>
| *Course* | *ECTS* |
| PST | 15 |
| SWA | 7.5 |
| IPT | 7.5 |
| AFP | 7.5 |
| PT  | 7.5 |
| DOS | 7.5 |
| SWE | 7.5 |
| SWS | 7.5 |
| AOP | 7.5 |
| APA | 7.5 |
| STC | 5 |
| Proposal | 10 |
| Thesis Project | 30 |
| Total | 127.5 |
Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
gz	TestBPL.tar.gz	manage	3953.3 K	28 May 2009 - 23:05	ElmarKeij	Thesis Project Prototype
pdf	proposal_elmar_keij.pdf	manage	457.1 K	04 Dec 2007 - 10:52	ElmarKeij	Thesis Proposal - Automatic static testing using the weakest precondition calculus