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

Verify whether an executable is signed or not (signtool used to sign that exe)

In my application I need to verify whether it's signed or not. If it's signed continue the execution and exit the application if not. The signtool will be used to sign the application. Is there any C# code to do that?
Anas EL HAJJAJI
  • 1,048
  • 2
  • 10
  • 22
9
votes
1 answer

Combined command for git tag verification and git checkout?

Usual work flow is, git tag verify. git tag -v tagname Then git tag checkout. git checkout tagname Is there a combined command to verify the tag, shows the verification, and checks it out if verification succeeded?
adrelanos
  • 1,453
  • 2
  • 16
  • 27
9
votes
1 answer

Google App Engine on Google Apps Domain

I'm having trouble getting my domain pointed to my website hosted with google app engine. Here's the background... take care to separate the concepts of "google apps" (domain hosting, email, etc.) and "google app engine" (website framework). I have…
Bob Ralian
  • 1,949
  • 1
  • 20
  • 29
9
votes
3 answers

"openssl verify" gives OK for bad certificate chain

There is a self-signed root CA certificate, rootcert.pem, with the following V3 extensions: X509v3 extensions: X509v3 Key Usage: Certificate Sign X509v3 Basic Constraints: CA:TRUE The rootcert.pem has CA flag set to true &…
user3574637
  • 93
  • 1
  • 1
  • 4
8
votes
1 answer

clr.sll!StrongNameSignatureVerification CPU consumption

I have a C# (.NET 4.0) WinForm application that continuously communicates to a Linux based application, receives some data from it few times a second. I have been fine-tuning this WinForm application to reduce it's high CPU use when I saw…
silverspoon
  • 1,085
  • 1
  • 11
  • 22
8
votes
2 answers

Objective-C form framework

I'm thinking is there any 3rd party framework that allows to easily create, verify forms in Objective-C? This is a task we developers do very often and I believe this is on of the most difficult and long part to code. Each time I've to take care…
Chris Rutkowski
  • 1,774
  • 1
  • 26
  • 36
8
votes
1 answer

Ideas for a TLA+ project

Please give me some suggestions regarding a project topic in the TLA+ language. I'm taking a course on the language, it's the first year I'm learning about specification and verification and I have no clue what to choose to implement in two weeks…
luvieere
  • 37,065
  • 18
  • 127
  • 179
8
votes
2 answers

How to print the values of variables in a JMeter bean shell assertion

Using Jmeter, I'm passing values to a webservice through a REST API. On Success the API updates the values to a mongo DB. While Asserting using JMeter BeanShell Assertion..I want to display the values sent in the Request and values Stored in the…
Udhay
  • 93
  • 1
  • 2
  • 5
8
votes
1 answer

RSA Signing and verifying in java

I'm trying to sign a message in java and it doesn't seem to work. The verifying step gives me false. Can anyone tell me where is my mistake. I can't understand what I'm doing wrong. Thanks String messageString = "text"; try { …
Carmen Cojocaru
  • 333
  • 1
  • 7
  • 16
8
votes
0 answers

Why BDD focuses on validation while TDD focuses on verification

I've read TDD and BDD Differences and What are the primary differences between TDD and BDD?. Here was (part of) an answer: BDD is just TDD with different words. If you do TDD right, you are doing BDD. The difference is that – provided you believe…
user86408
  • 802
  • 1
  • 10
  • 18
8
votes
3 answers

Verify domain ownership

When setting up Google Adsense or Gmail as a site owner, you are required to modify a CNAME record for verification. Microsoft does the same thing. I am building a website where I would like an owner of a group to verify ownership of a domain in…
Matt Norris
  • 8,596
  • 14
  • 59
  • 90
7
votes
3 answers

Using SSH Keys for http user verification

This is most likely not possible, but I'm just asking this to check... I'm just thinking out loud here... So, SSH keys are very useful for logging into a server. Use SSH, and your SSH keys increase security to the server while also making it easier…
user943301
7
votes
7 answers

unknown status code: 17028 A safety_net_token was passed, but no matching SHA-256 was registered

unknown status code: 17028 A safety_net_token was passed, but no matching SHA-256 was registered in the Firebase console. Please make sure that this application’s packageName/SHA256 pair is registered in the Firebase Console. hello there, i m facing…
7
votes
1 answer

How to check if a class file version 50.0 (Java 6) has been preverified?

I "upgraded" some jar files from class file version 49.0 to 50.0 with ProGuard. Because preverification is optional with version 50.0, I wonder if there is a way to check if the class file has really an StackMapTable attribute in it. (It's not that…
soc
  • 27,983
  • 20
  • 111
  • 215
7
votes
4 answers

JTable Input Verifier

I am trying to create a simple Input Verifier for a JTable. I ended up with overriding the method: editingStopped(). The problem is that the event does not include informations about the cell that has been updated. This is my "pseudo code": If…
Ioannis K.
  • 552
  • 1
  • 6
  • 20