Yazılım detaylar:
Versiyon: 1.7.0
Qayıt: 20 Feb 15
Lisans: Ücretsiz
Popülerlik: 80
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.
Yorum Bulunamadı