Pollice, Gary F.
Much research has been conducted on automated testing tools. Recently, Agitar Technologies developed AgitatorÂ™, which combines input generation and invariant detection into 'software agitation'. Agitator analyzes code to automatically detect and report likely program invariants. However, Agitator only operates on Java, a statically typed language. I apply Agitator's techniques to Python, a dynamically typed language, in a tool called PyStick. PyStick implements some alternative techniques to Agitator due to the differences between Java and Python. Since PyStick is a proof of concept, it does not cover the entirety of Python. It has nonetheless generated very promising results, and demonstrates the power and viability of software agitation on a dynamically typed language.
Worcester Polytechnic Institute
Major Qualifying Project
All authors have granted to WPI a nonexclusive royalty-free license to distribute copies of the work, subject to other agreements. Copyright is held by the author or authors, with all rights reserved, unless otherwise noted.