I understand from this other question that prior to implementing a fixed point IIR filter on a particular microcontroller target it's best to create a model using a DSP tool and compare the output to an "ideal" double-precision floating point version. I see there are tools such as Fixed-Point Designer for MATLAB and Simulink which can produce bit-accurate simulations of fixed-point implementations
I'm looking to do this but am limited to freeware tools, whereas most search results around fixed point modelling seem to reference Matlab (example) or other expensive software. A search for how to use Scilab or Python to do this has not suggested it's possible (at least not easily, for a beginner). Are there popular freeware tools available that can do this, with a good level of documentation, tutorials/examples, etc?
Once a filter design candidate is in hand, what suite of tests are recommended to ensure things like quantization error and overflow are not an issue for the intended application? What sorts of test signals should be passed through the candidate filter in order to maximize chances of exposing various possible issues, and what specific aspects of the output should be scrutinized?