Specs 提供了两种不同的分层结构规范的方法。一种是通过定义“规范下的系统”,另一种是通过制作子示例(一个示例是一个规范/测试语句)。
有人可以回答或指向一个网站,这些不同机制的一般预期用途是什么?我也对规范/示例的重用感到好奇。
我的用例
特别是我有一个项目,其中包含不同的算法 A 来计算给定特定输入示例 Y 的一些输出X Y_1; 必须计算正确的结果,例如 Y_2; ..."?或者我应该将不同的示例指定为SUS,以便我得到“必须可以通过算法 A_1 解决;必须可以通过算法 A_2 解决;...”?
我应该把什么变成SUS,什么变成子示例?