摘要： 
2022 OO U3 JML规格 一、 本单元自测过程中如何利用JML规格来准备测试数据 自测过程中首先选择根据规格捏造一个符合条件的数据进行测试，之后根据JML规格逐条改变条件，测试程序运行结果是否正确。 上述方法虽然能覆盖到针对某一条JML的大部分情况，但由于手捏数据产生的图模型较为简单 阅读全文
2022 OO U3 JML规格 一、 本单元自测过程中如何利用JML规格来准备测试数据 自测过程中首先选择根据规格捏造一个符合条件的数据进行测试，之后根据JML规格逐条改变条件，测试程序运行结果是否正确。 上述方法虽然能覆盖到针对某一条JML的大部分情况，但由于手捏数据产生的图模型较为简单 阅读全文