Simulation: Self Checking TestBench

You want to use Modelsim, and you can use megafunctions for this. The Verification part of the Quartus II handbook should discuss this:

http://www.altera.com/literature/hb/qts/qts_qii53001.pdf

It's probably the altera_mf.v/hd libraries you want, and is discussed in the Functional RTL Simulation section.

There are also scripts that can be used for loading libraries. (They can be a little overkill, in that they can load more than your design needs, but to cover everyone they need to do this.)

http://www.altera.com/support/examples/tcl/tcl-modelsim.html