PRE/POST i divisió de responsabilitats (Fitxa)

PRE/POST i divisi´ o de responsabilitats 0010-0020-0050 PRE/POST i divisi´o de responsabilitats Mar¸c de 2015 1 Assercions i contracte PRE/POST 2 2 Divisi´o de responsabilitats 2 Qu` e´ es una asserci´ o (0010-0010-XXXX) Contracte PRE/POST (0010-0020-0030) Una precondici´ o (PRE) ´ es una asserci´ o que expressa les condicions que s’han de complir abans de realitzar l’acci´ o que defineix el contracte Una postcondici´ o (POST) ´ es una asserci´ oque expressa les condicions que s’han de complir despr´ es de realitzar l’acci´ o que defineix el contracte Josep M. Merenciano 1 EPSEVG-UPC PRE/POST i divisi´ o de responsabilitats 0010-0020-0050 El contracte PRE/POST introdueix dues perspectives diferents, pel que fa a les responsabilitats i necessitats de coneixement: • El client opeticionari • El servidor oexecutor ´ Es responsabilitat del client o peticionari d’una acci´ o d’assegurar-ne les seves PRE ´ Es responsabilitat del servidor o executor d’una acci´ o d’assegurar-ne les seves POST 1. Assercions i contracte PRE/POST Contracte PRE/POST (0010-0020-0030) • Un contracte PRE/POST defineix una acci´ o en termes dels canvis d’estat que ocasiona Estat d’un model (0010-0020-0010) • Els estats s´ on fets presents avaluables. Per aix` o tant les PRE com les POST s´ on assercions • Les precondicions defineixen l’estat de partida. Les postcondicions defineixen l’estat resultant 2. Divisi´ o de responsabilitats •´ Es responsabilitat del peticionari assegurar que el sistema est` a en l’estat exigit per les precondicions, abans de fer la petici´ o d’execuci´ o l’acci´ o •´ Es responsabilitat de l’executor assegurar que el sistema est` a en l’estat exigit per les postcondicions despr´ es d’executar l’acci´ o Josep M. Merenciano 2 EPSEVG-UPC PRE/POST i divisi´ o de responsabilitats 0010-0020-0050 La responsabilitat de l’executor nom´ es ´ es exigible si en el moment de fer la petici´ o de l’acci´ o el sistema est` a en l’estat exigit per les precondicions list text Exemple 1. Donar l’interruptor de la l`ampara PRE: • La l` ampara est` a endollada a una presa de corrent de 220V POST: • La bombeta s’il·lumina 1. La culpa sempre ´es de l’altre Erroni • Endollem la l` ampara a la fibra ` optica. Quina estafa!!! No es veuen els bits projectats sobre l’esfera de la bombeta • Submergeixo l’endoll en un pot de tom` aquet. I res, no aconsegueixo tenir llum vermella 2. S´oc un sapastre; i ho assumeixo Correcte • Endollem la l` ampara a la fibra ` optica. Com que no complim la nostra part del contracte com a clients, la l` ampara, com a servidora, pot respondre com li plagui. Desconeixem qu` e passar` a • Submergeixo l’endoll en un pot de tom` aquet. Com que no complim la nostra part del contracte com a clients, la l` ampara, com a servidora, pot respondre com li plagui. Desconeixem qu` e passar` a Josep M. Merenciano 3 EPSEVG-UPC