程门立雪的概括:软件测试和软件技术的比对