Dears,
We participate in a project called CARRIOCAS (www.carriocas.org <http://www.carriocas.org/> ). We take part in a group responsible for the Formal Model of PCEP as well as the test of PCEP implementations. Our strategy is the automatic generation of test cases based on the formal model. One of our questions consists in identify scenarios that exemplify the following cases: CASE 1 : OpenWait State. The PCEP receives an OPEN message, without errors but "the session characteristics are unacceptable and NON negotiable" CASE 2: OpenWait State. The PCEP receives an OPEN message, without errors but "the session characteristics are unacceptable BUT negotiable" ? For instance, if we receive the OPEN message with parameters "KeepAlive =0" and "DeadTimer > 0" could it be considered an example for CASE 1? We're looking forward to hearing from you, Regards, Elisangela. ============== Elisangela Vieira Ing. Chercheur au CEA/LIST, Saclay Equipe Agatha Projet CARRIOCAS (www.carriocas.org) email: [EMAIL PROTECTED] phone: +33 (0) 1 69 08 91 33 Bat 451, p. 6A
_______________________________________________ Pce mailing list [email protected] https://www.ietf.org/mailman/listinfo/pce
