{"title":"基于扩展有限状态机的软件抽象行为测试优先","authors":"Tomohiko Takagi, Koichiro Sakata","doi":"10.1109/issrew51248.2020.00061","DOIUrl":null,"url":null,"abstract":"This paper shows test-first using EFSM (Extended Finite State Machine). Each state transition in an EFSM model is constructed based on various unit test cases, and goes through red, green, and refactoring phases. Unit test cases are automatically and repeatedly applied to the EFSM model in accordance with our execution process.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Test-First for Abstracted Behavior of Software Using Extended Finite State Machine\",\"authors\":\"Tomohiko Takagi, Koichiro Sakata\",\"doi\":\"10.1109/issrew51248.2020.00061\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper shows test-first using EFSM (Extended Finite State Machine). Each state transition in an EFSM model is constructed based on various unit test cases, and goes through red, green, and refactoring phases. Unit test cases are automatically and repeatedly applied to the EFSM model in accordance with our execution process.\",\"PeriodicalId\":202247,\"journal\":{\"name\":\"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/issrew51248.2020.00061\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/issrew51248.2020.00061","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Test-First for Abstracted Behavior of Software Using Extended Finite State Machine
This paper shows test-first using EFSM (Extended Finite State Machine). Each state transition in an EFSM model is constructed based on various unit test cases, and goes through red, green, and refactoring phases. Unit test cases are automatically and repeatedly applied to the EFSM model in accordance with our execution process.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
