Automatic Validation
Os servizos en rede son cada vez máis complexos, tanto en si mesmos como na súa interacción con outros servizos e cos usuarios finais. Os niveles de fiabilidade e robustez acadados no pasado en servizos de telecomunicacións parecen moi difícil de acadar en sistemas e redes futuras orientadas a servizos. O software construído para estes novos servizos crece rápidamente en términos de complexidade, entre outras razóns debido á variedade de formatos e á diversidade de modos de entrega nos protocolos de comunicación modernos, e a necesidade de manter costes competitivos e time-to-market baixo provoca a necesidade de liberar produtos cunha cobertura de probas menos ampla do desexado. LambdaStream, como proveedora de solucións para servizos en rede no ámbito da televisión dixital interactiva, é consciente da importancia de alcanzar niveis de calidade satisfactorios mantendo a súa competitividad no mercado estatal e internacional. Unha idea prometedora dentro deste eido é usar as propiedades de interese dos sistemas en desenvolvemento como obxectos para a validación automática do software.Describindo de forma concisa e formal as propiedades de interese, pódense xerar automáticamente casos de proba a partir deles. Desta forma, pódese facer unha validación máis profunda, máis rápida e repetible que a validación tradicional a partir da construción manual de casos de proba.
Para producir servizos dinámicos e aplicacións en rede interoperables cunha serie de propiedades garantidas, céntrase o esforzo no testing desas propiedades. Deste xeito, acádase unha mellora competitiva dos desenvolvedores ao entregar software de mellor calidade cun custo menor. Colateralmente, este esforzo axuda a mellorar a definición de interfaces software facilitando a cooperación de equipos de traballo ou compañías distintas, así como mellorando a compatibilidade entre servizos.
O obxectivo xeral do proxecto é realizar unha investigación industrial sobre as posibilidades de incorporar técnicas e ferramentas de validación automática de software (como Quickcheck) no ciclo de desenvolvemento software da compañía que permita reducir os custos derivados do testing e mellorar a calidade dos produtos liberados.
Para acadalo persíguese :
- (a) identificar oportunidades de validación automática baseada en propiedades no ciclo de desenvolvemento;
- (b) incorporación, definición, construción e integración de ferramentas que permitan automatizar o proceso de proba;
- (c) aplicación en tres casos de estudo de características diferentes representativos dos desenvolvementos da empresa (Antares, guía electrónica de servizo; Pulsar, sistema de publicidade dinámica; Live Scheduler, sistema de coordinación de directos);
- (d) xeralizar os resultados para a súa incoporación no proceso de desenvolvemento de software da empresa conforme o nivel de madurez 3 de CMMi.