White-box testing of behavioral web service contracts with Pex

TAV-WEB '08 Pub Date : 2008-07-21 DOI:10.1145/1390832.1390840

N. Tillmann, J. D. Halleux

引用次数: 7

Abstract

A web service exposes a public API that can be accessed by potentially hostile clients over the internet. Pex, a white-box test generation tool for .NET, can automatically create test inputs that cover comer cases of a web service implemented in .NET, simulating a malicous attacker.

查看原文本刊更多论文

使用Pex对行为web服务契约进行白盒测试

web服务公开了一个公共API，可以被潜在的恶意客户端通过internet访问。Pex是。net的一个白盒测试生成工具，它可以自动创建测试输入，覆盖在。net中实现的web服务的各个角落，模拟恶意攻击者。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

TAV-WEB '08

自引率

0.00%

发文量