A Q2BSTUDIO, empresa líder en desenvolupament i serveis tecnològics, sabem que les proves automàtiques són una eina fonamental per detectar errors als sistemes. No obstant, a diferència de les metodologies de verificació formal, aquestes proves poden passar per alt certs errors. Per abordar aquesta problemàtica, es va realitzar un estudi sobre els informes històrics d'errors de BaseX amb l'objectiu d'avaluar l'efectivitat de l'eina XPress en la detecció de fallades.
Es van analitzar 1597 informes d'errors a BaseX, excloent aquells ja reportats pels investigadors. Es van centrar en els errors provocats per expressions XPath i es va avaluar si XPress hauria pogut detectar-los considerant tres aspectes clau: la implementació de funcions i característiques del llenguatge, l'estructura dels patrons de prova i la comparació de resultats entre diferents processadors XML.
L'anàlisi va revelar que, de 78 errors estudiats, 20 haurien pogut ser detectats per XPress. Entre les limitacions trobades, es van detectar quatre categories principals d'errors que l'eina no va poder identificar: manca de funcionalitats implementades (51 casos), entrades invàlides que haurien de generar errors però no ho van fer (6 casos), discrepàncies en els resultats entre processadors (2 casos) i altres problemes diversos (6 casos). Tot i aquestes limitacions, l'enfocament de proves diferencials emprat per XPress va demostrar ser altament efectiu en la detecció d'errors a XPath.
Els errors no detectats es van deure principalment a la manca d'implementació de certes funcions i característiques del llenguatge XML i XPath, com constructors específics, funcions de mapa i array, així com estructures de control com bucles i variables. Es va concloure que, amb millores en aquestes funcionalitats, s'haurien pogut detectar fins a 38 errors addicionals. Així mateix, es va identificar que la validació i gestió d'errors en expressions no vàlides és una àrea de millora a l'eina.
A Q2BSTUDIO ens especialitzem en el desenvolupament de programari robust i eficient, recolzant-nos en metodologies àgils i eines avançades de prova per garantir la qualitat dels nostres productes. Aquest estudi reflecteix la importància d'utilitzar enfocaments innovadors, com la prova diferencial, en la validació de sistemes complexos, assegurant un rendiment òptim en solucions tecnològiques d'alt impacte.
