Verificatie - het proces van het valideren van software

De termen "verificatie" en "validatie" wordt zeer vaak gebruikt in de technische literatuur en zijn gerelateerd aan de kwaliteit van de analyse van software. In de wetenschappelijke literatuur zijn er verschillende interpretaties van deze concepten. Dus, probeer te kijken naar de zaak.

De meest geschikte, naar onze mening, is de volgende definitie. Validatie en verificatie - zijn activiteiten die gericht zijn op de uitvoering van de kwaliteitscontrole van de software om fouten op te sporen in de vroege stadia van het. Het lijkt erop dat ze een gemeenschappelijk doel. Toch zijn deze soorten hebben verschillen in de bronnen van verifieerbare eigenschappen, beperkingen en voorschriften, schending van die kan worden beschouwd als een fout.

Verificatie - een controle van de conformiteit van de software technische documentatie die door de eisen specificatie, architectuur of domein model. In de "plicht" van de term is inbegrepen en de vergelijking berekening procedures om het proces van ontwikkeling, regels en normen.

verificatie van gegevens kan worden uitgevoerd om de werking van de compliance-programma vastgestelde normen, eisen, ontwerp en gebruikersdocumentatie in te stellen. In dit geval wordt een verplichte pre-inspectie worden onderworpen aan deze documenten, die worden vergeleken met de naleving van normen en voorschriften in het land waar de software wordt gebruikt in te stellen. Er moet rekening worden gehouden met respect voor alle sequenties uitgevoerde bewerkingen.

In het geval van een fout of een defect in het programma of anders is er een conflict tussen de bovengenoemde documenten en de huidige werking van het programma de beslissing over de keuze van het instrument voor de correctie moet de oplossing voor een bepaalde taak.

In tegenstelling tot de verificatie validatie is verantwoordelijk voor het controleren van de naleving van de ontwikkelde of vergezeld software behoeften of de behoeften van klanten of gebruikers. Deze behoeften zijn vaak niet opgenomen in documenten. Dat is de reden waarom de validatie minder formeel dan de verificatie. Dit is een proces waarbij vertegenwoordigers van de klant, gebruiker, en kan ook een analist of een deskundige in te wonen het gebied. Met andere woorden, die kunnen de specifieke behoeften en de werkelijke behoeften van de belanghebbenden uit te drukken.

Verificatie - is het antwoord op de vraag: "Is de software correct gemaakt?", En validatie - "Zal de juiste software".

Bij het zoeken naar een antwoord op deze vragen, kunt u vinden dat de validatie (of certificering) gehalte iets breder dan de cheque (verificatie) is ingesteld. Echter, verificatie nauw verbonden met het waarborgen van controle over de kwaliteit software product.

Bijvoorbeeld, de verificatie van een computerprogramma verschaft een werkwijze waarbij de basis van de bedoeling ervoor te zorgen dat aan deze eisen voldoen, met name verkregen levenscyclus, die in de voorgaande stap.

Als we praten over het model verificatie, hier zullen we ons richten op de verificatie van de correcte weergave van de computermodellen die nodig is conceptueel of wiskundige modellen.

Wanneer verificatiesysteem code analyseert de broncodering en controle op de bijbehorende documentaire beschrijving.

Het verificatieproces kan betrekking omvattende alternatieve berekeningen. Een vergelijking van de technische en wetenschappelijke documentatie van het nieuwe project met de juiste documentatie van een bestaand project, verplichte testen, testen van nieuwe software product en demonstreren resultaten.