DAIKON. o detector invariante
Baixe Agora

DAIKON. Classificação e resumo

DAIKON. Tag

Detector detecção Detector invariante Detecção invariante programa invariante invariante MSN Webcam Spy. Curva Blackberry 8630. dj java decompiler Mercury Sound 7050. Captura de tela do Linux. PDF para MDB. OS. plugue prizm em whitetail veados screensavers Aniversário de lembrete para Software de decodificação de TV zl webmail.

DAIKON. Descrição

Daikon é uma implementação da detecção dinâmica de invariantes prováveis; Ou seja, o Detector Invariante Daikon relata prováveis invariantes do programa. Uma invariante é uma propriedade que detém em um determinado ponto ou pontos em um programa; Estes são frequentemente vistos em declarações, documentação e especificações formais. Os invariantes podem ser úteis no entendimento do programa e uma série de outras aplicações. Exemplos incluem ".field> ABS (Y)"; "Y = 2 * x + 3"; "Array A é classificado"; "Para todos os objetos de lista, lst.next.prev = lst"; "Para todos os Objetos de Trenede N, N.Left.Value

DAIKON. Software Relacionado