You are here:
(02 Sep 2010,
Date: 2009-06-04 Time: 11:45 Room: BBL room 471 ----+++ Speaker: Elmar Keij ----+++ Title: Static Testing: Using the Weakest Pre-condition (thesis defense) ----+++ 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.
ore topic actions
Topic revision: r5 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?