A semantic approach for automated test oracle generation
详细信息 查看全文
- 作者：Hai-Feng Guo haifengguo@unomaha.edu" class="auth_mail" title="E-mail the corresponding author
- 关键词：Software testing ; Test case generation ; Test oracle ; Denotational semantics
- 刊名：Computer Languages, Systems & Structures
- 出版年：2016
- 出版时间：April 2016
- 年：2016
- 卷：45
- 期：Complete
- 页码：204-219
- 全文大小：1299 K
文摘
- •
TAO provides a declarative framework for automated test and oracle generation.
- •
TAO integrates test and oracle generation as a whole to promote better automated software testing.
- •
TAO is the first attempt to apply the methodology of denotational semantics in test and oracle generation.
© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号 地址：北京市海淀区学院路29号 邮编：100083 电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700 |