JUC Mysql OS Redis Spring SpringCloud java mysql shiro 互联网 人工智能 前端 计算机网络 设计模式 软件工程导论 软件测试