摘要:问题陈述和假设解决方案

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI:10.1109/TAIC-PART.2006.4

Shaukat Ali

{"title":"摘要:问题陈述和假设解决方案","authors":"Shaukat Ali","doi":"10.1109/TAIC-PART.2006.4","DOIUrl":null,"url":null,"abstract":"Automated abstraction of code into state-based specification and test generation (AutoAbstract) is a project funded by EPSRC. The aim of the project is to devise methods and a tool to abstract out specifications from the code using some hints from the developer. These specifications will be in the form of X-machines. It is assumed that these hints are available in the form of incomplete specifications and are refined using reverse-engineered X-machines. Finally, a method will be developed to generate concrete test cases from the refined X-machines and the tool will be updated accordingly. The main theme of my PhD lies within the AutoAbstract project. This PhD extended abstract will contain the technical challenges involved in the project followed by the parts of the work involved in the project that are linked to my interests. The proposed solutions to these parts will also be discussed","PeriodicalId":441264,"journal":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","volume":"os-35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"AutoAbstract: Problem Statement and Hypothetical Solutions\",\"authors\":\"Shaukat Ali\",\"doi\":\"10.1109/TAIC-PART.2006.4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Automated abstraction of code into state-based specification and test generation (AutoAbstract) is a project funded by EPSRC. The aim of the project is to devise methods and a tool to abstract out specifications from the code using some hints from the developer. These specifications will be in the form of X-machines. It is assumed that these hints are available in the form of incomplete specifications and are refined using reverse-engineered X-machines. Finally, a method will be developed to generate concrete test cases from the refined X-machines and the tool will be updated accordingly. The main theme of my PhD lies within the AutoAbstract project. This PhD extended abstract will contain the technical challenges involved in the project followed by the parts of the work involved in the project that are linked to my interests. The proposed solutions to these parts will also be discussed\",\"PeriodicalId\":441264,\"journal\":{\"name\":\"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)\",\"volume\":\"os-35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-08-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAIC-PART.2006.4\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAIC-PART.2006.4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

将代码自动抽象为基于状态的规范和测试生成(AutoAbstract)是由EPSRC资助的一个项目。该项目的目的是设计方法和工具，使用开发人员提供的一些提示从代码中抽象出规范。这些规格将以x -machine的形式出现。假设这些提示以不完整规范的形式提供，并使用逆向工程的x -machine进行细化。最后，将开发一种方法，从改进的x机器中生成具体的测试用例，并相应地更新工具。我博士的主题是AutoAbstract项目。这份博士扩展摘要将包含项目中涉及的技术挑战，然后是与我的兴趣相关的项目中涉及的部分工作。对这些部分提出的解决方案也将进行讨论

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

查看原文本刊更多论文

AutoAbstract: Problem Statement and Hypothetical Solutions

Automated abstraction of code into state-based specification and test generation (AutoAbstract) is a project funded by EPSRC. The aim of the project is to devise methods and a tool to abstract out specifications from the code using some hints from the developer. These specifications will be in the form of X-machines. It is assumed that these hints are available in the form of incomplete specifications and are refined using reverse-engineered X-machines. Finally, a method will be developed to generate concrete test cases from the refined X-machines and the tool will be updated accordingly. The main theme of my PhD lies within the AutoAbstract project. This PhD extended abstract will contain the technical challenges involved in the project followed by the parts of the work involved in the project that are linked to my interests. The proposed solutions to these parts will also be discussed

求助全文

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

来源期刊

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)

自引率

0.00%

发文量