Model-based Selective Layer-centric Testing

• Item type: Journal(1)
• 公開日: 2018-09-15
• タイトル: Model-based Selective Layer-centric Testing
• タイトル / 言語: en
• タイトル: Model-based Selective Layer-centric Testing
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：“Applications and the Internet” in Conjunction with Main Topics of COMPSAC 2017（招待論文）] model-based testing, model refinement, event sequence graphs, software reliability, assignment problem, Chinese postman problem
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: University of Paderborn
• 著者所属: University of Muğla Sıtkı Koçman
• 著者所属: Andagon GmbH
• 著者所属: Izmir Institute of Technology
• 著者所属(英): en
• 著者所属(英): University of Paderborn
• 著者所属(英): en
• 著者所属(英): University of Muğla Sıtkı Koçman
• 著者所属(英): en
• 著者所属(英): Andagon GmbH
• 著者所属(英): en
• 著者所属(英): Izmir Institute of Technology
• 著者名: Fevzi, Belli; Nevin, Güler Dincer; Michael, Linschulte; Tugkan, Tuglular
• 著者名(英): Fevzi, Belli; Nevin, Güler Dincer; Michael, Linschulte; Tugkan, Tuglular
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Model-based testing of large systems usually requires decomposition of the model into hierarchical submodels for generating test sequences, which fulfills the goals of module testing, but not those of system testing. System testing requires test sequences be generated from a fully resolved model, which necessitates refining the top-level model, that is, by replacing its elements with submodels they represent. If the depth of model hierarchy is high, the number of test sequences along with their length increases resulting in high test costs. For solving this conflict, a novel approach is introduced that generates test sequences based on the top-level model and replaces elements of these sequences by corresponding, optimized test sequences generated by the submodels. To compensate the shortcoming at test accuracy, the present approach selects components that have lowering impact on the overall system reliability. The objective is to increase the reliabilities of these critical components by intensive testing and appropriate correction which, as a consequence, also increases the overall reliability at less test effort without losing accuracy. An empirical study based on a large web-based commercial system is performed to validate the approach and analyze its characteristics, and to discuss its strengths and weaknesses.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.26(2018) (online); DOI http://dx.doi.org/10.2197/ipsjjip.26.572; ------------------------------
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Model-based testing of large systems usually requires decomposition of the model into hierarchical submodels for generating test sequences, which fulfills the goals of module testing, but not those of system testing. System testing requires test sequences be generated from a fully resolved model, which necessitates refining the top-level model, that is, by replacing its elements with submodels they represent. If the depth of model hierarchy is high, the number of test sequences along with their length increases resulting in high test costs. For solving this conflict, a novel approach is introduced that generates test sequences based on the top-level model and replaces elements of these sequences by corresponding, optimized test sequences generated by the submodels. To compensate the shortcoming at test accuracy, the present approach selects components that have lowering impact on the overall system reliability. The objective is to increase the reliabilities of these critical components by intensive testing and appropriate correction which, as a consequence, also increases the overall reliability at less test effort without losing accuracy. An empirical study based on a large web-based commercial system is performed to validate the approach and analyze its characteristics, and to discuss its strengths and weaknesses.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.26(2018) (online); DOI http://dx.doi.org/10.2197/ipsjjip.26.572; ------------------------------
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 59, 号 9, 発行日 2018-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764