- els programes de proves procés de detecció d'errors en el producte de programari

En el desenvolupament de programari, una part important del procés de producció es basa en les proves de programari. Què és i com és aquesta activitat es discutirà en aquest article.

El que es diu una prova?

Això es refereix al procés pel qual executa el software per detectar la ubicació d'un funcionament incorrecte del codi. Per a millors resultats, construït deliberadament difícil conjunt de dades d'entrada. El principal objectiu de la inspecció és crear la millor oportunitat per al fracàs de programari. Encara que de vegades provar el programa desenvolupat es pot simplificar a un control rutinari de la capacitat de treball i dur a terme les funcions. Això estalvia temps, sinó que sovint s'acompanya de la manca de fiabilitat del programari, insatisfacció dels usuaris, i així successivament.

efectivitat

Què tan bé i ràpidament són errors, un impacte significatiu en el cost i la durada de desenvolupament de programari de qualitat requerit. Així, malgrat el fet que se'ls sotmet un sou diverses vegades més petit que els desenvolupadors, el cost dels seus serveis sol ser de fins a 30 - 40% del cost de tot el projecte. Això es deu a la quantitat de personal, ja que la recerca per l'error - això és un procés inusual i bastant difícil. Però fins i tot si el programari es passa un respectable nombre de proves, no es garanteix 100% que l'error no passarà. Simplement no saben quan es produeixen. Per animar als emprovadors per triar els tipus de proves que són més propensos a trobar l'avaria, s'utilitzen diferents eines de motivació: tant moral com material.

Aproximació a la feina

L'òptim és quan per posar en pràctica diversos mecanismes per garantir que els errors en el programari no ha estat des del principi. Per a això, s'ha de tenir cura del disseny de l'arquitectura adequada, termes de referència clars, i és important no fer ajustos en la comunicació, quan el treball en el projecte ja ha començat. En aquest cas, el provador a la tasca de trobar i identificar un petit nombre d'errors que romanen en el resultat final. Això estalviarà temps i diners.

Quina és la prova?

Aquest és un aspecte important de les activitats d'inspecció, que és necessària per a la detecció reeixida de defectes del codi. Són necessaris per tal de controlar la correcta aplicació. Què s'inclou en la prova? Es compon de dades i els seus valors inicials que s'ha d'obtenir a la resultant (o intermedi). Per tal d'identificar amb èxit els problemes i inconsistències, les proves han de ser després es va desenvolupar l'algoritme, però no iniciar la programació. És convenient utilitzar diversos mètodes per a l'estimació de les dades requerides. En aquest cas, l'augment de la probabilitat de detectar un error perquè es pot examinar el codi des d'una perspectiva diferent. proves complexes han de proporcionar la verificació dels efectes externs dels productes de programari acabats, així com els seus algoritmes de treball. De particular interès i proporcionar casos degenerats marginals. Per tant, en la pràctica d'errors pot sovint revelen que el cicle funciona a una o més vegades menys del previst. També és important l'equip de proves, a través del qual es pot verificar que el resultat desitjat en diferents màquines. Això és necessari per tal d'assegurar-se que el programari funcionarà en tots els ordinadors. A més, la prova d'equip, en el qual es durà a terme el desenvolupament, és important en la creació de desenvolupament multi-plataforma.

Arts de solució de problemes

Els programes sovint tenen com a objectiu treballar amb grans conjunts de dades. ¿Cal crear del tot? No. Generalitzat adquirit la pràctica de la "miniaturització" del programa. En aquest cas hi ha una reducció raonable de volum de dades en comparació amb la que s'utilitzarà. Vegem un exemple: hi ha un programa, el que crea una matriu de mida 50x50. En altres paraules - ha d'introduir manualment els valors de 2500. És certament possible, però portarà un temps molt llarg. No obstant això, per tal de provar la funcionalitat, el programari rep una matriu la dimensió és de 5x5. Per a això, és necessari introduir més de 25 valors. Si, en aquest cas, una operació normal, sense errors, vol dir que tot està en ordre. Encara que hi ha dificultats que es troben en el fet que es produeix amb la situació de la miniaturització, el que resulta en canvi es converteix implícit i desaparèixer temporalment. També és molt rar, però encara passa és que hi ha nous errors.

objectius perseguits

Les proves no és una tasca fàcil a causa del fet que aquest procés no és susceptible a la formalització íntegrament. Els programes grans gairebé mai tenen la referència exacta necessària. Per tant, com una línia guia amb una sèrie de dades indirectes, els quals, però, no poden reflectir plenament les característiques i funcions de desenvolupament de programari que depurant. D'altra banda, han de ser seleccionats de manera que el resultat correcte calcula abans com es posarà a prova el producte de programari. Si no s'avança, és temptador considerar tot això, i si el resultat de la màquina es posa en el rang esperat, es va prendre una decisió equivocada, que tot està correcte.

Comproveu sota diferents condicions

Per regla general, les proves del programa es produeix en volums que són necessaris per a la funcionalitat mínima d'assaig en un grau limitat. Les activitats dutes a terme amb el canvi dels paràmetres, així com les seves condicions de treball. El procés de prova es pot dividir en tres etapes:

• Comprovi en condicions normals. En aquest cas es prova la funcionalitat bàsica del programari desenvolupat. El resultat ha de correspondre a l'esperada.
• Comprovi en condicions extremes. En aquests casos, com a sinònim de les dades de límits, que poden afectar negativament el rendiment del programari creat. A tall d'exemple, treballem amb un extremadament grans o petits nombres o fins i tot l'absència completa de la informació rebuda.
• Comprovació en situacions excepcionals. Això implica l'ús de les dades que estan més enllà del tractament. En aquestes situacions, és molt dolent quan el programari els percep com a útil per al càlcul i dóna un resultat plausible. S'ha de tenir amb compte que en aquests casos hi ha un rebuig de qualsevol dada que no pot ser processada correctament. També cal proporcionar per informar a l'usuari sobre ell

Tipus de proves:

Crear programari sense error és molt difícil. Això requereix una quantitat considerable de temps. Per obtenir un bon producte s'utilitza sovint dos tipus de proves: "alfa" i "beta". Què són? Quan la gent parla sobre les proves alfa, que vol dir que la revisió es dugui a terme a si mateix en l'estat de desenvolupament "condicions de laboratori". Aquesta és l'última etapa de la prova abans que el programa es transfereix als usuaris finals. Per tant, els desenvolupadors estan tractant de donar la volta al màxim. Per facilitar l'operació, les dades es poden registrar per crear una cronologia dels problemes i les seves solucions. Sota la prova beta per comprendre el subministrament de programari a un nombre limitat d'usuaris, perquè puguin aprofitar el programa i identificar els errors que has perdut. Una característica especial en aquest cas és el fet que sovint el programari no s'utilitza per als fins previstos. A causa d'aquest fracàs s'identificaran on no hi havia res abans vist. Això és bastant normal i la preocupació sobre que no cal.

finalització de la prova

Si els passos anteriors s'han completat amb èxit, segueix sent per a dur a terme les proves d'acceptació. Que en aquest cas es converteix en un mer tràmit. Durant aquesta prova ve la confirmació que no hi ha problemes addicionals han estat trobats i el programari pot ser llançat al mercat. El més important serà el resultat final, com més estretament es comprovarà. S'ha de tenir cura per assegurar-se que tots els passos s'han completat amb èxit. Aquí hi ha el procés de prova en el seu conjunt. Ara aprofundirem en els detalls tècnics i parlar d'una eina tan útil, com els programes de prova. El que són i quan s'utilitza?

prova assistit per ordinador

Anteriorment es pensava que l'anàlisi dinàmica de programari desenvolupat - que és massa pesat enfocament que utilitza efectivament per detectar defectes. No obstant això, a causa de la creixent complexitat i el volum dels programes aparegut punt de vista oposat. Les proves automatitzades s'utilitza quan les prioritats més importants són l'eficiència i la seguretat. I han d'estar sota ha entrades. A tall d'exemple, els programes dels quals és apropiat per a aquestes proves, s'inclouen els següents: protocols de xarxa, servidor web, caixa de sorra. Seguim buscant en algunes mostres, que poden ser utilitzats per a aquestes activitats. Si vostè està interessat en programes de proves lliures, la qualitat és difícil de trobar entre ells. Però no estan trencades versions "pirates" dels projectes ben establerts, de manera que es pot fer referència als seus serveis.

allau

Aquesta eina ajuda a detectar defectes són programes en la manera de anàlisi dinàmica provats. Recull les dades i analitza el comportament de l'objecte pista dissenyada. El provador se li dóna un conjunt d'entrades que causen error o ometen el conjunt existent de limitacions. Gràcies a una bona prova de l'algoritme desenvolupat per un gran nombre de situacions possibles. El programa rep un conjunt diferent de dades d'entrada, que permeten simular un gran nombre de situacions i crear condicions en què la més probable és l'ocurrència d'un error. Un avantatge important del programa és l'ús de la mètrica heurístic. Si hi ha un problema, llavors és molt probable que l'error de l'aplicació. Però aquest programa té limitacions com una sola presa d'entrada de verificació marcada o arxiu. Quan es porta a terme una operació com programes de proves de contenir informació detallada sobre els problemes amb el punter nul, bucles infinits, adreces incorrectes o mal funcionament degut a l'ús de les biblioteques. Per descomptat, això no és una llista completa d'errors detectats i els seus únics exemples comuns. correcció de deficiències, per desgràcia, tenen els desenvolupadors - mitjans automàtics no són adequats per a aquestes finalitats.

KLEE

És un bon programa per provar la memòria. Es pot interceptar aproximadament 50 crides al sistema i un gran nombre de processos virtuals així executades en paral·lel o per separat. Però, en general, el programa no està buscant alguns llocs sospitosos, i processa la màxima quantitat possible de codi i anàlisi utilitza rutes de dades. A causa d'això, el programa de prova depèn de la mida de l'objecte. En comprovar l'aposta es col·loca en els processos simbòlics. Són una de les possibles formes de realitzar tasques en un programa que es prova. Gràcies al funcionament en paral·lel és possible analitzar un gran nombre de variants de l'obra de l'aplicació de prova. Per a cada trajectòria de conjunts de dades d'entrada s'emmagatzemen després de la seva prova, que va començar amb el xec. Cal assenyalar que els programes de proves utilitzant KLEE ajuda a identificar un gran nombre de variacions, que no ha de ser. Podeu trobar problemes fins i tot en les aplicacions que es desenvolupen durant dècades.