Diploma Universitario di Ingegneria Informatica
Esame di Fondamenti di Informatica II - primo modulo
A.A. 2001/02 - Appello del 11 dicembre 2002

Problema 1   Si consideri la seguente specifica del tipo astratto VideoTape:

TipoAstratto VideoTape

Sorte VT(sorta per il dominio di interesse)

Funzioni

• Crea : (Reale) --> VT
  precondizioni e postcondizioni per Crea(m) = v
  pre: nessuna
  post: v è un videotape avente m minuti di capacità di nastro liberi

• CapacitaComplessiva : (VT) --> Reale
  precondizioni e postcondizioni per CapacitaComplessiva(v) = m
  pre: nessuna
  post: m è la capacità complessiva del videotape v

• CapacitaResidua : (VT) --> Reale
  precondizioni e postcondizioni per CapacitaResidua(v) = m
  pre: nessuna
  post: m è la capacità residua del videotape v

• NumSequenze : (VT) --> Int
  precondizioni e postcondizioni per NumSequenze(v) = n
  pre: nessuna
  post: n è il numero di sequenze video presenti nel videotape v

• Inserisci : (VT, SequenzaVideo) --> VT
  precondizioni e postcondizioni per Inserisci(v,s) = w
  pre: la lunghezza della sequenza video v è minore di CapacitaResidua(v)
  post: w è il videotape ottenuto da v aggiungendo la sequenza video s in posizione NumSequenze(v)+1

• Restituisci : (VT, Int) --> SequenzaVideo
  precondizione e postcondizioni per Restituisci(v,i) = s
  pre: 1 <= i <= NumSequenze(v)
  post: s è la sequenza video in posizione i

Si vuole scrivere una classe C++ VideoTape che realizzi il tipo astratto VideoTape, considerando che per riferirsi al tipo astratto SequenzaVideo è necessario utilizzare la classe SequenzaVideo che si suppone già realizzata, della quale però non è nota la definizione, eccetto che per la funzione durata, che dato un oggetto s di tipo SequenzaVideo va invocata con la sintassi s.durata() e restituisce un double che rappresenta la durata del brano in minuti.

Domanda 1   Si illustrino le scelte di progetto relative alla realizzazione del tipo astratto VideoTape mediante la classe C++ VideoTape.

Domanda 2   Si scriva la classe VideoTape (file .h e file .cpp) secondo le scelte di progetto illustrate per la Domanda 1. Scrivere il codice di tutte le funzioni pubbliche e private della classe.

Problema 2   Realizzare una funzione esterna (non friend) della classe VideoTape che, dato un oggetto v di tipo VideoTape, restituisca un nuovo oggetto VideoTape contenete le stesse sequenze video di v ma in ordine inverso.

Problema 3   Spiegare brevemente il significato delle nozioni di coesione, information hiding, accoppiamento, e interfacciamento esplicito, e descrivere i criteri fondamentali che legano tali nozioni con la qualità della modularizzazione.