Proves funcionals

Entre tots els tipus de proves funcionals que és legítimament ocupa una posició de lideratge, ja que el programa hauria de funcionar correctament, en primer lloc, o per la facilitat d'ús, seguretat, i no tenir la suficient velocitat absolutament cap sentit. A més de posseir proves tècniques diferents, cada persona ha d'entendre com dur a terme correctament una auditoria per obtenir els resultats més eficaços.

Les proves funcionals: cap a on dirigir l'esforç principal?

- modular i sistema de prova;

- per marcar la casella "blanc" o "negre";

- en les proves manuals i automatització;

- per provar noves característiques o proves de regressió ;

- a la proves "positives" "negatiu" o.

Entre totes aquestes activitats és important trobar el camí correcte, que serà el "mitjana" per equilibrar els esforços aprofitant els avantatges de cadascuna de les direccions de la màxima.

verificació de programari es porta a terme de diverses maneres, una de les quals es prova en una "caixa de negre" o el control de dades.

El programa, en aquest cas es representa en termes de la "requadre negre", i la inspecció es porta a terme per determinar les circumstàncies en les que el comportament del programa no compleix les especificacions. Tots els errors es determinen per mitjà de la gestió de dades, que es porta a terme per mitjà de proves exhaustives, és a dir, l'ús de tots els possibles tipus de dades.

Si l'execució d'ordres del programa depèn dels esdeveniments anteriors, llavors no hi ha necessitat de comprovar totes les possibles seqüències. És clar que en la majoria dels casos és simplement impossible fer una prova exhaustiva, de manera més propensos a triar una opció acceptable o raonable, edició limitada del programa en un petit subconjunt de totes les dades d'entrada. Aquesta opció està totalment garanteix l'absència de desviacions de les especificacions.

Les proves funcionals implica la prova d'elecció correcta. En aquest cas, per distingir entre aquests mètodes de formació de conjunts per a ells:

- anàlisi del valor límit;

- partició d'equivalència;

- la suposició d'error;

- anàlisi de la relació entre la causa i efecte.

Es pot veure cada un d'ells per separat.

L'anàlisi dels valors límit. En virtut dels valors límit que s'entén comunament com els situats en els límits de les classes d'equivalència. En aquests llocs probabilitats de detectar un error. L'ús d'aquest mètode requereix una definició professional de la creativitat i experiència en aquest problema particular en consideració.

partició d'equivalència. Tots els possibles conjunts de paràmetres d'entrada es divideixen en diverses classes d'equivalència. Les dades es van combinar en base a d'errors similars. Es creu que si un conjunt d'una classe detecta un error, sinó que també serà equivalent a indicar-ho. Les proves funcionals del present mètode es porta a terme en dues fases: la primera va fer la selecció de classes d'equivalència, mentre que el segon s'ha format proves especials.

L'anàlisi de les relacions de causa i efecte. El sistema pot seleccionar proves amb alta productivitat gràcies a terme aquestes auditories. En aquest cas, com es rebi la causa de la condició d'entrada separat, i és vist com a conseqüència d'una condició de sortida. El mètode es basa en la idea d'atribuir tota mena de raons a certes conseqüències, és a dir per aclarir les relacions mateixa causa i efecte. Les proves del programari es porta a terme en diverses etapes, el que resulta en una llista de les causes i les conseqüències derivades.