Criação de modelos de simulação de protocolos de comunicação [Portuguese]

By Gurpreet Singh Saini and MD Tanzilur Rahman

Tem havido muitos avan os no campo das t cnicas facilitadas de verifica o e valida o baseadas em modelos. A maioria delas tem-se baseado na observa o do comportamento externo do sistema. A nossa abordagem segue o mesmo princ pio e v lida mesmo quando o c digo-fonte do sistema em an lise n o est dispon vel. Os mecanismos de infer ncia permitem-nos inferir esses modelos de m quina atrav s da observa o. Apresentamos uma estrutura que permite gerar componentes com estados infinitos/finitos e que se adapta a verifica es formais. Os modelos utilizados s o protocolos de comunica o inferidos por infer ncia regular, observados atrav s do comportamento da entidade do protocolo de comunica o. Al m disso, apresentada uma abordagem em que o comportamento observado do protocolo valida o modelo concebido do protocolo.

• Format: Paperback
• Language: Portuguese
• ISBN: 6209964591
• ISBN13: 9786209964596
• Release Date: April 2026
• Publisher: Edicoes Nosso Conhecimento
• Length: 52 Pages
• Weight: 0.18 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"