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
1 answer

Android Phone Number Verification

I need a way to verify that the mobile number set in my Android application is correct as in "ownership" - not data validation of mobile number. E.g. the way WhatsApp is doing it... I know how this can be done by SMS verification using codes and…
andreas78
  • 166
  • 1
  • 2
  • 9
6
votes
2 answers

Why is this .Net IL not verifiable?

I have a bit of custom IL I wrote and it won't pass PEVerify. The error I get is $ peverify foo.exe Microsoft (R) .NET Framework PE Verifier. Version 4.0.30319.17929 Copyright (c) Microsoft Corporation. All rights reserved. [IL]: Error:…
Earlz
  • 62,085
  • 98
  • 303
  • 499
5
votes
4 answers

Android mobile number verification process

I need help from you all in Android mobile number verification process. I have an application, Where the user enters his mobile number. I need to verify that the user has entered his own mobile number and not someone else mobile number in that…
user1239393
  • 125
  • 4
  • 10
5
votes
3 answers

XML signature verification library in C?

Are there any available libraries in C language to verify XML signatures? I could only find one library for C++ from http://santuario.apache.org/cindex.html .
LoyalBanana
  • 183
  • 6
  • 17
5
votes
4 answers

Reflections for C language?

The question title might be misleading when read out of context. Let me first explain what I am trying to build. I am building a script which will take 100s of very simple C programs written by my students and check for some very basic properties…
Eastern Monk
  • 6,395
  • 8
  • 46
  • 61
5
votes
0 answers

Difference between creating custom Django token generator and using the default PasswordResetTokenGenerator

I'm creating a verification email users app, which as the name may suggest verify users' emails before activating their accounts. I've seen in many tutorials that they use the following code to create a custom token generator for account…
Daniel Diaz
  • 424
  • 6
  • 12
5
votes
2 answers

Openssl s_Client doesn't verify certificates in 0.9.8r

I am using openssl v0.9.8r and I tried running this command (with the CA file name as cacert.pem in the directory in which I was running) openssl s_client -CAfile cacert.pem -CApath ./ -connect mail.google.com:443 And the verification failed as…
Hari
  • 709
  • 2
  • 9
  • 13
5
votes
3 answers

Laravel - 403 invalid signature on email verification

I have enabled Email verification on my laravel site. If they dont do it immediatly, but after a day or two, the link times out.. and they land on a page with 403-invalid signature. From there they cannot do anything else beside manually editing the…
sharkyenergy
  • 3,842
  • 10
  • 46
  • 97
5
votes
0 answers

Android Studio In App Billing How To Verify Purchase On Device?

I've been working with Android Studio for a short time and this is my first project. I don't know a lot of points, and I apologize for my complex code. There are only 1 consumable product in my app and gives the user 20 lives. I succeeded in adding…
5
votes
1 answer

Auth0: Let user resend the Verification Email

I enabled the user/password connection in Auth0, and I would like to have the emails verified before proceeding. I enabled the corresponding rule to force the email verification and everything seems to work as expected. Still, I noticed that the…
HNDK
  • 73
  • 7
5
votes
1 answer

Why is BCrypt specifically effective against rainbow tables?

If somebody has the encryption functions from BCrypt, and encrypts a dictionary of passwords and store them on a cd. Gets access to the hashed passwords in the database, shouldn't they be able to? I hope the answer is no. If so, why not?
Jonas Grønbek
  • 1,709
  • 2
  • 22
  • 49
5
votes
3 answers

Why is bytecode verification performed in Java?

From my understanding so far from this article the authors write the main purpose is to check if someone changed the bytecode. Because "a class file generated by a compiler for the Java programming language always passes verification". Is this the…
Catherine
  • 77
  • 1
  • 8
5
votes
2 answers

SMT solver with custom theories?

I'm looking at doing some verification work where I've got regular tree grammars as an underlying theory. Z3 lets you define your own stuff with uninterpreted functions, but that doesn't tend to work well any time your decision procedures are…
jmite
  • 8,171
  • 6
  • 40
  • 81
5
votes
2 answers

How do SaaS companies verify and track the code they release to the customers?

I'm working at a SaaS company who releases new features and bug fixes to our customers every six weeks. When we write code changes they pass through different steps (like a state machine) before reaching the production servers. The steps are…
MdaG
  • 2,680
  • 2
  • 34
  • 46
5
votes
3 answers

Logic for software verification

I'm looking at the requirements for automated software verification, i.e. a program that takes in code (ordinary procedural code written in languages like C and Java), generates a bunch of theorems saying that each loop must eventually halt, no…
rwallace
  • 31,405
  • 40
  • 123
  • 242