根据不同的覆盖标准从定时规格中推导测试

Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI:10.1109/ICONS.2008.33

Mercedes G. Merayo, M. Núñez

{"title":"根据不同的覆盖标准从定时规格中推导测试","authors":"Mercedes G. Merayo, M. Núñez","doi":"10.1109/ICONS.2008.33","DOIUrl":null,"url":null,"abstract":"The main goal of this paper is to provide an algorithm to derive finite test suites, from timed specifications, according to a given coverage criterium. First, we introduce a timed extension of the finite state machines model. We consider that (output) actions take time to be performed. In addition to present our formalism, we develop a testing theory. Thus, we introduce a notion of timed test and define how to apply tests to implementations under test.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"121 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Derivation of Tests from Timed Specifications According to Different Coverage Criteria\",\"authors\":\"Mercedes G. Merayo, M. Núñez\",\"doi\":\"10.1109/ICONS.2008.33\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The main goal of this paper is to provide an algorithm to derive finite test suites, from timed specifications, according to a given coverage criterium. First, we introduce a timed extension of the finite state machines model. We consider that (output) actions take time to be performed. In addition to present our formalism, we develop a testing theory. Thus, we introduce a notion of timed test and define how to apply tests to implementations under test.\",\"PeriodicalId\":127732,\"journal\":{\"name\":\"Third International Conference on Systems (icons 2008)\",\"volume\":\"121 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-04-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Third International Conference on Systems (icons 2008)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICONS.2008.33\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third International Conference on Systems (icons 2008)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICONS.2008.33","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文的主要目标是提供一种算法，根据给定的覆盖标准，从定时规范中导出有限的测试套件。首先，我们引入有限状态机模型的时间扩展。我们认为(输出)操作需要时间来执行。除了提出我们的形式主义外，我们还发展了一个检验理论。因此，我们引入了定时测试的概念，并定义了如何将测试应用于被测试的实现。

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

查看原文本刊更多论文

Derivation of Tests from Timed Specifications According to Different Coverage Criteria

The main goal of this paper is to provide an algorithm to derive finite test suites, from timed specifications, according to a given coverage criterium. First, we introduce a timed extension of the finite state machines model. We consider that (output) actions take time to be performed. In addition to present our formalism, we develop a testing theory. Thus, we introduce a notion of timed test and define how to apply tests to implementations under test.

求助全文

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

来源期刊

Third International Conference on Systems (icons 2008)

自引率

0.00%

发文量