Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [verification]

The tag has no usage guidance.

4
votes
2answers
99 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
3answers
137 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
1answer
122 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
1answer
256 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
1answer
86 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
0answers
34 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
1answer
123 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
4answers
306 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
1answer
131 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 ...
-1
votes
2answers
261 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
1answer
127 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 ...
3
votes
3answers
204 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 ...
-1
votes
1answer
71 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 ...
5
votes
1answer
416 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 ...
3
votes
1answer
100 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 ...
7
votes
3answers
254 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
vote
2answers
3k 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 ...
-2
votes
1answer
119 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 ?
6
votes
1answer
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. ...
2
votes
1answer
333 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 ...
2
votes
2answers
10k 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
2answers
94 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 ...
1
vote
1answer
89 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. ...
1
vote
1answer
119 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. ...
6
votes
1answer
216 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 ...
2
votes
4answers
1k 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 ...
5
votes
3answers
2k 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 ...
0
votes
1answer
662 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 ...
1
vote
3answers
1k 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 ...
2
votes
1answer
791 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 (...
2
votes
1answer
153 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 ...
3
votes
2answers
577 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/...
0
votes
3answers
1k views

Are Verification and Validation both Quality Assurance and Quality Control?

Having read a book I found a note that verification and validation can be both quality assurance and quality control. I cannot see how it can be quality assurance because both just provide evidence ...
2
votes
4answers
33k 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 ...
3
votes
3answers
7k 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/...
8
votes
9answers
3k 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 ...
9
votes
7answers
2k 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 ...
2
votes
5answers
266 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 ...
3
votes
2answers
881 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 ...
8
votes
2answers
839 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 ...
1
vote
2answers
197 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 ...
7
votes
1answer
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 ...
2
votes
1answer
166 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, ...
7
votes
3answers
1k 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 ...
3
votes
1answer
219 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 ...
7
votes
8answers
495 views

If your team does code review, to what extent do you verify that review fixes are carried out? [closed]

On my team, we carry out code reviews (without the use of external tools). The reviewer produces a list of items which the developer should address or consider and then essentially leave them to it (...
33
votes
21answers
9k views

Is Software Testing Really Needed?

I'm a student working on my B.E(CS) and my question is the following: Is testing in the software field needed? If we create a software with great care, then why should we test? After testing can ...
0
votes
3answers
409 views

How to verify the code that could take a substantial time to compile? [closed]

As a follow up to my prev question: What is the best aproach for coding in a slow compilation environment To recap: I am stuck with a large software system with which a TDD ideology of "test often" ...