HOL-TestGen

Yazılım ekran görüntüsü:
HOL-TestGen
Yazılım detaylar:
Versiyon: 1.7.0
Qayıt: 20 Feb 15
Lisans: Ücretsiz
Popülerlik: 80

Rating: 4.0/5 (Total Votes: 1)

HOL-TestGen (HOL) bir Yüksek mertebeden mantığı ile test teknik yazmanızı sağlar. Bu (yarı) otomatik olarak soyut test durumlarda sonuçlanan, giriş alanı bölümlemek ve otomatik beton test verileri seçebilirsiniz.
(SML içinde) testi koşum otomatik nesil desteklenen ve bir yabancı dil arayüzünü kullanıyor, keyfi dilleri (örneğin C) uygulamaları test edilebilir.
HOL-OCL özgür yazılımdır; dağıtabilir ve / veya GPL koşulları altında değiştirebilirsiniz. HOL-TestGen projesi Achim D. Brucker ve Burkhart Wolff tarafından geliştirilmiştir

Özellikler :. Daha-yüksek olarak

  • yazma testi özellikleri Sipariş mantıkları (HOL)
  • (yarı) otomatik olarak soyut test durumlarda sonuçlanan, giriş alanı bölümlemek
  • otomatik beton test verileri seçin
  • otomatik olarak (SML içinde) test komut dosyaları oluşturmak
  • Bir yabancı dil arayüzü kullanarak, keyfi dilleri (örneğin C) uygulamaları test edilebilir.

Yeni Bu sürümde ne:

  • Bu sürüm Isabelle / HOL 2011-1 taşıdık edildi.
  • Yeni örnekler eklenmiştir.
  • jEdit-tabanlı kullanıcı arayüzü artık varsayılan olarak kullanılır.

Benzer yazılım

nose2-cov
nose2-cov

14 Apr 15

pyzombie
pyzombie

12 May 15

PMD
PMD

9 Dec 15

multi-mechanize
multi-mechanize

15 Apr 15

Yorumlar HOL-TestGen

Yorum Bulunamadı
Yorum eklemek
Görüntülerde açın!