Static Testing

Name: Static Testing
Brand: LAP Lambert Academic Publishing
SKU: 9783843354936
Price: 19827 HUF
Availability: InStock

Using the Weakest Pre-condition Calculus

Szerző: Elmar Keij

Nyelv:

Kötés: Puha kötésű

Kiadó: LAP Lambert Academic Publishing

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 827 Ft

An important aspect of the software process is the validation and verification of software. Undoubte...

Információk a könyvről

Szerző

Elmar Keij

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

124

EAN

9783843354936

Enbook ID

06984008

Kiadó

LAP Lambert Academic Publishing

Súly

203

Méretek

150 x 220 x 7

Teljes leírás

An important aspect of the software process is the validation and verification of software. Undoubtely, the most widely used verification method in practice is software testing. However, proper software testing is expensive and labour intensive. One of the reasons for this is that it is often necessary, but difficult, to test specific (parts of) runtime behaviour and to mimic other specific (parts of) runtime behaviour of the software. In this thesis an alternative method of testing, called static testing, is proposed. Static testing is the verification of software using testing, but without the execution of the software by incorporating techniques from the field of static verification, such as the weakest pre-condition calculus. Instead of obtaining the runtime behaviour through execution it is obtained through the weakest pre-condition calculus. Since the specific (parts of) the runtime behaviour under test are represented in a boolean condition, it is easier to manage and test them. This thesis explores the basic principles and design of this approach and should be useful to anyone interested in software verification.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Static Testing

Using the Weakest Pre-condition Calculus

Információk a könyvről

Teljes leírás

Érdekelheti

Innovations in Multi-Agent Systems and Application - 1

The Practice of the Presence of God

Today I Am . . .

Gateway to the world - B2+ Workbook & DWB

Recording and Analysis of Extremely Low Frequency Signals in our Environment

St. Louis' Big League Ballparks

Spiritual Narratives of Adoptive Parents

Cambridge Checkpoints VCE Further Mathematics 2008

Narrative of the Mutiny, on Board His Majesty's Ship Bounty; And the Subsequent Voyage of Part of the Crew, ... Written by Lieutenant William Bligh.

Shadow Coast

Understanding Your Blessings in Christ

Software Prototyping Mit Setl

Emotional Incest Syndrome

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Morphologische, mikroskopische und analytische Untersuchungen an Minze

Yo Soy: Elemento de filosofía esencial en la reconexión con la verdad sanadora.

Super-Gene

Comparación del Tratamiento Quirúrgico del Ligamento Cruzado Anterior

Homunculus-Pflegetherapie®