unit-testing - 对新语言进行单元测试

Question

有谁知道是否有对新语言进行单元测试的标准化过程。

我的意思是任何新语言都将具有基本的流程控制，如 IF、CASE 等。

通常如何测试语言本身？

Answer 1

单元测试是实现目标的一种策略:验证软件是否符合规定的规范。假设您对目标更感兴趣，而不是专门使用单元测试来实现它。

验证一种语言是否符合规范或表现出特定的理想品质的问题意义深远。最早的工作导致type theory ，其中通常用新的语法和规则扩展语言，以允许人们谈论类型良好的程序:遵守这些新规则的程序。

与这些扩展相辅相成的是数学证明，证明任何类型良好的程序都将表现出各种所需的品质。例如，一个类型良好的程序可能永远不会尝试对字符串执行整数运算，或尝试访问数组的越界元素。

通过要求程序在允许程序执行之前必须是类型良好的，可以有效地将这些保证从类型良好的程序扩展到语言本身。

类型系统可以根据它们包含的规则种类进行分类，而这些规则又决定了它们的表达能力。例如，大多数常用的类型化语言都可以验证我上面的第一个案例，但不能验证第二个案例。随着功能的增加，复杂性也随之增加:它们的类型验证算法相应地更难编写、推理等。

如果你想了解更多，我建议你read this book ，它将带您从函数式编程的基础一直到常见的类型系统系列。