Criação de modelos simulação protocolos comunicação: Aprender com os nossos dados
Uitgelicht
|
48,90 |
Naar shop
|
|
48,90 |
Naar shop
|
|
49,99 |
Naar shop
|
Beschrijving
Bol
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.
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.
AmazonPagina's: 52, Paperback, Edições Nosso Conhecimento
Prijzen voor het laatst bijgewerkt op: