Daikon

le détecteur invariant
Télécharger maintenant

Daikon Classement & Résumé

Publicité

  • Rating:
  • Nom de l'éditeur:
  • Program Analysis Group
  • Systèmes d'exploitation:
  • Windows All
  • Taille du fichier:
  • 90.2 MB

Daikon Mots clés


Daikon La description

Daikon est une mise en uvre de la détection dynamique des invariants probables; C'est-à-dire que le détecteur d'invariant Daikon rapporte probablement les invariants de programmes. Un invariant est une propriété qui détient à certains points ou à un certain point dans un programme; Celles-ci sont souvent observées dans les déclarations, la documentation et les spécifications formelles. Les invariants peuvent être utiles dans la compréhension du programme et une foule d'autres applications. Les exemples incluent ".field> ABS (Y)"; "Y = 2 * x + 3"; "Array A est trié"; "Pour tous les objets de liste lst, lst.next.prev = lst"; "Pour tous les objets Treenode n, n.left.value


Daikon Logiciels associés

Test continu

Fournit des commentaires rapides aux développeurs sur les défaillances dans leur suite de tests car le code source est édité ...

254 3.8 MB

Télécharger

SilverMotion

Un contrôle du système graphique Avantgarde qui fournit de véritables graphiques 3D en temps réel sur le Web. Son moteur de rendu unique, sa structure d'entité, son système d'ombrage et d'autres propriétés produisent un complète et REMA ...

223 2 MB

Télécharger

À propos de nous