Quina de les següents frases és correcta?

• a) Les precondicions només s’implementen amb asserts.

• b) Les postcondicions només s’implementen amb excepcions.

• c) a i b són correctes.

• d) Les precondicions i postcondicions es poden implementar amb asserts i/o excepcions.

• e) Cap de les anteriors

Un algoritme és correcte si:

• a) Es comporta d’acord amb la seva especificació.

• b) Reacciona correctament enfront els casos no inclosos en la seva especificació.

• c) a) i b) són correctes.

• d) Sempre torba un resultat correcte al problema que resol.

• e) Cap de les anteriors.

Com s’han de tractar els trencaments de contracte que fa un usuari d’un programa?

• a) Amb asserts.

• b) Amb tractaments d’excepcions.

• c) Proporcionant missatges a l’usuari en el cas que es trenqui el contracte per evitar ruptures futures.

• d) b) i c)

• e) Cap de les anteriors.

Les precondicions d’una funció s’utilitzen per detectar quan el codi que la crida no compleix amb les condicions de l’especificació de la funció

• V

• F

La invariant d’una classe la compleixen els objectes de la classe mentre s’executi codi dels mètodes de la classe.

• V

• F

Les condicions especificades en un assert s’executen en la versió de depuració del programa en C++.

• V

• F

Quins avantatges dona l’ús d’assercions en els programes?

• a) Detecta errors de programació que podrien passar desapercebuts.

• b) Apropa el punt on falla el programa a l’origen de l’error.

• c) Facilita trobar l’element d’un programa (mòdul, funció, classe,...) que causa l’error.

• d) Totes les anteriors.

• e) Cap de les anteriors.

Quins tipus d’errors és convenient tractar amb excepcions (try catch throw)?

• a) Trencaments de contracte externs.

• b) Trencaments de contracte interns.

• c) Errors en els paràmetres de les crides a funcions d’un mòdul d’un programa fetes des del mateix mòdul.

• d) Totes les anteriors.

• e) Cap de les anteriors.

Què és més útil per detectar errors?

• a) Precondicions

• b) Invariants de bucle

• c) Intracondicions

• d) Postcondicions

• e) Cap de les anteriors.

Quin és el comportament d’un assert(condició)?

• a) Avalua la condició i si es compleix imprimeix un missatge i surt del programa.

• b) Avalua la condició i si no es compleix imprimeix un missatge i surt del programa.

• c) a) però només en versió de depuració.

• d) b) però només en versió de depuració.

• e) Cap de les anteriors.