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
12
votes
4 answers

Android: How to get SHA1/MD5 fingerprint programmatically?

I'm trying to implement a way to communicate with my backend-server and be sure that my backend only answers, if it's my application which is calling. So my idea is, that i just send the SHA1/MD5 fingerprint with the HTTPS POST request and verify it…
Nico
  • 320
  • 1
  • 4
  • 12
12
votes
2 answers

Verify certificate against Java certificate store via CLI

How can I verify an X509 (or DER-formatted) certificate against the Java certificate store via the command line? I've looked into using the keytool utility, but it looks like it only handles import/export/display functionality (no…
Brian
  • 3,457
  • 4
  • 31
  • 41
12
votes
5 answers

Why is it important to do email verification upon sign up and is it "mandatory"?

More than a handful of websites don't require registrants to verify their email and they seem to work fine without obliging you to go through this (minor) ordeal. It seems logical this mechanism would assure email validity and would deter a robot…
Gal
  • 23,122
  • 32
  • 97
  • 118
12
votes
1 answer

How to change owner of an appengine application (moving/selling it to a new company)

I have developed an AppEngine application that I am transferring to a different company, and I would like to remove my own personal access from this application after the transfer to the other company is complete. The first step that I took in…
Alexander Marquardt
  • 1,539
  • 15
  • 30
11
votes
9 answers

Slack request verification: Can't compute matching request digest using signed secret

I'm implementing interactive messages on Slack, which contains some action buttons. Using Slack App I'm able to handle Slack users clicking the buttons on my Java Springboot API. To this moment, everything is fine. However, I struggle to compute…
Majo
  • 111
  • 1
  • 5
11
votes
1 answer

"SSL host could not be verified" error

Whenever I try to connect the git via eclipse mars, I entered the bitbucket URL as the instructions in this website. http://crunchify.com/how-to-configure-bitbucket-git-repository-in-you-eclipse/ The problem occurred in the step 9 which is in the…
Kagutsuchi
  • 111
  • 1
  • 1
  • 3
11
votes
8 answers

Data verifications in Getter/Setter or elsewhere?

I'm wondering if it's a good idea to make verifications in getters and setters, or elsewhere in the code. This might surprise you be when it comes to optimizations and speeding up the code, I think you should not make verifications in getters and…
TiTi
  • 363
  • 1
  • 7
  • 15
11
votes
3 answers

proper use of "disable fork" in systemverilog

I've something similar to following pseudo code: for (lets say 10 iterations) begin // Do some configuration changes fork begin ///apply input to design end begin while (1) /// at particular point…
wisemonkey
  • 571
  • 3
  • 15
  • 29
10
votes
3 answers

Hoare Logic Loop Invariant

I'm looking at Hoare Logic and I'm having problems understanding the method of finding the loop invariant. Can someone explain the method used to calculate the loop invariant? And what should a loop invariant should contain to be a "useful" one? I'm…
nunopolonia
  • 14,157
  • 3
  • 26
  • 29
10
votes
2 answers

password_verify doesn't verify hash

I hash my inserted passwords via password_hash. I verify them by using password_verify. However when I insert a hashed password in my database and I try to verify it, both outputs always differ from eachother. my pages are as…
caelin
  • 236
  • 1
  • 2
  • 13
10
votes
2 answers

Ensuring Data completeness and validity on third party storage

I'm dealing with untrusted external storage and need to ensure the storage provider does not withhold any records in a query. Example: I have two trusted entities TA and TB, those entities should be able to alter the data that is stored in the…
worenga
  • 5,776
  • 2
  • 28
  • 50
10
votes
1 answer

Check .apk-signature in C/native Code

I have developed an Android application which also contains a native part written in C (which does not depend on the app). The application itself is useless if the shared library does not do its work. I would like to let the native-part (a shared…
Martin L.
  • 3,006
  • 6
  • 36
  • 60
10
votes
3 answers

verify email using accounts.ui package

I want to send a verification email when some user is created. I use the accounts-password package, so any Accounts methods are called in my code. I read in documentation that I need to call: Accounts.sendVerificationEmail(userId, [email]) but…
nsblenin
  • 237
  • 3
  • 12
10
votes
2 answers

R verify source code

Is there any way to "check" or "verify" a source code file in R when sourcing it ? For example, I have this function in a file "source.R" MyFunction <- function(x) { print(x+y) } When sourcing "source.R", I would like to see some sort of warning :…
MadSeb
  • 7,958
  • 21
  • 80
  • 121
9
votes
3 answers

URL Signing with HMAC or OpenSSL

I'm interested in url signing (e.g. http://.../?somearg=value&anotherarg=anothervalue&sig=aSKS9F3KL5xc), but I have a few requirements which have left me without a solution yet. I'll be using either PHP or Python for pages, so I'll need to be able…
Josh
  • 145
  • 1
  • 2
  • 5
1 2
3
95 96