BJEST 使用契约进行Javascript行为一致性测试

BJEST是Javascript的行为一致性测试工具。这个想法是为了帮助测试人员不要编写测试用例，而是以谓词的形式为被测程序定义有效的行为，然后BJEST将生成值来检查定义的行为是否成立。 要运行：运行bjest并通过目标文件。 选项： -n [#test cases] -s[size of test case]。 基本示例 有一个提款函数，它只接收两个输入，即“余额”和“金额”，并按金额值减少当前余额并返回新余额。我们在这里定义的行为只是为了确保提款金额始终小于当前余额，即新余额永远不应小于0。我们将此行为命名为atmTest()并将其与尝试次数和类型一起传递给BJEST输入，这里是非负数。 divTest.js定义了对两个给定操作数x和y的除法运算。