软件测试的基本定义是通过执行程序来发现软件中可能存在的缺陷，因此选项B最符合定义。