Исходя из того, что вы хотите это проверить, «делает правильные вещи с правильными данными», я бы сказал, что это то, что вам нужно проверить при написании процедуры ...
Ваш сохраненный процесс будет делать все, что вы скажете, он не может определить, действительно ли вы этого хотели. Если вы пытаетесь обнаружить ошибку, это другая история.
Можете ли вы описать сценарий, в котором он будет выполняться без ошибок, но при этом "неправильно поступит с неправильными данными"?