Sean Allen

与工程师Sean Allen对谈软件正确性与供应链安全

Antithesis的杰出工程师Sean Allen在最近的一次采访中讨论了软件正确性与供应链安全问题。他强调了像ML系列语言这样的强类型语言在早期捕获错误方面的优势，并将其与ALGOL系列进行了对比。Allen还对手动测试表示怀疑，主张在语言本身中禁止非法状态，并使用“工作负载”进行更健壮的测试。他谈到了技术债务的性质，认为在重写流行系统时，技术债务常常被忽视，并指出由于健壮的防御机制不受欢迎，软件供应链的安全性一直难以保障。