测试序列生成的功能模型

Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications Pub Date : 1994-04-12 DOI:10.1109/PCCC.1994.504135

Liang-Seng Koh, Chang-Jia Wang, M. Liu

{"title":"测试序列生成的功能模型","authors":"Liang-Seng Koh, Chang-Jia Wang, M. Liu","doi":"10.1109/PCCC.1994.504135","DOIUrl":null,"url":null,"abstract":"In this paper, a functional model is developed to explore the various requirements of a protocol. By modeling these requirements as functions, one can introduce a notion of functional correctness to describe the conformity of an implementation to a protocol specification. A metric to measure the effectiveness of a test suite for exploiting an implementation is also proposed. Based on this model, an algorithm is developed to generate test suites. The basic technique of the algorithm is axiomatic.","PeriodicalId":203232,"journal":{"name":"Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications","volume":"129 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A functional model for test sequence generation\",\"authors\":\"Liang-Seng Koh, Chang-Jia Wang, M. Liu\",\"doi\":\"10.1109/PCCC.1994.504135\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, a functional model is developed to explore the various requirements of a protocol. By modeling these requirements as functions, one can introduce a notion of functional correctness to describe the conformity of an implementation to a protocol specification. A metric to measure the effectiveness of a test suite for exploiting an implementation is also proposed. Based on this model, an algorithm is developed to generate test suites. The basic technique of the algorithm is axiomatic.\",\"PeriodicalId\":203232,\"journal\":{\"name\":\"Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications\",\"volume\":\"129 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-04-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PCCC.1994.504135\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PCCC.1994.504135","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在本文中，开发了一个功能模型来探索协议的各种需求。通过将这些需求建模为功能，可以引入功能正确性的概念来描述实现与协议规范的一致性。还提出了一个度量用于开发实现的测试套件的有效性的度量。在此模型的基础上，提出了一种生成测试套件的算法。该算法的基本技术是公理化的。

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

查看原文本刊更多论文

A functional model for test sequence generation

In this paper, a functional model is developed to explore the various requirements of a protocol. By modeling these requirements as functions, one can introduce a notion of functional correctness to describe the conformity of an implementation to a protocol specification. A metric to measure the effectiveness of a test suite for exploiting an implementation is also proposed. Based on this model, an algorithm is developed to generate test suites. The basic technique of the algorithm is axiomatic.

求助全文

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

来源期刊

Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications

自引率

0.00%

发文量