2020年5月22日
OO第三单元总结
摘要： 一、关于JML JML理论基础 所谓的JML，它是一种形式化的，面向JAVA的行为接口规格语言。对于我们所写的代码，正确性的重要性不言而喻，JML正是我们为了获得回答方法正确性问题的一种重要的技术手段，同时可作为我们开展测试设计时的依据，是多人协同开发时的交互基础。 方法规格： 举一个例子，首先我们 阅读全文
posted @ 2020-05-22 23:20 倪衔军 阅读(149) 评论(0) 推荐(0)