MUT: un framework di test automatico per Wolfram Mathematica

Questo lavoro descrive l’architettura e la realizzazione di un package per l’automatizzazione delle attività di verifica del software che utilizza la metodologia basata su test unitari, scritto tramite Wolfram Mathematica e direttamente utilizzabile al suo interno. Il package è pensato per poter essere utilizzato in modo flessibile senza richiedere di inframmezzare il codice da verificare con il codice che implementa test specifici. L'oggetto su cui si imperniano le attività di verifica è il test, focalizzato su oggetti software di complessità limitata (tipicamente, nel caso di Wolfram Mathematica, su una funzione o su un gruppo limitato di funzioni) di cui risulta possibile convalidare il funzionamento scrivendo uno o più casi di test. In questi ultimi la verifica è basata sul tipico meccanismo delle asserzioni, che permettono di verificare sia che l'invocazione di funzioni restituisca valori che soddisfano predeterminate condizioni, sia che in particolari casi le invocazioni lancino delle eccezioni oppure che vengano emessi specifici messaggi, o ancora che un'operazione termini rispettando precisi vincoli temporali. I casi di test possono essere strutturati in modo da automatizzare anche operazioni da effettuare prima o dopo ogni test case oppure prima e dopo ogni test. Il software è liberamente scaricabile sotto forma di un package per Wolfram Mathematica.