基于搜索的扩展有限状态机(EFSM)测试自动生成方法

2009 Testing: Academic and Industrial Conference - Practice and Research Techniques Pub Date : 2009-09-04 DOI:10.1109/TAICPART.2009.19

A. Kalaji, R. Hierons, S. Swift

{"title":"基于搜索的扩展有限状态机(EFSM)测试自动生成方法","authors":"A. Kalaji, R. Hierons, S. Swift","doi":"10.1109/TAICPART.2009.19","DOIUrl":null,"url":null,"abstract":"The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from an EFSM is yet a challenging task due to two main problems: path feasibility and path test data generation. Although optimization algorithms are efficient, their applications to EFSM testing have received very little attention. The aim of this paper is to develop a novel approach that utilizes optimization algorithms to test from EFSM models.","PeriodicalId":339626,"journal":{"name":"2009 Testing: Academic and Industrial Conference - Practice and Research Techniques","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"30","resultStr":"{\"title\":\"A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)\",\"authors\":\"A. Kalaji, R. Hierons, S. Swift\",\"doi\":\"10.1109/TAICPART.2009.19\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from an EFSM is yet a challenging task due to two main problems: path feasibility and path test data generation. Although optimization algorithms are efficient, their applications to EFSM testing have received very little attention. The aim of this paper is to develop a novel approach that utilizes optimization algorithms to test from EFSM models.\",\"PeriodicalId\":339626,\"journal\":{\"name\":\"2009 Testing: Academic and Industrial Conference - Practice and Research Techniques\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-09-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"30\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 Testing: Academic and Industrial Conference - Practice and Research Techniques\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAICPART.2009.19\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Testing: Academic and Industrial Conference - Practice and Research Techniques","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAICPART.2009.19","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 30

摘要

扩展有限状态机是一个功能强大的模型，可以捕获系统的几乎所有方面。然而，由于路径可行性和路径测试数据生成两个主要问题，从EFSM进行测试仍然是一项具有挑战性的任务。虽然优化算法是有效的，但它们在EFSM测试中的应用却很少受到关注。本文的目的是开发一种利用优化算法对EFSM模型进行测试的新方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)

The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from an EFSM is yet a challenging task due to two main problems: path feasibility and path test data generation. Although optimization algorithms are efficient, their applications to EFSM testing have received very little attention. The aim of this paper is to develop a novel approach that utilizes optimization algorithms to test from EFSM models.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2009 Testing: Academic and Industrial Conference - Practice and Research Techniques

自引率

0.00%

发文量