Daikon

Değişmeyen Dedektör
Şimdi İndirin

Daikon Sıralama ve Özet

Reklamcılık

  • Rating:
  • Yayıncı adı:
  • Program Analysis Group
  • İşletim sistemleri:
  • Windows All
  • Dosya boyutu:
  • 90.2 MB

Daikon Etiketler


Daikon Açıklama

Daikon, muhtemel değişmeyenlerin dinamik tespitinin bir uygulamasıdır; Yani, Daikon Değişmeyen Dedektörü, muhtemel program değişmezlerini rapor ediyor. Bir değişmez, bir programdaki belirli bir noktada veya noktaya sahip bir özelliktir; Bunlar genellikle iddia ifadeleri, belgeler ve resmi şartnamelerde görülür. Değillemeler, program anlayışında ve diğer uygulamaların bir ev sahipliğinde faydalı olabilir. Örnekler arasında ".field> abs (y)"; "Y = 2 * x + 3"; "A dizisi sıralanır"; "Tüm Listeler için LST, LST.NEXT.PREV = LST"; "Tüm Treenode nesneleri için n, n.left.value


Daikon İlgili Yazılım

Hakkımızda