Engineering Commons^™

Semi-Automated Test Generation With Spest, Adam Mozek

Computer Science and Software Engineering

Automated black box test generation is a useful tool for developers that allows them to

quickly generate a large number of tests with a wide range of values tested. The current most

popular tool for black box test generation in Java, JML, is lacking in a number of features.

SPEST aims to improve upon existing tools, and provide a black box test generation tool that

can create human readable tests from simple pre and post conditions added as comments to

the Java source code.

Tesseract, Edgar Uribe, Vanessa Faune

Mechanical Engineering

PolySat is a student-run, Cal Poly research program in which students develop small satellites, known as CubeSats, to be sent into space. Since the start of the program in 2000, PolySat has developed eight 10cm x 10cm x10cm CubeSats. Recently, the team has developed two satellites of double, and triple, that size for NASA-KSC & AI-Solutions and the National Science Foundation. The recent volumetric expansion has been driven by high demand for further satellite functionality, which necessitates large power generation capabilities. To remain competitive in the growing CubeSat industry, PolySat must develop a platform that can provide enough power to …

Fluid Midi Ribbon Guitar, Noah Baker

Electrical Engineering

This project was developed to create a new electronic instrument based off of a guitar. The design will give the user more chord combinations than are available on a typical guitar, the ability to retune each “string”, and customizable MIDI controller outputs, while trying to retain a similar playing style. The initial design for this project included implementing an onboard synthesizer (analog or digital). This idea was scrapped for time and cost considerations and replaced with MIDI output which will yield user customizable sound through virtual instruments, such as Massive.