GeekInterview.com
   Home |  Tech FAQ  |   Interview Questions |  Placement Papers |  Tech Articles |  Learn |  Freelance Projects |  Online Testing |  Geeks Talk |  Job Postings |  Knowledge Base | Site Search |  Add/Ask Question

GeekInterview.com  >  Interview Questions  >  Testing  >  Testing General
Go To First  |  Previous Question  |  Next Question 
 Testing General  |  Question 483 of 495    Print  
Which of the following is the formal verification method
Which of the following is the formal verification method.........
1)structure induction 2)Progressive verification
3Error verification 4)None



  
Total Answers and Comments: 1 Last Update: December 30, 2007     Asked by: ranu agrawal 
  
 Sponsored Links

 
 Best Rated Answer

No best answer available. Please pick the good answer available or submit your answer.
December 30, 2007 23:04:52   #1  
dilton_dalton Member Since: December 2007   Contribution: 14    

RE: Which of the following is the formal verification method
A formal method is one in which everyone involved wears a tuxedo.

Only kidding.

A formal method is one that is defined (either is writing or graphically) and leaves evidence that it was done (i.e. the method produces records).

Any method can be made into a formal method if it satisfies these two criteria.

 
Is this answer useful? Yes | No

 Related Questions

Answer posted by Radhika on 2005-05-23 17:50:13: The purpose of testing can be quality assurance, verification and validation, or reliability estimation. Testing can be used as a generic metric as well. 
Latest Answer : The purpose of testing is to uncover hidden errors in the software and main thing is it can justify the standards of the application. ...

Answer posted by Radhika on 2005-05-24 08:29:43: Verification takes place before validation, and not vice versa. Verification evaluates documents, plans, code, requirements and specifications. Validation 
Latest Answer : thnx Radhika u hv really been helpful. ...

Latest Answer : Waterfall approach is a traditional approach to the s/w development.This will work out of it project is a small one(Not complex).Real time projects need spiral methodology as SDLC.Some product based development can follow Waterfall,if it is not complex.Production ...

Latest Answer : V-MODEL IS PROCESS OF HAVING TESTING AND CODING PARALLELY WHICH ENABLES THE CHANGES TO OCCUR MORE DYNAMIC ...

Latest Answer : Verification basically asks if the program is correct.  To use your simple example, a=x + Yis correct if x=1 and y=2  yields a = 3.  Validation asks if the correct program was produced.  For example, calculate the area of a rectangle ...

Latest Answer : Waterfall development model contain five stage1:software requiremet specification2:software design3:Implementation4:testing5:maintanaceThis model is useful when SRS is clear ...

Latest Answer : v-model : it is process of testing and coding parallely ...

Latest Answer : Verification and validation are related to the back-end testing.Verification is making sure that the data entered is stored in appropriate fieldwhereasValidation is making sure the parameters of the data stored in the field are as per the requirements.For ...

Latest Answer : generaly in loadrunnerfirst v select sever if it is related to database application v select odbc server r if it is web application v select web server after that v choose vuser_init those this function v initialise apllication. after that action ...

Please explain the answer if anybody knows exact.1. What is the Waterfall model and spiral model? With diagram.2. Write down about the bug life cycle with diagram.3. What is the Configuration Management?4. What 
Latest Answer : 1.       The sequential model used to be very popular method in software testing projects.The term waterfall is used to the fact that the diagram resembles one USER REQUIREMENTS     FUNCTIONAL SPECIFICATION                ...


 Sponsored Links

 
Related Articles

How ERP Improves General Ledger Capacity

How ERP Improves General Ledger Capacity Flexibility quickness and efficiency are the pillars and needs of the modern organization In order to fulfill all the requirements that the market imposes ERP has become an useful utility The general ledger tasks are nowadays one of the most important activit
 

What is Common Data Modeling Method

Common Data Modeling is one of the core considerations when setting up a business data warehouse. Any serious company wanting to have a data warehouse will have to be first serious about data models. Building a data model takes time and it is not unusual for companies to spend two to five years just
 

Testing and Integration

Once the software is complete, it will go though rigorous testing before its actual integration.  In this article we will take a look at different types of software testing and also different types of integration. With the diversity of business setting and software development models, it al
 

The Interview Snafu

How to turn someone else’s mistake to your advantage Your dream job is about to become reality. A recruiter gave you the heads up about the perfect position at Humungous Conglomerate, Inc. You went through five interviews as well as a battery of psychological tests mandated by their HR de
 

Winning a Job Interview with a Winning Resume

Does your resume unlock your potential, take your skills to the highest level and win you the interview and the job you want now? The job market today is highly competitive and even if you think you have what it takes to get an interview you won’t get over the line without a polished, prof
 

Client-Server Testing Technology

Client Server Testing Technology Client Server Software Client server software requires specific forms of testing to prevent or predict catastrophic errors Servers go down records lock I O Input Output errors and lost messages can really cut into the benefits of adopting this network technology Test
 

JavaScript Window Object Open Method Part 2

JavaScript Window Object Open Method Part 2 In this JavaScript tutorial you will learn about JavaScript Window Object Open Method features of window object open method scrollbars status titlebar toolbar top width innerHeight innerWidth outerHeight outerWidth and hotkeys mosgoogle center scrollbars S
 

JavaScript Window Object Open Method

JavaScript Window Object Open Method In this JavaScript tutorial you will learn about JavaScript Window Object Open Method features of window object open method channelmode directories dependent fullscreen screenX screenY height left location menubar resizable alwaysLowered alwaysRaised mosgoogle ce
 

Importance of Proper English during Job Interview

Importance of Proper English during Job Interview Your job interview is crucially important and it will determine whether or not you will get the job Depending on the type of job you re going for it is very important for you to use proper English In most cases jobs which offer higher salaries will h
 

What To Avoid During Formal Conversation

What To Avoid During Formal Conversation In a formal social scenario it would take more than good clothes and a pleasant looking appearance to be able to present yourself well How you converse with the hosts and their other guests can say a lot about your social skills mosgoogle In some circles espe
 





About Us  |   Privacy Policy  |   Terms and Conditions  |   Contact  |   Site Map  |   Add Question  |   Propose Category  |   RSS Feeds  |   Articles Sitemap  |   Site Updates  |   Add Resource

Copyright © 2005 - 2008 GeekInterview.com. All Rights Reserved
Page copy protected against web site content infringement by Copyscape