Automated test oracle generation via denotational semantics | |
Guo, Hai-Feng ; Cao, Liang ; Song, Yushu ; Qiu, Zongyan | |
2014 | |
英文摘要 | This paper presents a formal approach to specifying test oracles in denotational semantics, and bridges the automation between test case generation and software testing. We extended our grammar-based test generation tool, Gena, with an interface for users to define semantic domains, and formal semantic evaluation functions for mapping from syntax to semantics, based on the methodology of denotational semantics. We provide two practical case studies to illustrate how automated oracle generation can be effectively integrated with grammar-based test generation in different testing scenarios: generating test data for a set of java programs, and generating executable Smalltalk testing methods.; EI; CPCI-S(ISTP); 0 |
语种 | 英语 |
出处 | EI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/412629] |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Guo, Hai-Feng,Cao, Liang,Song, Yushu,et al. Automated test oracle generation via denotational semantics. 2014-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论