可编程逻辑器件软件测试类型包括什么