Stack Overflow
Stack Overflow

Questions tagged [verification]

Verification checks whether a product complies with specifications and further fixed conditions.

Verification is a quality control process that evaluates whether the product under development complies with regulations, specifications, or conditions imposed at the start of a development phase, see http://en.wikipedia.org/wiki/Verification_and_Validation.

Verification spans from manual testing to formal methods, from early development to final product evaluation.

Although there is often not a clear divide, you should try to differentiate the following two notions:

  • Validation: "Are we trying to make the right thing?", i.e., is the product specified to the user's actual needs?
  • Verification: "Have we made what we were trying to make?", i.e., does the product conform to the specifications?

Also see:

1429 questions
6
votes
2 answers

Exporting tasks to 'C using DPI

I have an verilog based test-bench, interfaced to 'C source using DPI. Now using DPI I am planning to write my whole firmware. To do this I need 3 things Register Read Register Write Interrupt handler As I understand, register reads and writes are…
Alphaneo
  • 12,079
  • 22
  • 71
  • 89
6
votes
2 answers

SMT solvers for bit vector arithmetic

I'm planning some experiments in symbolic execution of C code, using an off-the-shelf SMT solver, and wondering which solver to use; looking at e.g. the SMT contest entrants, and taking only the open-source systems, narrows it down to Beaver,…
rwallace
  • 31,405
  • 40
  • 123
  • 242
6
votes
4 answers

Sensible strategy for unit testing expected and non-expected deadlock behavior

I'd like some ideas about how I should test some objects that can block, waiting for another participant. The specific unit to be tested is the channel between the participants, The the participants themselves are mock fixtures for the purposes of…
SingleNegationElimination
  • 151,563
  • 33
  • 264
  • 304
6
votes
3 answers

What's the difference between data Validation and Verification?

My recollection from a past employer is that they distinguished between the two as follows: Validation is the process of checking that the data is appropriate in a very basic sense; for example that data in a date field can be converted to a date,…
Nij
  • 2,028
  • 2
  • 22
  • 27
6
votes
6 answers

Is using 2 different hash functions a good way to check for file integrity?

I have a website where users can upload their files; these are stored on the server and their metadata recorded in a database. I'm implementing some simple integrity checks, i.e. "is the content of this file now byte-for-byte identical as when it…
Piskvor left the building
  • 91,498
  • 46
  • 177
  • 222
6
votes
5 answers

What's the probability that X *consecutive* bits in an array of N bits is set to 1?

I'm trying to code a simple, sufficiently accurate filter for validating a piece of hardware in an RTL simulation. We're simulating the randomness inherent in a chip's flip-flops, by randomly initializing all the flip-flops in the design to either…
Ross Rogers
  • 23,523
  • 27
  • 108
  • 164
6
votes
1 answer

Where does the KeY verification tool shine?

What are some code examples demonstrating KeY’s strength? Details With so many Formal Method tools available, I was wondering where KeY is better than its competition, and how? Some readable code examples would be quite helpful for comparison and…
DaveFar
  • 7,078
  • 4
  • 50
  • 90
6
votes
2 answers

How to check whether an email id exists or not?

How to check whether an email id exists or not using PHP? and to get information about the owner of the email id? is it possible to get the information about the owner of the email id? do have to work with some protocols like POP? Please help me.
brainless
  • 5,698
  • 16
  • 59
  • 82
6
votes
3 answers

Git: http.sslVerify false global but only for specific remote

I'm looking for a way, to disable the Git SSL verification globally but for a single remote only. The only ways I know about, are these two possibilies: Do it globally, for all remotes: git config --global http.sslVerify false Do it locally in…
lumen
  • 219
  • 1
  • 2
  • 10
6
votes
5 answers

IdentityConfig.cs is missing in my C# web application project

I followed the steps from below link so that I could add Email verification to my project: http://www.asp.net/web-forms/overview/security/create-a-secure-aspnet-web-forms-app-with-user-registration,-email-confirmation-and-password-reset#addRes I am…
Amir Aria
  • 61
  • 1
  • 5
6
votes
3 answers

Importance of verifying user email on web signup

I know this question is crazy - but my employers client is demanding that email verification be removed from the sign up process (they feel it is impeding sign up). I wanted to garner feedback from the programming community at large as to their…
sunwukung
  • 2,815
  • 3
  • 41
  • 56
6
votes
4 answers

Jenkins SMTP Email configuration fails verification

I am using jenkins and trying to set the Email Configurations to use SMTP but it fails the verification step. I am running Jenkins on localhost:8080. in Safari. on osx mavericks. in jenkins under the advanced settings of the email configurations…
DerrickHo328
  • 4,664
  • 7
  • 29
  • 50
6
votes
1 answer

Understanding how to resolve "Inconsistent stackmap frames" exception

I get an exception on startup of the web application as guice is trying to construct the class mentioned. java.lang.VerifyError: Inconsistent stackmap frames at branch target 2770 in method…
PiersyP
  • 5,003
  • 2
  • 33
  • 35
6
votes
5 answers

How to verify email sender address is not spoofed?

As per this question I asked previously on Google App Engine, if I have access to all the information in a standard email, not just the From, To, Subject, Body fields, but also all the headers and MIME information, how can I verify that two incoming…
daveslab
  • 10,000
  • 21
  • 60
  • 86
6
votes
2 answers

Test vectors for floating point unit

I have designed a 32-bit single precision floating point multiplier and also a separate add/subtract unit in Verilog. I have a script in MATLAB that I wrote that generates a bunch of random floating point numbers and generates a test bench in…
Veridian
  • 3,531
  • 12
  • 46
  • 80
1 2 3
…
95 96