使用可执行的正式规范进行自动化测试

Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI:10.1109/SEEP.1996.533997

N. Sanders

{"title":"使用可执行的正式规范进行自动化测试","authors":"N. Sanders","doi":"10.1109/SEEP.1996.533997","DOIUrl":null,"url":null,"abstract":"A new method is presented for the automated random generation of valid content-sensitive test data and corresponding oracle information. The process takes as input a specification of the program under test, expressed as a functional program, and produces as output test cases consisting of test data and oracle information. The test data is guaranteed to be an element of the valid input space defined by the specification. Examples of the process are presented.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"87 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Automated testing using executable formal specifications\",\"authors\":\"N. Sanders\",\"doi\":\"10.1109/SEEP.1996.533997\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A new method is presented for the automated random generation of valid content-sensitive test data and corresponding oracle information. The process takes as input a specification of the program under test, expressed as a functional program, and produces as output test cases consisting of test data and oracle information. The test data is guaranteed to be an element of the valid input space defined by the specification. Examples of the process are presented.\",\"PeriodicalId\":416862,\"journal\":{\"name\":\"Proceedings 1996 International Conference Software Engineering: Education and Practice\",\"volume\":\"87 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1996 International Conference Software Engineering: Education and Practice\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEEP.1996.533997\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1996 International Conference Software Engineering: Education and Practice","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEEP.1996.533997","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

提出了一种自动随机生成有效的内容敏感测试数据和相应oracle信息的新方法。该过程将被测程序的说明作为输入，表示为功能程序，并产生由测试数据和oracle信息组成的测试用例作为输出。测试数据保证是规范定义的有效输入空间的一个元素。给出了该过程的实例。

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

查看原文本刊更多论文

Automated testing using executable formal specifications

A new method is presented for the automated random generation of valid content-sensitive test data and corresponding oracle information. The process takes as input a specification of the program under test, expressed as a functional program, and produces as output test cases consisting of test data and oracle information. The test data is guaranteed to be an element of the valid input space defined by the specification. Examples of the process are presented.

求助全文

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

来源期刊

Proceedings 1996 International Conference Software Engineering: Education and Practice

自引率

0.00%

发文量