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

SSL_ca_path with IO::Socket::SSL doesn't use certs in directory

I would like to use the SSL_ca_path ssl option since it is more reliable. The problem it doesn't use the certificates in the given directory. This code works: local $NET::HTTPS::SSL_SOCKET_CLASS = 'IO::Socket::SSL'; my $ua =…
Benedikt Bock
  • 1,007
  • 15
  • 37
5
votes
2 answers

JAR file Signature Block Format

I am trying to write my own jar verifier application for BlackBerry. However, as BlackBerry does not have the support of the java.util.jar package, we are left to write the verification logic ourselves. Can any body let me know the internal…
Basilio
  • 53
  • 5
5
votes
1 answer

Running multiple testbenches for VHDL designs

Whenever I create a VHDL design I tend to have many modules. Each of these modules are then connected to one main file and so everything is synthesised. But I want to write seperate test benches for each of these modules and one for the global…
Cheiron
  • 3,620
  • 4
  • 32
  • 63
5
votes
5 answers

Parse.com resend verification email

I am using the email verification feature that Parse offers and would like my users to be able to resend the email verification if it fails to send or they cannot see it. Last I saw, Parse does not offer an intrinsic way to do this (stupid) and…
Jon Erickson
  • 1,876
  • 4
  • 30
  • 73
5
votes
1 answer

Proof of stream's functor laws

I've been writing something similar to a Stream. I am able to prove each functor law but I can not figure out a way to prove that it's total: module Stream import Classes.Verified %default total codata MyStream a = MkStream a (MyStream…
Brian McKenna
  • 45,528
  • 6
  • 61
  • 60
5
votes
4 answers

Online identity verification solution

I am building a Python web application and we will need a user identity verification solution... something to verify the users identity during account registration. I was wondering if anyone had any experience in integrating such a solution. What…
lucks
  • 936
  • 2
  • 10
  • 23
5
votes
2 answers

How to authenticate GKLocalPlayer on my third-party-server using Java JDK 1.7?

Using the Apple's Game Center authentication verification steps outlined here, the verification logic below has been implemented using Java. However, this always fails. import java.net.URL; import java.nio.ByteBuffer; import…
5
votes
5 answers

Why does Java 7 fail to Verify after successful JRE installation - Java 7 not running my any browser

This question was dogging me for a few days until I found almost a full answer but I want to share the issue first: ISSUE I have a Windows 7 pro 64 bit laptop that supports both IPv4 and IPv6 (important later) I downloaded and installed the latest…
srecinto
  • 81
  • 1
  • 1
  • 7
5
votes
1 answer

Using queues in recursive properties

I have some data from a 1 bit serial port which comes in multiples of bytes of variant lengths as such: byte expected_1 [$] = {8'hBA, 8'hDD, 8'hC0, 8'hDE}; byte expected_2 [$] = {8'h01, 8'h23, 8'h45, 8'h67, 8'h89, 8'hAB, 8'hCD, 8'hEF}; At each…
5
votes
2 answers

Java verifier and resolution

SUppose we have following definitions: public class Test { public static void main(String[] args) { System.out.println("------MAIN METHOD------"); A a = new B(); a.a = 3; System.out.println(a.a); } } …
Bober02
  • 15,034
  • 31
  • 92
  • 178
4
votes
1 answer

How to use reCAPTCHA?

I have read all the documentation for reCAPTCHA by Google, but it doesn't show any example code. Could anyone help me with the verification code so a form submits only when the get_response() function is returned or something. I notice that I don't…
4
votes
3 answers

Generate a random code that can be validated later

I need to generate a verification code and send it to a customer, so that the customer can then provide the code later and I validate it. I want to be able to do this without storing the verification codes in a database, i.e., the codes should be…
Alex
  • 2,213
  • 4
  • 32
  • 44
4
votes
1 answer

How to handle “App is temporarily blocked from logging in with your Google account” barrier

I am using gdrive and gshell in order to interact with my Google account and download files, get their info. When I run: gdrive about or gdown about, I get following message Initializing system (/home/user/.gdrive) Authentication needed Go to the…
alper
  • 2,919
  • 9
  • 53
  • 102
4
votes
1 answer

R/slackr: How can I setup slackr without legacy tokens?

I'm trying to set up some automatized slack channels. All the content is ready and automation should work but I'm having problems with setting up slackr. There is a nice tutorial on slackr here but it is outdated as slack has changed its token…
Nico Saameli
  • 321
  • 2
  • 11
4
votes
0 answers

What to enter for Homepage and Privacy Policy link for google oauth 2.0 app verification

I have created a google application and want to use the youtube api to get some information about my private playlist using python. The problem is that I need to use a sensitive scope: https://www.googleapis.com/auth/youtube.readonly. So, now need…