为工业Erlang应用程序自动生成测试

Erlang Workshop Pub Date : 2003-08-29 DOI:10.1145/940880.940882

J. Blom, B. Jonsson

{"title":"为工业Erlang应用程序自动生成测试","authors":"J. Blom, B. Jonsson","doi":"10.1145/940880.940882","DOIUrl":null,"url":null,"abstract":"We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed by the company Mobile Arts. We have developed a syntax for description of state machines extended with data variables. From such state machines, test cases are generated by symbolic execution. The test cases are symbolically represented; concrete test cases are generated by instantiation of data parameters.","PeriodicalId":140676,"journal":{"name":"Erlang Workshop","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":"{\"title\":\"Automated test generation for industrial Erlang applications\",\"authors\":\"J. Blom, B. Jonsson\",\"doi\":\"10.1145/940880.940882\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed by the company Mobile Arts. We have developed a syntax for description of state machines extended with data variables. From such state machines, test cases are generated by symbolic execution. The test cases are symbolically represented; concrete test cases are generated by instantiation of data parameters.\",\"PeriodicalId\":140676,\"journal\":{\"name\":\"Erlang Workshop\",\"volume\":\"9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-08-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"22\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Erlang Workshop\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/940880.940882\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Erlang Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/940880.940882","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 22

摘要

我们提出了一种从状态机规范生成测试用例的实现技术。这项工作的动机是需要测试由Mobile Arts公司开发的协议和服务。我们已经开发了一种语法，用于描述使用数据变量扩展的状态机。从这样的状态机中，通过符号执行生成测试用例。测试用例被象征性地表示;具体的测试用例是通过数据参数的实例化生成的。

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

查看原文本刊更多论文

Automated test generation for industrial Erlang applications

We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed by the company Mobile Arts. We have developed a syntax for description of state machines extended with data variables. From such state machines, test cases are generated by symbolic execution. The test cases are symbolically represented; concrete test cases are generated by instantiation of data parameters.

求助全文

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

来源期刊

Erlang Workshop

自引率

0.00%

发文量