Sayısal Devrelerin Model Kontrol Tabanlı Testi
| dc.contributor.author | Takan, Savaş | |
| dc.date.accessioned | 2021-01-24T18:28:57Z | |
| dc.date.available | 2021-01-24T18:28:57Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | 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. | en_US |
| dc.identifier.issn | 1613-0073 | |
| dc.identifier.uri | https://hdl.handle.net/11147/9885 | |
| dc.language.iso | tr | en_US |
| dc.publisher | CEUR-WS | en_US |
| dc.relation.ispartof | CEUR Workshop Proceedings | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.title | Sayısal Devrelerin Model Kontrol Tabanlı Testi | en_US |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Takan, Savaş | |
| gdc.coar.access | open access | |
| gdc.coar.type | text::conference output | |
| gdc.description.department | İzmir Institute of Technology. Computer Engineering | en_US |
| gdc.description.endpage | 344 | en_US |
| gdc.description.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | Q4 | |
| gdc.description.startpage | 342 | en_US |
| gdc.description.volume | 1483 | en_US |
| gdc.description.wosquality | N/A | |
| gdc.index.type | Scopus | |
| relation.isAuthorOfPublication.latestForDiscovery | c21339d5-c74c-47cf-b7c5-54b978b2289d | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 9af2b05f-28ac-4014-8abe-a4dfe192da5e |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 33_GenisOzet.pdf
- Size:
- 134.67 KB
- Format:
- Adobe Portable Document Format
- Description:
- Conference Object