Software Agitation of a Dynamically Typed Language
PúblicoContenido Descargable
open in viewerMuch 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.
- This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.
- Creator
- Publisher
- Identifier
- E-project-042512-235010
- Advisor
- Year
- 2012
- Sponsor
- Date created
- 2012-04-25
- Resource type
- Major
- Rights statement
Las relaciones
- En Collection:
Elementos
Elementos
Miniatura | Título | Visibilidad | Embargo Release Date | Acciones |
---|---|---|---|---|
Software_Agitation_of_a_Dynamically_Typed_Language.pdf | Público | Descargar | ||
pystick.zip | Público | Descargar |
Permanent link to this page: https://digital.wpi.edu/show/tt44pp20h