Questions tagged [verification]
The verification tag has no usage guidance.
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 ...
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 ...
0
votes
2
answers
135
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 ...
0
votes
2
answers
303
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 ...
1
vote
2
answers
194
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 ...
1
vote
4
answers
3k
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 ...
4
votes
2
answers
654
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 ...
-2
votes
3
answers
151
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 ...
3
votes
1
answer
172
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 ...
5
votes
1
answer
335
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 ...
0
votes
1
answer
96
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 ...
1
vote
0
answers
48
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 ...
0
votes
1
answer
455
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) ...
1
vote
4
answers
809
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) ...
3
votes
1
answer
186
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 ...