Verificación de software mediante revisiones estáticas

     5 HERRAMIENTAS PARA PRUEBAS ESTÁTICAS

     El proceso de verificación es imprescindible en el proceso de creación de software, en el cual las revisiones estáticas fungen un papel muy importante, pues son las que se realizan antes de llegar al punto de ejecutar el software. En este caso, el enfoque será sobre las pruebas estáticas del código fuente del software.
A continuación, se presentarán 5 herramientas utilizadas para pruebas estáticas de código:
  1. PHPLint - Esta herramienta facilita las pruebas de código fuente, y puede ser usada para comenzar a codificar o mejorar código anteriormente escrito. Algunas prácticas benignas que proporcionan son: seguridad en el código, errores de sintaxis, variables no utilizadas y código muerto.
  2. RATS - Permite evaluar el código y revisar la seguridad del código con respecto a la criticidad de fallos.
  3. YASCA - Facilita la detección de deficiencias en la calidad, seguridad en el código y rendimiento del programa. Además, utiliza funciones ofrecidas por los plugins FindBugs, PMD y Jlint.
  4. FindBugs - Escanea el código para encontrar errores comunes, código vulnerable, malas prácticas, seguridad y rendimiento.
  5. PMD - Interviene en el proceso de detección de errores en el manejo de excepciones, código muerto, código sin optimizar y código duplicado. Además, éste puede ser integrado a las siguientes herramientas:
    • JDeveloper.
    • Eclipse
    • JEdit
    • JBuilder
    • BlueJ
    • TextPad
    • Maven
    • Ant
    • Gel
    • Jcreator
Por último, la siguiente tabla comparativa enuncia características importantes de las herramientas anteriormente mencionadas:

Tabla 1 - Tabla comparativa de 5 herramientas de pruebas estáticas.







Referencias



Comentarios

Publicar un comentario

Entradas populares de este blog

Niveles de pruebas

Imagen
Pruebas unitarias (Rodríguez, 2017) El proceso de validación del software de suma importancia para el aseguramiento de su calidad, y las pruebas son parte por excelencia de ese proceso de validación. Las pruebas poseen distintos niveles, entre los cuales se encuentran las pruebas unitarias , posteriormente las integrales, pruebas del sistema, de humo, las alpha, las beta y finalmente las de aceptación. En este artículo abordaremos las pruebas unitarias de software. (Rodríguez, 2017) Éstas también son nombradas como pruebas de caja blanca o modulares , por la cualidad que tienen de permitir verificar (mediante ejecuciones de casos de prueba ) si un módulo de cualquier programa está terminado correctamente. (Calidadysoftware, 2017) Éstas poseen las siguientes características: Se concentran en probar cada componente para asegurar el funcionamiento unitario. Aplican técnicas de prueba que recorren caminos específicos en las pruebas estructurales. Para probar cada módu...
Leer más

Ejecución de pruebas

Imagen
Herramientas de gestión de pruebas El proceso de ejecución de pruebas es sumamente importante pues verifica y valida el producto que se está fabricando, resultando un producto calificado. Existe un alta gama de herramientas de software especializadas en la administración de pruebas, de forma que sea un procedimiento automatizado, son las siguientes: Testopia Es un administrador de casos de prueba, que maneja extensiones para interactuar con Bugzilla. Está diseñada para dar seguimiento de casos de prueba, permitiendo a las organizaciones realizar las pruebas de software e integrar reportes de defectos encontrados, así como el resultado de los casos de prueba  (Mozilla Developer Network, 2017) . Algunas versiones de Testopia son las siguientes: Testopia 2.5 Soporta exportación XML e importación de casos de prueba. Soporta exportación CSV de casos de pruebas. Nuevos reportes. Establecimientos de prioridades por individual en casos de ejecución. Opción de nueva clo...
Leer más

Propiedad intelectual y licenciamiento

Imagen
(Copyleft, 2017) ¿Qué es copyleft ? En el contexto informático, las licencias son un recurso inalienable, producto de la propiedad intelectual que posee un individuo al crear y apropiarse software novedoso. Existe un método para liberar un programa en sentido de libertad y no gratuidad, llamado copyleft. Éste aduce que cualquiera que redistribuya software, con o sin cambios, debe transmitir la libertad de poder seguir haciendo más copias y cambios; garantizando la libertad del usuario ( Gnu.org, 2017 ). Se pueden enumerar características como las siguientes: Es un incentivo para que otros programadores se adicionen al software libre. Contribuye a los programadores que deseen contribuir con mejoras al software libre a obtener el permiso de hacerlo. Es una forma de usar el copyrigth en un programa. Es un concepto general, imposibilitando su uso en términos generales; sino aplicado a un contexto específico. Por otro lado, existe un proyecto GNU  el cual tiene como o...
Leer más