Mohlo by sa vám tiež páčiť

Viac informácií o knihe Static Testing

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 127 bodov

Anotácia knihy

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.

Parametre knihy

• Celý názov: Static Testing
• Podnázov: Using the Weakest Pre-condition Calculus
• Autor: Elmar Keij
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 124
• EAN: 9783843354936
• ID: 06984008
• Nakladateľ: LAP Lambert Academic Publishing
• Hmotnosť: 203 g
• Rozmery: 220 × 150 × 7 mm
• Rok vydania: 2010

Obľúbené z iného súdka

---

---

---