Criação de modelos de simulação de protocolos de comunicação Aprender com os nossos dados.DE
-
- Portugiesisch ausgewählt
Fr. 48.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
18.04.2026
Verlag
Edições Nosso ConhecimentoSeitenzahl
52
Maße (L/B/H)
22/15/0.4 cm
Gewicht
96 g
Sprache
Portugiesisch
ISBN
978-620-9-96459-6
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.