Programas de probas - proceso de detección de erro no produto de software

No desenvolvemento de software, unha parte significativa do proceso de produción está baseada en proba de software. Que é e como é esta actividade vai discutir neste artigo.

O que se chama unha proba?

Isto se refire ao proceso, executando o software para detectar os lugares de operación incorrecta do código. Para mellores resultados, deliberadamente construídas conxunto difícil de datos de entrada. A principal finalidade da inspección é crear a mellor oportunidade para o fallo de software. Aínda que ás veces probar o programa desenvolvido pode ser simplificada para unha comprobación de rutina da capacidade de traballo e realizar as funcións. Isto aforrar tempo, pero é moitas veces acompañada pola falta de fiabilidade do software, insatisfacción do usuario, e así por diante.

eficacia

Como ben e axiña son erros, un impacto significativo sobre o custo ea duración do desenvolvemento de software de calidade esixido. Así, a pesar do feito de que os testadores recibir un salario varias veces menor que os desenvolvedores, o custo dos seus servizos adoita ata 30 - 40% do custo de todo o proxecto. Isto é debido ao número de persoal, xa que a procura polo erro - este é un proceso inusual e moi difícil. Pero aínda que o software é pasado un número respectable de probas, non hai garantía de 100% que o erro non vai ocorrer. Só non sei cando se producen. Para impulsar testadores para escoller os tipos de probas que son máis propensos a atopar o fallo, diferentes ferramentas de motivación son usados: moral e material.

Achegamento ao traballo

O ideal é cando a aplicar diversos mecanismos para garantir que os erros no software non foi dende o principio. Para iso, ten que coidar do proxecto de arquitectura axeitada, termos de referencia claros, e é importante non facer axustes na comunicación, cando o traballo no proxecto xa comezou. Neste caso, o testador para a tarefa de atopar e identificar un pequeno número de erros que permanecen no resultado final. Isto vai aforrar tempo e diñeiro.

Cal é a proba?

Este é un aspecto importante das actividades de inspección, que é necesaria para o éxito da detección de defectos do código. Elas son necesarias, a fin de controlar a aplicación correcta. O que está incluído no exame? Formada de datos e os seus valores iniciais, que debe ser obtida como o resultante (ou intermedia). Co fin de identificar correctamente problemas e inconsistencia, as probas serán despois o algoritmo foi desenvolvido, pero non comezar a programar. É desexable utilizar varias propostas para estimar os datos necesarios. Neste caso, aumentando a probabilidade de detectar un erro porque pode examinar o código desde unha perspectiva diferente. probas complexos debe proporcionar verificación de efectos externos dos produtos de software acabados, así como os seus algoritmos de traballo. De particular interese e proporcionar casos dexenerados marxinais. Así, na práctica de erros moitas veces pode revelar que o ciclo opera nunha ou máis veces menos que o previsto. Tamén importante é a proba de ordenador, a través do cal pode comprobar que o resultado desexado en máquinas diferentes. Isto é necesario, a fin de asegurarse de que o software funciona en todos os ordenadores. Ademais, a proba de ordenador, no que o desenvolvemento vai realizarse, é importante na creación de desenvolvemento multiplataforma.

Artes de solución de problemas

Programas xeralmente visan traballar con grandes conxuntos de datos. É necesario crear completamente? Non. Difundida adquiriu a práctica de "miniaturización" do programa. Neste caso, hai unha redución razoable do volume de datos, en comparación co que a usar. Vexamos un exemplo: hai un programa, o que crea unha matriz de tamaño 50x50. Noutras palabras - ten que escribir manualmente os valores de 2500. É certamente posible, pero vai levar un tempo moi longo. Pero, a fin de probar a funcionalidade, o software recibe unha matriz cuxa dimensión é 5x5. Para iso, ten que escribir máis de 25 valores. Se, neste caso, unha operación normal, libre de erros, isto significa que todo está en orde. Aínda hai trampas que se atopan no feito de que, con ocorre situación miniaturización, obtendo cambio pasa a ser implícita e desaparecer temporalmente. Tamén é moi raro, pero aínda pasa é que hai novos erros.

obxectivos que persegue

A proba non é unha tarefa fácil debido ao feito de que este proceso non é passível de formalización na súa totalidade. programas grandes case nunca teñen a referencia exacta necesaria. Polo tanto, como unha directiva mediante unha serie de datos indirectos, que, con todo, non poden reflectir plenamente as características e funcións de desenvolvemento de software que depurado. Ademais, deben ser escollidos de xeito que o resultado correcto calculada antes como o produto de software será probado. Se non avanzar, é tentador considerar todo, e se o resultado da máquina está no intervalo esperado, farase unha decisión errada, de que todo está correcto.

Comprobe en condicións distintas

Como regra xeral, a proba do programa ocorre en volumes que son necesarias para o exame de función mínima de forma limitada. Actividades realizadas co cambio dos parámetros, así como as súas condicións de traballo. O proceso de proba pode ser dividido en tres fases:

• Comprobe en condicións normais. Neste caso estamos a probar a funcionalidade básica do software desenvolvido. O resultado debe corresponder ao esperado.
• Comprobe en condicións extremas. Nestes casos, como sinónimo cos datos de contorno, que poden afectar negativamente o rendemento do software creado. Como un exemplo, traballamos cun moi grandes ou pequenos números ou mesmo completa ausencia de información recibida.
• Vendo en situacións excepcionais. Ela implica a utilización de datos que están alén de tratamento. En tales situacións, é moi malo cando o software entende como útil para o cálculo e dá un resultado plausible. Coidados deben ser tomados para que, nestes casos, hai un rexeitamento de todos os datos que non poden ser procesados correctamente. É tamén necesario prever informar o usuario sobre iso

Probas: Tipos

Crear software sen erro é moi difícil. Isto require unha cantidade considerable de tempo. Para obter un bo produto é moitas veces usado dous tipos de probas: "Alfa" e "Beta". Que son eles? Cando as persoas falan sobre as probas alpha, significa que a revisión a realizarse no estado de desenvolvemento condicións de "laboratorio". Esta é a última etapa de probas antes do programa será trasladado para os usuarios finais. Polo tanto, os desenvolvedores están tentando virar o máximo. Para facilitar a operación, os datos poden estar rexistrado para crear unha cronoloxía dos problemas e as súas solucións. Baixo a proba beta de comprender a subministración de software a un número limitado de usuarios, para que se poidan explotar o programa e identificar os erros que perdeu. Unha característica especial neste caso é o feito de que moitas veces o software non é utilizado para a súa finalidade. Debido a este fallo será identificada onde non había nada antes visto. Isto é normal e hai problema con iso non é necesario.

conclusión proba

As etapas anteriores foron concluídas con éxito, el segue a realizar probas de aceptación. El, neste caso, pasa a ser unha mera formalidade. Durante esta proba vén a confirmación de que hai problemas adicionais foron atopados e software pode ser lanzado no mercado. O máis importante será o resultado final, o máis preto debe ser revisada. Coidados deben ser tomados para garantir que todos os pasos foron concluídas con éxito. Aquí está o proceso de proba no seu conxunto. Agora imos entrar en detalles técnicos e falar dunha ferramenta tan útil, como os programas de proba. Que son e cando se usa?

proba asistido por ordenador

Anteriormente, pensábase que a análise dinámica de software desenvolvido - é visión moi pesado que efectivamente utilizado para detectar defectos. Pero, debido á crecente complexidade e volume dos programas apareceu opinión contraria. Proba automatizado se usa onde as prioridades máis importantes son a eficiencia ea seguridade. E eles deben estar en calquera entrada. Como exemplo, os programas para os que é apropiado para tales probas, inclúen o seguinte: protocolos de rede, servidor web, sandboxing. Seguimos a ollar para algunhas mostras, que se poden usar para tales actividades. Se vostede está interesado en programas de probas de balde, a calidade é difícil de atopar entre eles. Pero non están rachados versións "piratas" dos proxectos ben establecidos, así que pode referirse a os seus servizos.

avalancha

Esta ferramenta axuda a detectar defectos son programas en modo de análise dinámica probado. El recolle datos e analiza o desempeño do obxecto pista deseñada. O testador é dado un conxunto de entradas que causan erro ou non utilizan o conxunto existente de restricións. Grazas a unha boa proba do algoritmo desenvolvido por un gran número de situacións posibles. O programa recibe un conxunto de datos de entrada, que permiten a simular un gran número de situacións e crear condicións en que o máis probable é a aparición dun fallo. Unha vantaxe importante do programa é o uso de métricas heurística. Se hai un problema, entón o erro de aplicación é moi probable. Pero este programa ten limitacións, como só unha toma de entrada de verificación marcada ou arquivo. Ao realizar unha operación, como programas de proba conterá información detallada sobre os problemas co apuntador nulo, loops infinitos, enderezos incorrectos ou avarías debido ao uso de bibliotecas. Por suposto, iso non é unha lista completa dos erros detectados e os seus únicos exemplos comúns. deficiencias corrección, por desgraza, teñen desenvolvedores - medios automatizados non son axeitados para estes fins.

Klee

É un bo programa para probar a memoria. Pode interceptar uns 50 chamadas de sistema e un gran número de procesos virtuais, polo tanto, executados en paralelo ou por separado. Pero, en xeral, o programa non está buscando algúns lugares sospeitosos, e procesa o importe máximo posible de código e análise utilizados camiños de datos. Debido a iso, o programa de probas depende do tamaño do obxecto. Ao comprobar a aposta é colocada sobre os procesos simbólicos. Son unha das posibles formas de realizar tarefas nun programa que está probado. Grazas á operación paralela é posible analizar un gran número de variantes do traballo da aplicación de proba. Para cada camiño de conxuntos de datos de entrada son almacenados tras o seu exame, que comezou co cheque. Débese notar que os programas de proba a usar Klee axuda a identificar un gran número de variacións, que non deberían estar. Pode atopar problemas mesmo en aplicacións que se desenvolven ao longo de décadas.