下列软件测试技术中，依据软件行为描述的是（）。