İstanbul evden eve nakliyat Beylikd¨¹z¨¹ evden eve nakliyat Tuzla evden eve nakliyat
What is Formal Verification-Proof of Correctness
Delicious Bookmark this on Delicious
software testing genius

What is Formal Verification-Proof of Correctness

Welcome to “Software Testing Genius”. Subscribe to my RSS feed for latest content on Software Testing.

What is Formal Verification-Proof of Correctness

A proof of correctness is a mathematical proof that a computer program or a part thereof will, when executed, yield correct results i.e., results fulfilling specific requirements. Before proving a program correct, the theorem to be proved must, of course, be formulated.

Hypothesis: The hypothesis of such a correctness theorem is typically a condition that the relevant program variables must satisfy immediately "before" the program is executed. This condition is called the "precondition".

Thesis: The thesis of the correctness theorem is typically a condition that the relevant program variables must satisfy immediately "after" execution of the program. This latter condition is called the 'post-condition'.

Thus

the correctness theorem can be stated as:

"If the condition, "V", is true before execution of the program, "S", then the condition, "P", will be true after execution of "S" ".

Where "V" is pre-condition and "P" is post-condition.

Notation: Such a correctness theorem is usually written as {V} S {P}, where V, S and P have been explained above.

By "program variable" we broadly include input and output data, e.g., data entered via a keyboard, displayed on a screen or printed on paper. Any externally observable aspect of the program's execution may be covered by the precondition and post-condition.

Many More Articles on Verification & Validation 

Largest Database of Sample Papers - 1000+ Unique Questions for ISTQB Foundation Exam


ISTQB Foundation Exam - Full Crash Course for Download

ISTQB Advanced CTAL Test Analysts Exam - Full Crash Course for Download


ISTQB Advanced CTAL Test Manager Exam - Full Crash Course for Download


Consolidated Study Material - All ISTQB Certification Exams


What Successful Testers say about the Quality of this website

If you want to keep track of further articles on Software Testing,
I suggest you to subscribe my
RSS feed
.

You can also Subscribe by E-mail
and get All New articles delivered directly to your Inbox.


Quick Navigation of Software Testing Genius

Get your Absolutely Free Copy of Several MS PowerPoint Presentations & E-Books related to ISTQB, HP Load Runner, IBM RFT, HP QTP & QC Certification Exams, prepared by Popular Writers & Trainers, by writing to: Software.testing.genius@gmail.com

Study Material for Certification Exams on Other Automation Tools:

Download Full Study Material - HP QTP & QC Certification Exams

Practical Roadmap to QTP Certification

Rehearsal of QTP in 1 Hr. -  Interview Questions

Study Material - HP LoadRunner Certification Exams for All Modules

Rehearsal of LoadRunner in 1 Hr. -  Interview Questions

Study Material - IBM RFT Certification Exam

Study Material to prepare for Manual Testing & QA:

Practical Roadmap to CSTE Certification

Consolidated Study Material - Testing & QA

 

Comments :

comments ↓


Leave Your Comments: (*) Marked Fields are Mandatory

You can apply basic formatting to the text

Name *
 
Email Address *
 
Website
 
Speak your mind
characters
sex hikayeleri