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 ...
- 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
127
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 ...
- 275
0
votes
2
answers
273
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 ...
- 339
1
vote
2
answers
189
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
2k
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 ...
- 145
4
votes
2
answers
450
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
143
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 ...
- 249
3
votes
1
answer
162
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 ...
- 249
5
votes
1
answer
286
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
94
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,561
1
vote
0
answers
47
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,561
0
votes
1
answer
384
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,561
1
vote
4
answers
755
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,561
3
votes
1
answer
180
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 ...
- 2,561
0
votes
2
answers
296
views
Does reading over code I've written make sense to verify it?
After writing some code, I have a habit of scanning it all over once or twice in order to look for any bugs. This is sometimes a painstaking and tedious process, and it takes up time. After reviewing ...
1
vote
1
answer
264
views
Meeting CMMI Verification Steps
For my software engineering project I will be creating software to automate tasks.
In my project management module I have been asked to describe and evaluate how I can met all the specific goals for ...
- 21
4
votes
3
answers
351
views
Are periodic validation or verification tests required after the software is released?
I'm working as a programmer in a load cell manufacturing company.
We develop our own software for load cell manufacturing and testing purposes.
Quality Assurance Department of our company has ...
- 203
-1
votes
1
answer
168
views
How to make an application only accessible to those with a college/university email
I have no idea where to start in all honesty. If I make a phone app, for example, how would I go about only allowing people with a university (college) email address to sign up? Would it be as simple ...
- 101
5
votes
1
answer
685
views
Best way to verify that a user has completed a task on another website.
We are developing a website for students on which they first have to fulfill specific tasks in order to use our service. The problem is, that those tasks are on another website, which has nothing to ...
- 51
3
votes
1
answer
102
views
How to be sure that a certain code does not call interrupts?
Imagine that you have an object code file from an untrusted source. You want to run this code to know the result of its computation, and you want the code to perform fast, so setting up a whole ...
- 31
7
votes
3
answers
268
views
Can I avoid more faults if I use different paradigms for the implementation and the specification/tests?
Since it is convenient for the developer, the same paradigm are often used for implementations and specifications, e.g.
for testing (e.g. Java for the implementation and unit tests, Scala for the ...
- 1,406
2
votes
2
answers
4k
views
Why all consider UAT a validation activity? It contradicts the original idea
Virtually any book dealing with software testing mentions that user acceptance testing (UAT) is an ultimate validation activity, often quoting Boehms informal definition: "Validation: Are building the ...
- 523
-2
votes
1
answer
144
views
Is software inherently buggy and hence, vulnerable? [duplicate]
Could no amount of formal analysis, type/rule checking prevent it's exploitation?
How about a fully verified kernel such as SEL4 ?
- 97
6
votes
1
answer
2k
views
Implementing custom "Remember Me" with Stripe [closed]
Implementing remember me with Stripe, while not using their Checkout (not supported on PhoneGap), seems to be fine using the path:
First time:
Request token on the client side using card info.
...
- 293
2
votes
1
answer
395
views
How do I verify if 3rd party payment succeeded?
I'm working on a payment processing website that will function like PayPal does on many e-commerce websites. The idea is for the customer to fill their shopping cart and click checkout, then be ...
- 189
4
votes
2
answers
11k
views
SMS verification in web application [closed]
This is my first project related to SMS verification.
How to implement SMS verification in online ordering web application? For example:- when we try to reset the password in amazon's website, it ...
3
votes
2
answers
102
views
Verification of requirements in a closed system
I'm on my first real software project following the whole SDLC and am a bit confused. We have a requirement that states something like "The battery will be monitored each second" which needs to be ...
- 153
1
vote
1
answer
100
views
How to authenticate an archive
Background:
I have a updator feature in my program which will downloads updates to a directory specified be the user. Then user can install these updates whenever he/she wants by just opening them. ...
user88873
1
vote
1
answer
122
views
Creating an account to receive sensitive information on a mobile device
I am developing an Android application for my final year project which allows the holder of a mobile device to receive a text notification containing potentially sensitive information from a server.
...
- 379
6
votes
1
answer
326
views
Is asking for control totals on a file an outdated means of verifying a file?
I'm in a new position where I need to process a flat files on a regular basis. The last time I did this was 5 or 6 years ago but as part of the file layout I received control totals. It gave me ...
- 163
2
votes
4
answers
2k
views
Quality Assurance activities [duplicate]
Possible Duplicate:
Verification of requirements question
Having asked but deleted the question as it was a bit misunderstood. If Quality Control is the actual testing, what are the commonest ...
- 102
5
votes
3
answers
3k
views
Inspection, code review - is it really testing?
ISTQB, Wikipedia or other sources classify verification acitivities (reviews etc.) as a static testing, yet other do not. If we can say that peer reviews and inspections are actually a kind of a ...
- 4,908
0
votes
1
answer
783
views
ISO 12207: Verification of integration and Unit test validation
I have received comments from the supervisor reviewing my thesis. He asked two questions I cannot answer right now:
If ISO 12207 says under "Integration verification" that it "checks that components ...
- 4,908
2
votes
3
answers
2k
views
Why some consider static analysis a testing and some do not?
Preparing myself also to ISTQB certification, I found they call static analysis actually as a static testing, while some engineering book distinct between static analysis and testing, which is the ...
- 4,908
2
votes
1
answer
1k
views
Why is it said that V-model introduces QA?
In several articles and books I learnt that "V-model introduced QA into SW development".
I would like to understand the point of such statement, as from my understanding, V model activities (...
- 4,908
2
votes
1
answer
163
views
Verification as QA - makes sense?
Preparing my thesis, I found another interesting discrepancy. While some books say verification it terms of static analysis of work products is quality control (looking for defects), other say it is ...
- 4,908
3
votes
2
answers
922
views
Validation and Verification explanation (Boehm) - I cannot understand its point
Hopefully my last thread about V&V as I found the B.Boehm is text which I just do not understand well (likely my technical English is not that good).
http://csse.usc.edu/csse/TECHRPTS/1979/...
- 4,908
2
votes
4
answers
35k
views
How to apply verification and validation on the following example
I have been following verification and validation questions here with my colleagues, yet we are unable to see the slight differences, probably caused by language barrier in technical English.
An ...
- 4,908
5
votes
3
answers
9k
views
Verfication vs validation again, does testing belong to verification? If so, which?
I have asked before and created a lot of controversy so I tried to collect some data and ask similar question again. E.g. V&V where all testing is only validation: http://www.buzzle.com/editorials/...
- 4,908
8
votes
9
answers
4k
views
What is the aim of software testing? [closed]
Having read many books, there is a basic contradiction:
Some say, "the goal of testing is to find bugs" while other say "the goal of the testing is to equalize the quality of the product", meaning ...
- 4,908
9
votes
7
answers
3k
views
Is verification and validation part of testing process?
Based on many sources I do not believe the simple definition that aim of testing is to find as many bugs as possible - we test to ensure that it works or that it does not. E.g. followint are goals of ...
- 4,908
2
votes
5
answers
347
views
Verification of requirements question
Doing a lot of reading about V&V, I would need to clarify the following.
A lot of definitions (less formal ones found in books) define verification like that:
Verification: The software should ...
- 4,908
3
votes
2
answers
929
views
Functional testing in the verification
Yesterday my question How come verification does not include actual testing? created a lot of controversy, yet did not reveal the answer for related and very important question: does black box ...
- 4,908
8
votes
2
answers
941
views
How come verification does not include actual testing?
Having read a lot about this topic --- such as on this Software Testing Fundamentals site on verification and validation and Software Testing and Quality Assurance: Theory and Practice by Naik and ...
- 4,908
1
vote
2
answers
212
views
How to verify that all files are intact prior to install?
I'm working on my CMS (in PHP platform) for a long time now. The main program is done and I'm currently developing the Installer part. Installation itself will be fairly simple:
Upload all files
...
- 793
7
votes
1
answer
2k
views
Difference between software inspection and verification
I was reading about software inspection in Software Engineering by Ian Summerville and I came across the term Software inspection and I started reading about it on Wikipedia. I am unable to understand ...
user4124
2
votes
1
answer
170
views
Ensure data entered by users adjusts to what actually is
This is more of a usability issue I'd say, looking of suggestions on it.
I have a system that depends on the data entered by the users to be correct, as in the address exists, the name is correct, ...
- 123
6
votes
3
answers
2k
views
How can we verify that software meets specifications meets requirements?
So we're pretty good at eliciting requirements from our end customers, business division and sales/marketing. We plan projects to add/enhance features to meet those requests and prioritize tasks to ...
- 6,759
3
votes
1
answer
235
views
why is it easy to break verification images if they are not distorted to the extent that humans can get them wrong too?
I don't understand why people like to say "Images had to be distorted otherwise they would be easily cracked". I'm talking about those verification images that we had to type to identify that we are ...
- 4,973