列名

软件产品使用一系列策略与其用户作出承诺或签订合同。成熟的代码包和API记录预期的输入和输出，检查单元测试的遵从性，并透明地报告代码覆盖率。具有图形用户界面的程序通过交互式组件上的标签和图标来形成此合同，这些标签和图标解释了它们的意图(例如，“保存”按钮通常不会批量删除文件)。 然而，已发布的数据表存在一个模糊的灰色区......