【摘要】以前觉得Java后端就是Spring Boot+CRUD，直到接触了形式化方法和《大象——Thinking in UML》。测试能证明存在bug，却不能证明没有bug；UML不是图纸，而是语言。 阅读全文