摘要：一、总结分析自己实现规格要求所采取的设计策略 首先分析要抛出哪些异常情况，把异常情况都抛完了再处理正常情况。 先通过JML读懂这个函数要实现什么功能，然后考虑有没有时间复杂度更优的实现方法。 二、基于JML规格来设计测试的方法和策略 JUnit：JUnit是一个开放源代码的Java测试框架，用于编写 阅读全文