2026-04-14T08:40:21Zhttps://recercat.cat/oai/request

oai:recercat.cat:2099.1/26222025-07-22T16:31:30Zcom_2072_1033col_2072_452951

Test i distribució d'un programari de modelació markoviana Riera Puntí, Ramon Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica Suñé, Víctor Àrees temàtiques de la UPC::Matemàtiques i estadística::Probabilitat 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. 2004 Master thesis (pre-Bologna period) https://hdl.handle.net/2099.1/2622 cat Open Access application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf Universitat Politècnica de Catalunya