Análise, Modelação e Teste de Software

MFES - Mestrado de Informática

13/11/2008

"Design by Contract and Java Modeling Language": apresentação do conceito e clausulas básicas do JML (requires, ensures, invariant). Universo de ferramentas para JML. Características do ESC/Java2 e da verificação de asserções em tempo de execução (jmlc/jmlrac).

Teórico-prática: exercício de utilização do plugin Eclipse do ESC/Java2 (análise estática simples).

20/11/2008

"JML - beyond the basics": especificação de casos multiplos e de comportamento excepcional; invariantes de ciclo; frame-confitions; dificuldades com aliasing de referências.

Teórico-prática: exercício de modelação em JML.

27/11/2008

"Abstract modeling in JML": herança de especificações; datagroups e abstracção; campos "ghost" e "model"; tipos abstractos para modelação.

Teórica-prática: acompanhamento do projecto JML.

04/12/2008

"Unit Testing and JmlUnit": objectivos e características dos testes unitários; utilização do JUnit; integração com verificação de asserções JML e ferramenta JML-Unit.

Teórica-prática: acompanhamento do projecto JML.