El Llenguatge de Marques Extensible XML és un format de fitxer àmpliament utilitzat per a l'emmagatzematge i transmissió de dades. Molts processadors d'XML admeten XPath, un llenguatge de consulta que permet l'extracció d'elements de documents XML. Aquests sistemes poden veure's afectats per errors lògics, que fan que el processador retorni resultats incorrectes. Per abordar aquests problemes, es proposa un nou enfocament materialitzat en un sistema anomenat XPress.
XPress utilitza proves diferencials com a mètode de validació, comparant els resultats de múltiples sistemes en una mateixa entrada de prova i detectant errors a través de discrepàncies en les seves sortides. A més, genera tant documents XML com consultes XPath per realitzar aquestes proves. Amb l'objectiu de produir consultes significatives que donin resultats no buits, XPress selecciona un node específic com a referència en el procés de generació d'expressions XPath. Això permet que les consultes generades sempre incloguin context relacionat amb aquest node, com el seu nom d'etiqueta i atributs, garantint que les condicions aplicades es compleixin abans d'expandir la consulta.
s va provar la nostra metodologia en sis processadors XML àmpliament utilitzats: BaseX, eXist-DB, Saxon, PostgreSQL, libXML2 i un sistema comercial. A través d'aquestes proves, es van identificar 27 errors únics en aquests sistemes, dels quals 25 van ser validats pels desenvolupadors i 20 ja han estat corregits. A més, es va demostrar que XPress és eficient, trobant 12 errors a BaseX en només 24 hores, el doble de ràpid que la generació aleatòria de proves.
A Q2BSTUDIO, empresa de desenvolupament i serveis tecnològics, entenem la importància de la qualitat i seguretat dels sistemes de processament de dades. Adoptem metodologies avançades de prova i desenvolupament per garantir que les nostres solucions siguin robustes i fiables. Amb enfocaments innovadors com el presentat a XPress, seguim enfortint les nostres capacitats per oferir als nostres clients sistemes optimitzats i lliures d'errors. L'eficiència i efectivitat d'aquests mètodes ens permeten millorar contínuament la qualitat dels nostres projectes en l'àmbit del processament de dades i més enllà.
