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
1138
votes
30 answers

ssh remote host identification has changed

I've reinstalled my server and I am getting these messages: [user@hostname ~]$ ssh root@pong @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @ WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! …
Filip Dobrovolný
  • 11,483
  • 3
  • 15
  • 16
68
votes
5 answers

Mockito: Verifying with generic parameters

With Mockito I can do the following: verify(someService).process(any(Person.class)); But how do I write this if process takes a Collection instead? Can't figure out how to write it correctly. Just getting syntax errors...
Svish
  • 152,914
  • 173
  • 462
  • 620
33
votes
4 answers

How to check TypeScript code for syntax errors from a command line?

I have a code that generates TypeScript classes, and as a build/test step, I would like to check the generated files for syntax correctness. I have looked at TypeScript compiler options but see no such option. How can I check the syntax? I don't…
Ondra Žižka
  • 43,948
  • 41
  • 217
  • 277
30
votes
5 answers

Does verification of byte code happen twice?

So I am a little confused regarding the verification of bytecode that happens inside a JVM. According to the book by Deitel and Deitel, a Java program goes through five phases (edit, compile, load, verify and execute) (chapter 1). The bytecode…
Smrita
  • 1,259
  • 3
  • 18
  • 38
28
votes
5 answers

How can I verify lock-free algorithms?

In theory, it should be possible to at least brute force a verification of a lock-free algorithm (there are only so many combinations of function calls intersecting). Are there any tools or formal reasoning processes available to actually prove that…
Grant Peters
  • 7,691
  • 3
  • 45
  • 57
27
votes
2 answers

Android LVL Signature Verification Failed

I am trying to implement the APK Expansion Downloader Library into my application, but I am struggling to get past the LVL verification check. Everytime I run up the application, I get a "Signature verification failed" message back from the…
Mimminito
  • 2,803
  • 3
  • 21
  • 27
24
votes
6 answers

How to recognise adult content programmatically?

I am currently developing a website for a client. It consists of users being able to upload pictures to be shown in a gallery on the site. The problem we have is that when a user uploads an image it would obviously need to be verified to make sure…
Glen Robson
  • 908
  • 2
  • 19
  • 42
22
votes
3 answers

How Google's reCAPTCHA v3 works

Google has rolled out reCAPTCHA v3. It does away with all the user friction. I wish to use it to secure my site. However, I am unsure about how this is going to protect my site. What if a hacker spams the URLs on my site with an external tool…
22
votes
3 answers

Using node.js to verify a X509 certificate with CA cert

I am looking for a node.js way to verify a client certificate in X509 format with a CA certificate which was given to me (none of those are created/managed by me, my software only has to verify what is beeing sent to it). I have found several…
user826955
  • 3,137
  • 2
  • 30
  • 71
22
votes
1 answer

Limits of SMT solvers

Traditionally most work with computational logic was either propositional, in which case you used a SAT (boolean satisfiability) solver, or first-order, in which case you used a first-order theorem prover. In recent years, a lot of progress has been…
rwallace
  • 31,405
  • 40
  • 123
  • 242
21
votes
1 answer

How to handle ssh host key verification with 2 different hosts on the same (but changing) IP address?

I have 2 ssh servers behind a nat firewall at a location that changes its wan IP every day. They are always at the same wan IP address on a given time but on different ports. I am connecting to server A this way: ssh -p 22001…
user89021
  • 14,784
  • 16
  • 53
  • 65
20
votes
3 answers

Limits of Klee (the LLVM program analysis tool)

http://klee.llvm.org/ is a program analysis tool that works by symbolic execution and constraint solving, finding possible inputs that will cause a program to crash, and outputting these as test cases. It's an extremely impressive piece of…
rwallace
  • 31,405
  • 40
  • 123
  • 242
20
votes
6 answers

Hilbert System - Automate Proof

I'm trying to prove the statement ~(a->~b) => a in a Hilbert style system. Unfortunately it seems like it is impossible to come up with a general algorithm to find a proof, but I'm looking for a brute force type strategy. Any ideas on how to…
aramadia
  • 1,696
  • 3
  • 15
  • 24
20
votes
2 answers

How to verify a mail has been sent when using Zend_Mail?

I am using the Zend framework to send mail. Once the config is done and the code written it all boils down to one call: $Mail->send($Transport) How can i check that this mail has been sent correctly? I read somewhere that Zend Mail throws an…
Gary Willoughby
  • 50,926
  • 41
  • 133
  • 199
19
votes
4 answers

Verify OAuth Token on Twitter

I'm storing the oauth info from Twitter in a Flash Cookie after the user goes though the oauth process. Twitter says that this token should only expire if Twitter or the user revokes the app's access. Is there a call I can make to Twitter to verify…
shanethehat
  • 15,460
  • 11
  • 57
  • 87
1
2 3
95 96