Questions tagged [verification]
The verification tag has no summary.
53 questions
9 votes
5 answers
3k views
Do test-driven and behavior-driven development belong to the "verification" category?
In university, we were introduced to the two terms "verification" and "validation". The definitions can be summarized as follows: Validation checks that the specifications and ...
- 201
23 votes
8 answers
6k views
What are best practices for testing the absence of functionality
Context: we operate in a highly regulated industry (medical), and aim to have automated test cases to cover all of our requirements - allowing us to still release quickly, but safely. We have a ...
- 259
0 votes
2 answers
204 views
How to verify that a legitimate (but unknown) remote asset from an unknown source has not been compromised and that its integrity remains intact?
I am familiar with and see the benefits of Subresource Integrity (SRI). I understand that with SRI, once you've added a script reference with the correct integrity attribute, if the remote script is ...
- 295
0 votes
2 answers
341 views
Diagrams in the Design Stage in the Lifecycle
I am not clear on the usage of diagrams in the requirements engineering and design stages of the project. I assume the design stage follows the requirements engineering stage in the life cycle. I ...
- 349
1 vote
2 answers
214 views
Requirement Verification
According to what I understand, Requirement validation involves going over the SRS to ensure the requirements are correct with respect to the user's needs. Could you help clarify verifiable ...
- 141
1 vote
4 answers
4k views
Which is better if(condition == false) or If(!condition) [duplicate]
I have always written my if statements like this when I want the negative condition to enter me into the if block. Example 1 if(condition == false){} However, we just hired a new senior on the team ...
- 145
4 votes
2 answers
839 views
What is the relationship between IV&V professionals, Testers and QA engineers?
In the context of SDLC, I know that Verification and Validation is about verifying the deliverable input from previous phase and validating the output of the current one. And that testing is a phase ...
- 163
-2 votes
3 answers
192 views
What you can prove when making native HTTP calls from browser
From here it was advised: Formal verification needs to have a goal: what precisely do you want to prove? This is a good question. I am very intrigued by the idea of doing formal proofs in web ...
- 259
3 votes
1 answer
200 views
How can the `log` function be used for formal verification
In JavaScript I want to create a log function: function log(string) { console.log(string) } Obviously this causes side effects; it prints to the screen. And I have no control over its ...
- 259
5 votes
1 answer
430 views
How can I obtain a CA certificate for my application if I do not own a business/company?
I have developed an application which I intend to sell. I set up a website with information and download links, advertising, payments, everything is ready to go - except the digital signature. I want ...
- 333
0 votes
1 answer
125 views
How to Automatically Tell What is Not Tested [duplicate]
I feel like I've heard the phrase "Automated Test Coverage" but not really sure what it means. I am wondering if there is a way to do some sort of program analysis that will tell you which parts of ...
- 2,787
1 vote
0 answers
62 views
Integrating Testing with Model Checking
So with Model Checking you have a specification and the model checker automatically goes through your program's states and checks if it matches the specification. What I don't understand is where ...
- 2,787
0 votes
1 answer
521 views
How to write a for loop using Automata
I am interested to see how a for loop / while loop would be implemented as an automaton. I am having difficulty imagining how that would work. Say the while-loop did this: var i = 0 while (i < 10) ...
- 2,787
1 vote
4 answers
906 views
How to prove a function returns a value
Say I have the following 2 JavaScript functions for demonstration purposes: function colorize(integer) { if (integer === 1) return 'red' if (integer === 2) return 'blue' if (integer === 3) ...
- 2,787
3 votes
1 answer
209 views
How proofs can be applied to a simple logging function
In order to better understand proofs, I am wondering if the following example will help clarify. Given the following JavaScript function: function log(a) { console.log(a) } My questions are: If it ...
- 2,787