Çevik Yazılım Ürün Hatları Için Olay Sıra Çizge Tabanlı Test Üretim Yöntemi Geliştirilmesi
| dc.contributor.author | Tugkan Tuglular | |
| dc.contributor.author | MUTLU BEYAZIT | |
| dc.contributor.author | AHMET ŞEMSETTİN ÖZDEMİRDEN | |
| dc.contributor.author | DİLEK ÖZTÜRK KAYA | |
| dc.contributor.author | DENİZ EGEMEN COŞKUN | |
| dc.date.accessioned | 2025-10-22T16:05:46Z | |
| dc.date.issued | 2020 | |
| dc.description.abstract | Bu projede çevik yazılım ürün hatları için olay sıra çizgeleri tabanlı test üretimi yöntemi geliştirilmiştir. Etkileşimli ve reaktif sistemlerin modellenmesi için uygun olan olay sıra çizgeleri formel bir modelleme yaklaşımı olup 2001 yılından bu yana model temelli testlerin otomatik üretilmesi için kullanılmaktadır. Bu projede olay sıra çizgeleri çevik yazılım ürün hatları için özelleştirilip genişletilmiş ve özellikli olay sıra çizgeleri modelleme yaklaşımı olarak ortaya konmuştur. Ayrıca özellikli olay sıra çizgeleri ile otomatik test üretme yöntemi geliştirilmiştir. Yazılım hattında ürünler varlık bileşenlerinin tekrar kullanımı ile oluşturulmaktadır. Benzer şekilde bu proje ile ürün testlerinin de var olan testlerinin tekrar kullanımı ile oluşturulması mümkün kılınmıştır. Proje kapsamında çevik yazılım ürün hatları test süreçleri başarısının artırılması ve maliyetlerinin düşürülmesi için, otomatik üretilebilir tekrar kullanılabilir yapılandırılabilir kapsamı ölçülebilir birleştirilebilir fonksiyonel test üretim yöntemi geliştirilmesi başarılmıştır. Çevik yazılım ürün hatlarını modelleme için kullanılacak modelleme yazılımı ile bu modellerden otomatik test üretimini gerçekleştirecek test üretim yazılımı kodlanmış ve bir web uygulaması olarak kullanıma sunulmuştur. Ayrıca proje kapsamında geliştirilen modelleme yöntemi kullanılarak bir çevik yazılım ürün hattı geliştirilmiş ve bu çevik yazılım ürün hattı ürünleri yine projede geliştirilen yöntem ve araç kullanılarak otomatik olarak test edilmiştir. | |
| dc.description.sponsorship | EEEAG | |
| dc.identifier.citation | Belli F. 2001. \"Finite state testing and analysis of graphical user interfaces\". Içinde Proceedings 12th International Symposium on Software Reliability Engineering (ss. 34-43). Washington DC: IEEE Comput. Soc.Belli F. Beyazıt M. 2015. \"Exploiting Model Morphology for Event-Based Testing\". IEEE Transactions on Software Engineering 41(2) 113-134.Belli F. Budnik C. J. 2005. \"Test Cost Reduction for Interactive Systems\". Içinde Sicherheit 2005 (s. 12). Regensburg Germany.Belli F. Budnik C. J. 2007. \"Test minimization for human-computer interaction\". Applied Intelligence 26(2) 161-174.Belli F. Budnik C. J. White L. 2006. \"Event-based modelling analysis and testing of user interactions: approach and case study\". Software Testing Verification and Reliability 16(1) 3-32.Belli F. Guler N. Linschulte M. 2011. \"Does “Depth” Really Matter? On the Role of Model Refinement for Testing and Reliability\". İçinde 2011 IEEE 35th Annual Computer Software and Applications Conference (ss. 630-639).Chow T. S. 1978. \"Testing Software Design Modeled by Finite-State Machines\". IEEE Transactions on Software Engineering SE-4(3) 178-187.Cichos H. Oster S. Lochau M. Schürr A. 2011. \"Model-Based Coverage-Driven Test Suite Generation for Software Product Lines\". Içinde J. Whittle T. Clark & T. Kühne (Ed.) Model Driven Engineering Languages and Systems (ss. 425-439). Berlin Heidelberg: Springer.Classen A. 2011. \"Modelling and Model Checking Variability-Intensive Systems\" (Ph.D. Dissertation).Classen A. Heymans P. Schobbens P.-Y. Legay A. 2011. \"Symbolic model checking of software product lines\". İçinde Proceedings of the 33rd International Conference on Software Engineering (ss. 321–330). Waikiki Honolulu HI USA: Association for Computing Machinery.Download TestSuiteDesigner. t.y. Geliş tarihi gönderen http://download.ivknet.de/ El-Far I. K. Whittaker J. A. 2002. \"Model-Based Software Testing\". Içinde J. J. Marciniak (Ed.) Encyclopedia of Software Engineering (s. sof207). Hoboken NJ USA: John Wiley & Sons Inc.Fujiwara S. v. Bochmann G. Khendek F. Amalou M. Ghedamsi A. 1991. \"Test selection based on finite state models\". IEEE Transactions on Software Engineering 17(6) 591- 603.Gruler A. Leucker M. Scheidemann K. 2008. \"Modeling and Model Checking Software Product Lines\". Içinde G. Barthe & F. S. de Boer (Ed.) Formal Methods for Open Object- Based Distributed Systems (ss. 113-131). Berlin Heidelberg: Springer.Kishi T. Noda N. 2006. \"Formal verification and software product lines\". Communications of the ACM 49(12) 73–77.Lochau M. Mennicke S. Baller H. Ribbeck L. 2016. \"Incremental model checking of delta- oriented software product lines\". Journal of Logical and Algebraic Methods in Programming 85(1 Part 2) 245-267.Lochau M. Schaefer I. Kamischke J. Lity S. 2012. \"Incremental Model-Based Testing of Delta-Oriented Software Product Lines\". Içinde A. D. Brucker & J. Julliand (Ed.) 13th International Conference TAP 2019 (C. 7305 ss. 67-82). Porto Portugal: Lecture Notes in Computer Science Springer Berlin Heidelberg.Neto P. A. da M. S. Machado I. do C. Cavalcanti Y. C. Almeida E. S. de Garcia V. C. Meira S. R. de L. 2010. \"A Regression Testing Approach for Software Product Lines Architectures\". İçinde 2010 Fourth Brazilian Symposium on Software Components Architectures and Reuse (ss. 41-50).Olimpiew E. M. 2008. \"Model-Based Testing for Software Product Lines A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy at George Mason University | Semantic Scholar\". George Mason University.Reuys A. Kamsties E. Pohl K. Reis S. 2005. \"Model-Based System Testing of Software Product Families\". Içinde O. Pastor & J. Falcão e Cunha (Ed.) Advanced Information Systems Engineering (ss. 519-534). Berlin Heidelberg: Springer.SPL2go. t.y.-a. Geliş tarihi 29 Temmuz 2020 gönderen http://spl2go.cs.ovgu.de/projects/23SPL2go. t.y.-b. Geliş tarihi 29 Temmuz 2020 gönderen http://spl2go.cs.ovgu.de/projects/17Tuglular T. Beyazıt M. Öztürk D. 2019. \"Featured Event Sequence Graphs for Model-Based Incremental Testing of Software Product Lines\". İçinde 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) (C. 1 ss. 197-202).Uzuncaova E. Khurshid S. Batory D. 2010. \"Incremental Test Generation for Software Product Lines\". IEEE Transactions on Software Engineering 36(3) 309-322.Welcome to the Software Product Lines Online Tools Homepage. t.y. Geliş tarihi 29 Temmuz 2020 gönderenhttp://52.32.1.180:8080/SPLOT/SplotAnalysesServlet?action=analyses_main&userModel s=&selectedModels=model_20091109_376438407.xmlWhittaker J. A. 1997. \"Stochastic software testing\". Annals of Software Engineering 4(1) 115.Xu D. 2011. \"A Tool for Automated Test Code Generation from High-Level Petri Nets\". Içinde L. M. Kristensen & L. Petrucci (Ed.) International Conference on Application and Theory of Petri Nets and Concurrency (ss. 308-317). Berlin Heidelberg: Springer.Zhu H. Hall P. A. V. May J. H. R. 1997. \"Software unit test coverage and adequacy\". ACM Computing Surveys 29(4). | |
| dc.identifier.doi | 117E884 | |
| dc.identifier.uri | https://gcris.yasar.edu.tr/handle/123456789/10790 | |
| dc.language.iso | Türkçe | |
| dc.subject | Bilgisayar Bilimleri- Yazılım Mühendisliği-Bilgisayar Bilimleri- Teori ve Metotlar-Bilgisayar Bilimleri- Yapay Zeka | |
| dc.title | Çevik Yazılım Ürün Hatları Için Olay Sıra Çizge Tabanlı Test Üretim Yöntemi Geliştirilmesi | |
| dc.type | Project | |
| dspace.entity.type | Publication | |
| gdc.coar.type | other | |
| gdc.index.type | TR-Dizin | |
| gdc.opencitations.count | 0 | |
| oaire.citation.endPage | 70 | |
| oaire.citation.startPage | 0 | |
| relation.isOrgUnitOfPublication | ac5ddece-c76d-476d-ab30-e4d3029dee37 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | ac5ddece-c76d-476d-ab30-e4d3029dee37 |