Show simple item record

dc.contributor.authorBelli, Fevzi
dc.contributor.authorBeyazıt, Mutlu
dc.contributor.authorEndo, Andre Takeshi
dc.contributor.authorMathur, Aditya
dc.contributor.authorSimao, Adenilso
dc.date.accessioned2017-07-06T07:42:39Z
dc.date.available2017-07-06T07:42:39Z
dc.date.issued2015-09
dc.identifier.citationBelli, F., Beyazıt, M., Endo, A.T., Mathur, A., and Simao, A. (2015). Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Software Quality Journal, 23(3), 423-452. doi:10.1007/s11219-014-9242-6en_US
dc.identifier.issn0963-9314
dc.identifier.urihttps://doi.org/10.1007/s11219-014-9242-6
dc.identifier.urihttp://hdl.handle.net/11147/5867
dc.description.abstractModel-based testing (MBT) involves creating an abstraction, called a model, to represent the system and automatically deriving test cases from this model. MBT can be performed using various approaches that generally employ certain assumptions or requirements affecting the test performance in practice. Here, we consider the harmonized state identifiers (HSI) method, which is based on finite state machine (FSM) models and generates test sets that cover all faults in a given domain under certain conditions. We are interested in the application of the HSI method in practical scenarios where some conditions do not hold or are not straightforward to satisfy. Thus, we propose a heuristic extension to the HSI method, called heuristic HSI (HHSI), to consider imperfect situations as they often occur in practice. To analyze the characteristics of HHSI, we empirically compare it to random testing and coverage-based testing using non-trivial case studies. The experiments include model-based mutation analyses over several FSM models.en_US
dc.language.isoengen_US
dc.publisherSpringeren_US
dc.relation.isversionof10.1007/s11219-014-9242-6en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectHSI methoden_US
dc.subjectHeuristic methodsen_US
dc.subjectImperfect situationen_US
dc.subjectFault domainsen_US
dc.subjectFinite state machinesen_US
dc.subjectSoftware testingen_US
dc.titleFault domain-based testing in imperfect situations: a heuristic approach and case studiesen_US
dc.typearticleen_US
dc.contributor.iztechauthorBelli, Fevzi
dc.relation.journalSoftware Quality Journalen_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümüen_US
dc.identifier.volume23en_US
dc.identifier.issue3en_US
dc.identifier.startpage423en_US
dc.identifier.endpage452en_US
dc.identifier.wosWOS:000353572800003
dc.identifier.scopusSCOPUS:2-s2.0-84928707476
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record