软件测试技术中侧重规约和程序相结合的测试是（）。