Geração de objetivos de teste de sistemas reativos baseada na Técnica de Verificação de Modelos CTL.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-23T13:23:08Z No. of bitstreams: 1 DANIEL AGUIAR DA SILVA - DISS PPGCC 2006..pdf: 730843 bytes, checksum: e5d7ebe87ab82d200f68fb0b5b0df784 (MD5)

Bibliographic Details
Main Author: SILVA, Daniel Aguiar da. (author)
Format: masterThesis
Language:por
Published: 2006
Subjects:
Ciência da Computação.
Teste de software
Sistemas reativos
Técnica de Verificação de Modelos - CTL
Teste de conformidade
Framework formal
Verificação de modelos - computação
Geração de objetivos de teste
Protocolo IP Móvel
Software Testing
Reactive systems
Online Access:http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1537
Country:Brazil
Oai:oai:localhost:riufcg/1537

Internet

http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1537

Similar Items