CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Find More Bugs with QuickCheck!

John Hughes (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Ulf Norell (Institutionen för data- och informationsteknik, Datavetenskap, Programmeringslogik (Chalmers)) ; Nicholas Smallbone (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Thomas Arts
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016) p. 71-77. (2016)
[Konferensbidrag, refereegranskat]

Random testing is increasingly popular and successful, but tends to spend most time rediscovering the ``most probable bugs'' again and again, reducing the value of long test runs on buggy software. We present a new automated method to adapt random test case generation so that already-discovered bugs are avoided, and further test effort can be devoted to searching for new bugs instead. We evaluate our method primarily against RANDOOP-style testing, in three different settings---our method avoids rediscovering bugs more successfully than RANDOOP and in some cases finds bugs that RANDOOP did not find at all.

Nyckelord: Avoiding bugs; Bug slippage; Random testing



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2016-02-29. Senast ändrad 2016-07-06.
CPL Pubid: 232554

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)