请简单介绍软件测试的四种基本技术以及它们之间的联系和区别。