Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Permanent URI for this collectionhttps://hdl.handle.net/11147/7148

Browse

Filters

20153

Settings

Language: search.filters.language.trPublisher: search.filters.publisher.CEUR-WS

Search Results

Now showing 1 - 3 of 3
  • Conference Object
    Yazilim Yapisal Kapsama Analizinde Testlerin Önceliklendirilmesi
    (CEUR-WS, 2015) Ayav,T.
    [No abstract available]
  • Conference Object
    Sayisal Devrelerin Model Kontrol Tabanli Testi
    (CEUR-WS, 2015) Takan,S.
    [No abstract available]
  • Conference Object
    Sayısal Devrelerin Model Kontrol Tabanlı Testi
    (CEUR-WS, 2015) Takan, Savaş
    Bu tezin amacı yazılım mühendisliği alanında yaygınca kullanılan bir test yöntemi olan model doğrulama tabanlı test yönteminin, devrelerin gecikme hata testinin denetlenmesi işlemine uygulamaktır. Devre gecikme hatası devrelerin istenilen zamanda istenilen işlevin yerine getirilmemesinden kaynaklanmaktadır. Bu metodolojide, öncelikle devre bir zamanlı otomata olarak modellenir ve böylece devrenin zamansal karakteristikleri ortaya çıkarılır. Ardından model sürekli olarak belirli varsayımlar çerçevesinde gecikme hataları oluşması için mutasyona uğratılır ve tüm mutant modeller verilen niteliklere göre model doğrulayıcı tarafından kontrol edilir. Test giriş dizisi, model doğrulayıcı tarafından geri döndürülen karşıt örneklerden oluşur. Aşağıda metodolojinin kısa özeti verilmiştir.