Title (eng)

Towards fully automated object verification

Author

zmölnig, I. (IOhannes)

Description (eng)

While other sound synthesis systems have made the switch to 64-bit floating point values for signal processing a while ago, Pure Data (Pd) seems to be stuck with single precision numbers. An initial port to 64-bit precision has been presented in 2011, but 5 years later little progress has been made. One of the alleged showstoppers for switching to 64-bit precision is the plethora of available 3rd party externals, many of which might start malfunctioning in subtle ways. In this work we try to solve this problem by means of automatic object verification.

Object languages

English

Date

2017-01-03T12:53:59.583Z

Rights

Creative Commons License
This work is licensed under a
Attribution-ShareAlike 4.0 International License.

http://creativecommons.org/licenses/by-sa/4.0/legalcode

Classification

Basisklassifikation, Angewandte Informatik

unit tests, fuzz testing, automatic testing, double precision Pd, Pure data