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
19
votes
2 answers

How to validate SSL certificate chain in ruby with net/http

How can I verify the certificates of a site like https://processing.ukash.com/ in ruby with net/http? https = Net::HTTP.new('processing.ukash.com', 443) https.use_ssl = true https.verify_mode = OpenSSL::SSL::VERIFY_NONE Works so far, but how do I…
user212510
  • 191
  • 1
  • 1
  • 4
18
votes
4 answers

How to Disable Strong Name Verification for All .Net assembly?

How to Disable .Net Strong Name Verification for All .Net assembly in system by config .net framework or IIS or project's config? (click for larger image)
user3307548
  • 181
  • 1
  • 1
  • 3
17
votes
6 answers

How can I get a regex to check that a string only contains alpha characters [a-z] or [A-Z]?

I'm trying to create a regex to verify that a given string only has alpha characters a-z or A-Z. The string can be up to 25 letters long. (I'm not sure if regex can check length of strings) Examples: 1. "abcdef" = true; 2. "a2bdef" = false; 3. "333"…
Matt
17
votes
5 answers

Only allow 'business' email address register on website

We are looking to build a new website that is specifically for commercial/business use. We need to only allow 'business' email addresses register. So users with Gmail, Hotmail, Yahoo etc cannot apply with those email addresses. Is there a way…
Ian
  • 179
  • 1
  • 1
  • 3
17
votes
1 answer

How to manually resend email verification in Laravel?

I have an admin page on my site and I want an option to be able to manually resend an email verification, there are two purposes for this: Test email verifications templates. Debug user issues. Does the user model have a method to do this?
Elliott Coe
  • 543
  • 3
  • 6
  • 18
16
votes
2 answers

How can the JVM verify there's no potential operand stack overflow when loading a class?

Going over some presentation, I've come across the following claim: When the JVM loads a class, it can analyze its content and make sure there's no overflow or underflow of the operand stack. I've found a lot of sources that make the same claim, but…
Eran
  • 21,632
  • 6
  • 56
  • 89
15
votes
5 answers

Android In-App Billing : Security.java says "Signature Verification Failed"

I have implemented a test app with Android's In-App Billing. I have filled in my Public Key in the Security.java file. Everything works, but when I submit the payment, the app crashes. I receive an error in LogCat that says "Signature Verification…
Chris
  • 5,485
  • 15
  • 68
  • 130
15
votes
3 answers

Obfuscation causes VerifyError: Expecting a stackmap frame

We are using latest JDK 7 (u45) and ProGuard Version 4.10 Lately starting our distribution fails, after obfuscating it, with the following error: Exception in thread "main" java.lang.VerifyError: Expecting a stackmap frame at branch target…
crusam
  • 6,140
  • 6
  • 40
  • 68
15
votes
2 answers

Mockito: How do you verify the group order of certain groups of method calls?

I'm using Mockito to verify orders of method calls with the InOrder object. But I am not interested in a total ordering of the calls, only that a certain group of method calls all happen before some other methods are invoked. For example like…
benjamin
  • 1,066
  • 11
  • 22
14
votes
13 answers

Account verification: Only 1 account per person

In my community, every user should only have one account. So I need a solution to verify that the specific account is the only one the user owns. For the time being, I use email verification. But I don't really need the users' email adresses. I just…
caw
  • 30,999
  • 61
  • 181
  • 291
14
votes
1 answer

Is there a way to prove properties about my C++ programs?

I understand how languages like Coq and Idris can be used to prove properties of programs written in those languages (judging by my little experience in the subject.), but I wonder if there's an approachable way to do the same externally, on an…
Jakub Arnold
  • 85,596
  • 89
  • 230
  • 327
14
votes
1 answer

When using $.ajax in jQuery, how can I deliberately throw an error in the loaded document?

In my document I have this script: $.ajax({ type:"POST",url:"ajax.php",data:data, success: function() { //onsuccess }, error: function() { //onerror } }); How can I, in the document ajax.php, deliberately throw an…
ehm
  • 23,789
  • 5
  • 28
  • 31
14
votes
5 answers

How can I check SQL syntax for a JDBC statement without running the actual query?

I have an SQL statement (for an Oracle database) that takes a long time to run if it is valid. If it's not valid, it returns immediately with an error. I'd like to check that the syntax is valid without running the statement (via JDBC), for example…
brabster
  • 42,504
  • 27
  • 146
  • 186
13
votes
4 answers

How do I check that all the dependencies of my installed Ruby gems are satisfied?

I must be missing something because last night I was astonished to find that googling for check gem dependencies and similar didn't reveal the answer for this. I'm basically after a rough equivalent of rpm -V - a command that will go through some or…
Adam Spiers
  • 17,397
  • 5
  • 46
  • 65
13
votes
4 answers

Types in Bytecode

I've been working for some time on (Java) Bytecode, however, it had never occurred to me to ask why are some instructions typed? I understand that in an ADD operation, we need to distinguish between an integer addition and a FP addition (that's why…
H-H
  • 4,431
  • 6
  • 33
  • 41
1
2
3
95 96