ioco测试理论的完全组合算子

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI:10.1145/2737166.2737175

Nikola Benes, Przemyslaw Daca, T. Henzinger, Jan Křetínský, D. Ničković

{"title":"ioco测试理论的完全组合算子","authors":"Nikola Benes, Przemyslaw Daca, T. Henzinger, Jan Křetínský, D. Ničković","doi":"10.1145/2737166.2737175","DOIUrl":null,"url":null,"abstract":"We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be used to generate tests for patches of an already tested system. Both operators can combine systems with different action alphabets, which is usually the case when constructing complex systems and specifications from parts, for instance different views as well as newly defined functionality of a previous version of the system.","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":"{\"title\":\"Complete composition operators for ioco-testing theory\",\"authors\":\"Nikola Benes, Przemyslaw Daca, T. Henzinger, Jan Křetínský, D. Ničković\",\"doi\":\"10.1145/2737166.2737175\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be used to generate tests for patches of an already tested system. Both operators can combine systems with different action alphabets, which is usually the case when constructing complex systems and specifications from parts, for instance different views as well as newly defined functionality of a previous version of the system.\",\"PeriodicalId\":359460,\"journal\":{\"name\":\"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)\",\"volume\":\"103 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"15\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2737166.2737175\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2737166.2737175","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 15

摘要

将输入-输出一致性理论推广到合并算子和商算子。前者在针对多个需求或视图进行测试时非常有用。后者可用于为已经测试过的系统的补丁生成测试。两家运营商都可以用不同的操作字母组合系统，这通常是在从部分构建复杂系统和规格时出现的情况，例如不同的视图以及系统先前版本的新定义功能。

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

查看原文本刊更多论文

Complete composition operators for ioco-testing theory

We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be used to generate tests for patches of an already tested system. Both operators can combine systems with different action alphabets, which is usually the case when constructing complex systems and specifications from parts, for instance different views as well as newly defined functionality of a previous version of the system.

求助全文

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

来源期刊

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)

自引率

0.00%

发文量