Verification
Encyclopedia
The word verification may refer to:
- Verification and validationVerification and ValidationIn software project management, software testing, and software engineering, verification and validation is the process of checking that a software system meets specifications and that it fulfills its intended purpose...
, in engineering or quality management systems, it is the act of reviewing, inspecting or testing, in order to establish and document that a product, service or system meets regulatory or technical standards. - Verification (spaceflight)Verification (spaceflight)Verification in the field of space systems engineering covers two verification processes: Qualification and Acceptance- Overview :In the field of spaceflight verification standards are developed NASA and the ECSS, and to specify requirements for the verification of a space system product, such as:*...
, in the space systems engineering area, covers the processes of qualification and acceptance - Verification theoryVerification theoryThe verification theory is a philosophical theory proposed by the logical positivists of the Vienna Circle. A simplified form of the theory states that a proposition's meaning is determined by the method through which it is empirically verified. In other words, if something cannot be empirically...
, philosophical theory relating the meaning of a statement to how it is verified - Third-party verificationThird-party verificationThird party verification is a process of getting an independent party to confirm that the customer is actually requesting a change or ordering a new service or product...
, use of an independent organization to verify the identity of a customer - AuthenticationAuthenticationAuthentication is the act of confirming the truth of an attribute of a datum or entity...
Computing
- Verification and Validation (software)
- In applications:
- CAPTCHACAPTCHAA CAPTCHA is a type of challenge-response test used in computing as an attempt to ensure that the response is generated by a person. The process usually involves one computer asking a user to complete a simple test which the computer is able to generate and grade...
, device to verify that a user of a web-site is human to prevent automated abuse - File verificationFile verificationFile verification is the process of using an algorithm for verifying the integrity or authenticity of a computer file. This can be done by comparing two files bit-by-bit, but requires two copies of the same file, and may miss systematic corruptions which might occur to both files...
, checking the formal correctness or integrity of a file - Speech verificationSpeech verificationSpeech verification uses speech recognition to verify the correctness of the pronounced speech. Speech verification doesn't try to decode unknown speech from a huge search space, but instead, knowing the expected speech to be pronounced, it attempts to verify the correctness of the utterance's...
, checking of the correct speaking of given sentences - Verify (command), DOS command
- CAPTCHA
- In software development:
- Formal verificationFormal verificationIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics .- Usage :Formal verification can be...
, mathematical proof of the correctness of algorithms - Intelligent verificationIntelligent verificationIntelligent Verification, also referred to as intelligent testbench automation, is a form of functional verification used to verify that an electronic hardware design conforms to specification before device fabrication...
, automatically adapts the testbench to changes in RTL - Runtime verificationRuntime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties...
, during execution - Software verificationSoftware verificationSoftware verification is a broader and more complex discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.There are two fundamental approaches to verification:...
, An overview of techniques for verifying software
- Formal verification
- In circuit development:
- Functional verificationFunctional verificationFunctional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, and takes the...
of design of digital hardware - Analog verificationAnalog VerificationAnalog verification is a methodology for performing functional verification on analog, mixed-signal and RF integrated circuits and systems on chip...
, applies to analog or mixed-signal hardware - Physical verificationPhysical verificationPhysical verification is a process whereby an IC layout design is checked via EDA software tools to see if it meets certain criteria. Verification involves DRC , LVS , ERC , XOR , and Antenna Checks.- XOR Check:This check is typically run after a metal spin, where the original and modified database...
, design of a circuit
- Functional verification
- In systems engineeringSystems engineeringSystems engineering is an interdisciplinary field of engineering that focuses on how complex engineering projects should be designed and managed over the life cycle of the project. Issues such as logistics, the coordination of different teams, and automatic control of machinery become more...
:- Testing to confirm that the system, subsystem or component meets documented requirements or specifications levied on the design.