Abstract:
|
El document presentat a continuació és la Memòria del Projecte Fi de Carrera titulat "Test i distribució d'un programari de modelació markoviana". El projecte descriu el procés de test del programari de modelació markoviana METFAC2.1 i el disseny i implementació d'unes pàgines web per a la seva distribució a través d'Internet.
El capítol 1 inclou el glossari dels acrònims més freqüents. El Capítol 2 emmarca el Projecte i en defineix els objectius. El Capítol 3 descriu descriu de forma detallada l'ús de METFAC2.1 i en descriu breument l'estructura interna. El Capítol 4 descriu la metodologia seguida per al test. El test és el nucli del projecte i es realitzen 5 tipus de comprovacions:
1. Comprovació de la correcta generació de la cadena de Markov.
2. Validació de la gestió de memòria.
3. Validació del càlcul numèric de les mesures estocàstiques.
4. Comprovació de la correcta generació de la descripció del model en format text.
5. Validació de les comprovacions efectuades sobre l'entrada subministrada per l'usuari.
Dues d'aquestes comprovacions (1 i 2) s'implementen de forma que es duguin a terme en cada una de les tasques que pot realitzar el METFAC2.1 (càlcul numèric d'una mesura estocàstica, generació d'una descripció detallada del model -CMTC anotada- en format text, i generació d'una descripció compacta del model en format text); per a les altres tres comprovacions (3, 4 i 5) es crea un conjunt específic de models de test. El test inclou anàlisi de cobertura de codi. El Capítol 5 descriu l'automatització del procés de test. El Capítol 6 descriu els models creats per al test. El Capítol 7 dóna en forma de taules els resultats de cobertura per línia obtinguts. El Capítol 8 descriu el disseny i implementació de les pàgines web. Finalment s'inclouen conclusions, agraïments i bibliografia. |