Elmar Keij

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

Planning

2005-2006

• Software Technology Colloquium (5 ECTS)

Period 1

• Preparation for software technology (15 ECTS)

Period 2

• Software Architecture (7.5 ECTS)
• Implementation of Programming Languages (7.5 ECTS)

Period 3

• Program Transformation (7.5 ECTS)
• Advanced Functional Programming (7.5 ECTS)

Period 4

• Distributed Object Systems (7.5 ECTS)
• Colloquium Talk

2006-2007

Period 1

• Software Engineering (7.5 ECTS)
• Software Specification (7.5 ECTS)

Period 2

• Aspect Oriented Programming (7.5 ECTS)

Period 3

• Thesis Proposal (10 ECTS)

Period 4

• Automatic Program Analysis (7.5 ECTS)

2007-2008

Period 1

• Thesis Project (30 ECTS)

Period 2

• Thesis Project (30 ECTS)

Thesis Project (30 ECTS)

Project

Project title: Static Testing: Using the Weakest Pre-condition Calculus
Supervisor: Wishnu Prasetya

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

• Proposal
• TestBPL

ECTS

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

Progress thus far:

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