{"title":"支持基于模型的测试活动的工具","authors":"Gilson Doi Junior, A. Bonifácio","doi":"10.1109/SBESC.2011.12","DOIUrl":null,"url":null,"abstract":"The occurrence of fault on embedded critical systems can result in financial damage and human losses, as well. Rigorous approaches based on formalisms, specially testing routines, have been proposed to guarantee more reliable systems. Model-based testing is a rigorous approach to support testing activities, e.g. test case generation. Theoretical results have been validated in the literature, but there are few tools to support practical applications. Thus, we develop a tool to support practical experiments which allows us to make a comparison among model-based test case generation methods by pointing more suitable sceneries for each one.","PeriodicalId":147899,"journal":{"name":"2011 Brazilian Symposium on Computing System Engineering","volume":"138 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Tool to Support Model-Based Testing Activities\",\"authors\":\"Gilson Doi Junior, A. Bonifácio\",\"doi\":\"10.1109/SBESC.2011.12\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The occurrence of fault on embedded critical systems can result in financial damage and human losses, as well. Rigorous approaches based on formalisms, specially testing routines, have been proposed to guarantee more reliable systems. Model-based testing is a rigorous approach to support testing activities, e.g. test case generation. Theoretical results have been validated in the literature, but there are few tools to support practical applications. Thus, we develop a tool to support practical experiments which allows us to make a comparison among model-based test case generation methods by pointing more suitable sceneries for each one.\",\"PeriodicalId\":147899,\"journal\":{\"name\":\"2011 Brazilian Symposium on Computing System Engineering\",\"volume\":\"138 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-11-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 Brazilian Symposium on Computing System Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SBESC.2011.12\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 Brazilian Symposium on Computing System Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SBESC.2011.12","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The occurrence of fault on embedded critical systems can result in financial damage and human losses, as well. Rigorous approaches based on formalisms, specially testing routines, have been proposed to guarantee more reliable systems. Model-based testing is a rigorous approach to support testing activities, e.g. test case generation. Theoretical results have been validated in the literature, but there are few tools to support practical applications. Thus, we develop a tool to support practical experiments which allows us to make a comparison among model-based test case generation methods by pointing more suitable sceneries for each one.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
