route_e2e_test.go 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747
  1. // AC-14 路由接线 e2e(**四条断言的守卫**——本文件的价值不在于"接口能返回 200")。
  2. //
  3. // 覆盖结构(每条对到 AC-14 验收项原文):
  4. //
  5. // ① 40 端点注册表与契约逐条对齐 → TestRouteRegistryMatchesContract
  6. // (含"不含 18/19/20"与"/pay 段本批不挂"的反向断言)
  7. // ② 断言①:全局 `method+path` 唯一 → TestAssertUniqueMethodPath(正例 + 变异反例)
  8. // ③ 断言②:一级段 ⊆ {/admin,/student,/pay} → TestFirstSegmentWhitelist(正例 + 变异反例)
  9. // ④ 断言④(行为):静态段优先 → TestStaticSegmentBeatsParam
  10. // 被 `:id` 吃掉时 `GET /admin/activities/discounts/usable` 会返回 **2002**(`:id` 解析
  11. // "discounts" 失败),比"路由表里存在这条"更能证明顺序正确。
  12. //
  13. // 另含:全部 40 条都必须过 Auth(无 token → 1001)/ 角色白名单真的生效(非白名单角色 1003)/
  14. // RBAC 种子幂等 + 与路由表 1:1 + **种子在真 Casbin 引擎下可判定**(含 `:param` 不过度匹配)。
  15. //
  16. // 断言纪律:只断 body 契约(HTTP 恒 200 + body.code,铁律 6),不断 HTTP 状态码。
  17. package handler
  18. import (
  19. "fmt"
  20. "sort"
  21. "strings"
  22. "testing"
  23. "github.com/gofiber/fiber/v2"
  24. "gorm.io/gorm"
  25. identityhandler "yuansiwei/unified-backend/internal/identity/handler"
  26. infraerrors "yuansiwei/unified-backend/internal/infra/errors"
  27. infrarabc "yuansiwei/unified-backend/internal/infra/rbac"
  28. "yuansiwei/unified-backend/internal/infra/response"
  29. appscope "yuansiwei/unified-backend/internal/infra/scope"
  30. )
  31. // ---------------------------------------------------------------- 测试装配
  32. // newAcademicRouteTestApp 构造**只挂 academic 域**的 app(断言② 的合法断言对象)。
  33. //
  34. // 中间件链与生产一致:`stubAuth(验签+作用域注入)→ identity.RequireRole(本行白名单) → handler`。
  35. // `stubAuth` 用 `X-Test-Token` 模拟登录态(缺省 = 未登录 → 1001),`X-Test-Scope` 选角色。
  36. func newAcademicRouteTestApp(t *testing.T, db *gorm.DB, opt RegisterOptions) (*fiber.App, *Registration) {
  37. t.Helper()
  38. h, err := New(Config{DB: db})
  39. if err != nil {
  40. t.Fatalf("handler.New 失败: %v", err)
  41. }
  42. if opt.Auth == nil {
  43. opt.Auth = stubAuth()
  44. }
  45. if opt.RoleGuard == nil {
  46. // 用**生产同一个**工厂(identity/handler.RequireRole):若测试自写一份白名单判定,
  47. // 装配处把 guard 传错也测不出来。
  48. opt.RoleGuard = identityhandler.RequireRole
  49. }
  50. app := fiber.New(fiber.Config{DisableStartupMessage: true})
  51. reg, err := Register(app, h, opt)
  52. if err != nil {
  53. t.Fatalf("Register 失败: %v", err)
  54. }
  55. return app, reg
  56. }
  57. // stubAuth 模拟 identity 的验签中间件:无 token → 1001;有 token → 按 `X-Test-Scope` 注入作用域。
  58. func stubAuth() fiber.Handler {
  59. return func(c *fiber.Ctx) error {
  60. if strings.TrimSpace(c.Get("X-Test-Token")) == "" {
  61. return response.Fail(c, infraerrors.ErrUnauth) // 1001
  62. }
  63. switch c.Get("X-Test-Scope") {
  64. case "super":
  65. appscope.Set(c, &appscope.Scope{
  66. InstitutionID: 1, CampusID: 0, SuperAdmin: true,
  67. UserID: "01HADMIN0000000000000001", Role: RoleSuperAdmin,
  68. })
  69. case "academic":
  70. appscope.Set(c, &appscope.Scope{
  71. InstitutionID: 1, CampusID: 10,
  72. UserID: "01HACADEMIC0000000000001", Role: RoleAcademic,
  73. })
  74. case "teacher":
  75. appscope.Set(c, &appscope.Scope{
  76. InstitutionID: 1, CampusID: 10,
  77. UserID: "01HTEACHER00000000000001", Role: RoleTeacher,
  78. })
  79. case "student":
  80. appscope.Set(c, &appscope.Scope{
  81. InstitutionID: 1, CampusID: 10,
  82. UserID: "01HSTUDENT00000000000001", Role: RoleStudent,
  83. })
  84. default:
  85. appscope.Set(c, testScope()) // finance / 机构1 / 校区10
  86. }
  87. return c.Next()
  88. }
  89. }
  90. // requestPath 把路由模板转成可请求的具体路径(`/admin/activities/:id` → `/admin/activities/1`)。
  91. func requestPath(tmpl string) string {
  92. segs := strings.Split(tmpl, "/")
  93. for i, seg := range segs {
  94. if strings.HasPrefix(seg, ":") {
  95. segs[i] = "1"
  96. }
  97. }
  98. return strings.Join(segs, "/")
  99. }
  100. // ---------------------------------------------------------------- ① 注册表 ↔ 契约
  101. // TestRouteRegistryMatchesContract 65 条路由与契约 §2.1/§2.2/§2.3/§2.4 逐条对齐。
  102. //
  103. // 期望值**手写**(测试即契约快照):与 `route.go` 的生成逻辑不同源,才有对齐价值——
  104. // 若也写成"从路由表推导",这条用例就只能证明"路由表等于自己"。
  105. func TestRouteRegistryMatchesContract(t *testing.T) {
  106. db := newHandlerTestDB(t)
  107. h, err := New(Config{DB: db})
  108. if err != nil {
  109. t.Fatalf("handler.New 失败: %v", err)
  110. }
  111. routes := Routes(h)
  112. want := []struct {
  113. no int
  114. method string
  115. path string
  116. roles string // 逗号连接,便于逐条目视核对契约
  117. }{
  118. {1, "GET", "/admin/finance/accounts/:userId", "super_admin,finance,academic"},
  119. {2, "GET", "/admin/finance/accounts/:userId/refundable", "super_admin,finance,academic"},
  120. {3, "POST", "/admin/finance/recharges", "super_admin,finance"},
  121. {4, "POST", "/admin/finance/expenditures", "super_admin,finance"},
  122. {5, "POST", "/admin/finance/refunds", "super_admin,finance"},
  123. {6, "POST", "/admin/finance/refunds/custom", "super_admin,finance"},
  124. {7, "POST", "/admin/finance/transfers", "super_admin,finance"},
  125. {8, "POST", "/admin/finance/bad-debts", "super_admin,finance"},
  126. {9, "POST", "/admin/finance/cleared-balances", "super_admin,finance"},
  127. {10, "POST", "/admin/finance/spends", "super_admin,finance,academic"},
  128. {11, "GET", "/admin/finance/logs", "super_admin,finance,academic"},
  129. {12, "GET", "/admin/finance/requests", "super_admin,finance,academic"},
  130. {13, "POST", "/admin/finance/requests", "super_admin,finance,academic"},
  131. {14, "POST", "/admin/finance/requests/:id/approve", "super_admin,finance"},
  132. {15, "POST", "/admin/finance/requests/:id/reject", "super_admin,finance"},
  133. // 端点 16:契约写"申请人本人 或 super_admin/finance";路由层是粗粒度门禁,
  134. // 必须覆盖"可能成为申请人"的角色(端点 13 允许 academic 建单),"本人"由 Service 判。
  135. {16, "POST", "/admin/finance/requests/:id/cancel", "super_admin,finance,academic"},
  136. {17, "GET", "/student/bill", "student,parent,super_admin"},
  137. {21, "GET", "/admin/finance/dashboard", "super_admin,finance,academic"},
  138. {22, "GET", "/admin/activities", "super_admin,academic,finance,teacher"},
  139. {23, "POST", "/admin/activities", "super_admin,academic"},
  140. {24, "GET", "/admin/activities/:id", "super_admin,academic,teacher"},
  141. {25, "PUT", "/admin/activities/:id", "super_admin,academic"},
  142. {26, "POST", "/admin/activities/:id/sign", "super_admin,academic,student,parent"},
  143. {27, "POST", "/admin/activities/:id/cancel-sign", "super_admin,academic,student,parent"},
  144. {28, "GET", "/admin/activities/:id/signeds", "super_admin,academic,finance"},
  145. {29, "POST", "/admin/activities/:id/recommend-settle", "super_admin,academic"},
  146. {30, "POST", "/admin/activities/:id/cancel-recharge", "super_admin,finance"},
  147. {31, "GET", "/admin/activities/discounts/usable", "super_admin,academic,finance"},
  148. {32, "POST", "/admin/activities/discounts/use", "super_admin,academic,finance"},
  149. {33, "POST", "/admin/activities/discounts/refund", "super_admin,academic,finance"},
  150. {34, "POST", "/admin/activities/discounts/refund-by-activity", "super_admin,academic,finance"},
  151. {35, "POST", "/admin/activities/recharge-gifts/use", "super_admin,academic,finance"},
  152. {36, "POST", "/admin/activities/recharge-gifts/refund", "super_admin,academic,finance"},
  153. {37, "POST", "/admin/activities/:id/visits", "super_admin,academic,teacher"},
  154. {38, "GET", "/admin/divide-into/tree", "super_admin,academic"},
  155. {39, "POST", "/admin/divide-into/members", "super_admin,academic"},
  156. {40, "PUT", "/admin/divide-into/members/:userId/quota", "super_admin,academic"},
  157. {41, "POST", "/admin/divide-into/logs", "super_admin,academic"},
  158. {42, "DELETE", "/admin/divide-into/logs", "super_admin,academic"},
  159. {43, "GET", "/admin/divide-into/logs", "super_admin,academic,finance"},
  160. // ---- AC-13c:课程 / 排班 / 打卡(端点 44~57,14 个契约端点 = 15 条 method+path)
  161. {44, "GET", "/admin/courses", "super_admin,academic,finance,teacher"},
  162. {45, "POST", "/admin/courses", "super_admin,academic"},
  163. {45, "PUT", "/admin/courses/:id", "super_admin,academic"},
  164. {46, "GET", "/admin/courses/:id/classes", "super_admin,academic"},
  165. {47, "POST", "/admin/courses/:id/classes", "super_admin,academic"},
  166. {48, "GET", "/admin/courses/:id/records", "super_admin,academic,teacher"},
  167. {49, "POST", "/admin/courses/:id/records/generate", "super_admin,academic"},
  168. {50, "POST", "/admin/courses/records/:recordId/start", "super_admin,academic,teacher"},
  169. {51, "POST", "/admin/courses/records/:recordId/finish", "super_admin,academic,teacher"},
  170. {52, "POST", "/admin/courses/records/:recordId/attendance", "super_admin,academic,teacher"},
  171. {53, "GET", "/admin/courses/:id/students", "super_admin,academic,finance"},
  172. {54, "POST", "/admin/courses/:id/students", "super_admin,academic,finance"},
  173. {55, "GET", "/admin/courses/arrears", "super_admin,academic,finance"},
  174. {56, "POST", "/admin/courses/arrears/counteract", "super_admin,academic,finance"},
  175. {57, "GET", "/student/courses/schedule", "student,parent,teacher"},
  176. // ---- AC-13d 第一批:课酬试算 + 维护(端点 59、61~63;58/60 待契约裁决,本批不挂)
  177. {58, "GET", "/admin/payroll/plans", "super_admin,academic,finance"},
  178. {58, "POST", "/admin/payroll/plans", "super_admin,academic,finance"},
  179. {58, "PUT", "/admin/payroll/plans/:id", "super_admin,academic,finance"},
  180. {59, "POST", "/admin/payroll/quote", "super_admin,academic,finance"},
  181. // ---- AC-13d 第三批:收支(端点 60,3 条 method+path;`/types` 是静态段,排在记录路径之前)
  182. {60, "GET", "/admin/expenditures/types", "super_admin,finance"},
  183. {60, "GET", "/admin/expenditures", "super_admin,finance"},
  184. {60, "POST", "/admin/expenditures", "super_admin,finance"},
  185. {61, "POST", "/admin/maintenance/courses-max-people", "super_admin"},
  186. {62, "POST", "/admin/maintenance/courses-campus", "super_admin"},
  187. {63, "POST", "/admin/maintenance/activity-sync", "super_admin"},
  188. }
  189. if len(routes) != len(want) {
  190. t.Fatalf("路由条数 = %d,期望 %d(AC-14 40 + AC-13c 15 + AC-13d 10 = 65 条 method+path)", len(routes), len(want))
  191. }
  192. // 逐条对齐**用集合比**而不是按下标比:注册顺序是"静态段优先"(≠ 契约端点号顺序),
  193. // 两者是不同的纪律——端点覆盖面按集合校验(下面),顺序另有三条断言(本函数末尾)。
  194. type contractRow struct {
  195. no int
  196. roles string
  197. }
  198. gotByKey := make(map[string]contractRow, len(routes))
  199. for _, r := range routes {
  200. if _, dup := gotByKey[r.Key()]; dup {
  201. t.Errorf("%s 在路由表里出现了两次", r.Key())
  202. }
  203. gotByKey[r.Key()] = contractRow{no: r.No, roles: strings.Join(r.Roles, ",")}
  204. }
  205. for _, w := range want {
  206. key := w.method + " " + w.path
  207. got, ok := gotByKey[key]
  208. if !ok {
  209. t.Errorf("端点 %d(%s %s)未注册", w.no, w.method, w.path)
  210. continue
  211. }
  212. if got.no != w.no {
  213. t.Errorf("%s 的端点号 = %d,期望 %d", key, got.no, w.no)
  214. }
  215. if got.roles != w.roles {
  216. t.Errorf("端点 %d 角色白名单 = %q,期望 %q", w.no, got.roles, w.roles)
  217. }
  218. delete(gotByKey, key)
  219. }
  220. for key := range gotByKey {
  221. t.Errorf("注册了契约外的路由 %s(当前只挂已交付的 65 条)", key)
  222. }
  223. // 反向断言:18/19/20(支付)**本批不得挂**——handler 尚未实现,挂空壳会让"未实现"
  224. // 看起来像"已实现但返回怪码"(前端不会看到 404,会去查业务逻辑)。
  225. for _, r := range routes {
  226. if strings.HasPrefix(r.Path, "/pay") {
  227. t.Errorf("端点 %d(%s %s)不该在本批注册:18/19/20 handler 尚未实现", r.No, r.Method, r.Path)
  228. }
  229. switch r.No {
  230. case 18, 19, 20:
  231. t.Errorf("端点 %d 不该在本批注册", r.No)
  232. }
  233. }
  234. // 静态段先于 `:id`(断言④ 的**顺序**部分;行为断言见 TestStaticSegmentBeatsParam)。
  235. //
  236. // ⚠ 实测结论(变异测试记录,见交付报告):本批 40 条路径**不存在会被 `:id` 吃掉的同深度冲突**
  237. // —— `:id` 是 3 段(`/admin/activities/:id`),而 `discounts/*` / `recharge-gifts/*` 都是 4 段,
  238. // Fiber 按段数匹配,3 段路由匹配不上 4 段请求。因此"把 `:id` 提到静态段之前"这条变异
  239. // **不会**让 `GET /admin/activities/discounts/usable` 变 2002(已实测:仍是 200)。
  240. // 纪律仍然保留(同级静态优先),并且下面用一个**真正会冲突的同深度路由对**证明守卫不是恒过。
  241. assertStaticBeforeParam(t, routes)
  242. // 守卫自证:同一对路由,正确顺序 → 无违规;反序 → 必须报出违规。
  243. // 这对路由(`/admin/x/:id/sign` vs `/admin/x/discounts/sign`)才是 Fiber 里真会被吃掉
  244. // 的形态:**同 method、同段数、同尾段、中间一位是字面 vs `:param`**。
  245. badPair := []Route{
  246. {No: 1, Method: fiber.MethodPost, Path: "/admin/x/:id/sign", Roles: []string{RoleAcademic}},
  247. {No: 2, Method: fiber.MethodPost, Path: "/admin/x/discounts/sign", Roles: []string{RoleAcademic}},
  248. }
  249. if violations := staticShadowViolations(badPair); len(violations) != 1 {
  250. t.Errorf("顺序守卫未检出同深度冲突(本应 1 条):%v", violations)
  251. }
  252. goodPair := []Route{badPair[1], badPair[0]}
  253. if violations := staticShadowViolations(goodPair); len(violations) != 0 {
  254. t.Errorf("顺序守卫对正确顺序误报:%v", violations)
  255. }
  256. }
  257. // assertStaticBeforeParam 检查"同 method、同段数、某一位是字面段 vs `:param`"的路由对,
  258. // 字面段必须**先注册**(后注册会被 `:param` 吃掉:Fiber 按注册顺序匹配)。
  259. func assertStaticBeforeParam(t *testing.T, routes []Route) {
  260. t.Helper()
  261. for _, v := range staticShadowViolations(routes) {
  262. t.Error(v)
  263. }
  264. }
  265. // staticShadowViolations 返回"会被 `:param` 吃掉"的路由对描述(空 = 顺序正确)。
  266. //
  267. // 纯函数,便于单测直接构造正/反序路由对验证守卫本身(守卫要能被证伪,见设计 §10.3)。
  268. func staticShadowViolations(routes []Route) []string {
  269. violations := make([]string, 0, 2)
  270. for i, param := range routes {
  271. if !strings.Contains(param.Path, ":") {
  272. continue
  273. }
  274. for j, literal := range routes {
  275. if j <= i || literal.Method != param.Method {
  276. continue // 只看"参数段先注册、字面段后注册"这一错误方向
  277. }
  278. if shadowedBy(param.Path, literal.Path) {
  279. violations = append(violations, fmt.Sprintf(
  280. "注册顺序错误:端点 %d(%s %s)注册在端点 %d(%s %s)之后,"+
  281. "静态段会被 `:param` 吃掉(表现是 2002:id 解析失败)",
  282. param.No, param.Method, param.Path, literal.No, literal.Method, literal.Path))
  283. }
  284. }
  285. }
  286. return violations
  287. }
  288. // shadowedBy 判断 paramPath(形如 `/x/:id/y`)是否会吃掉 literalPath(形如 `/x/discounts/y`):
  289. // 同深度、逐段相同、且 paramPath 在该位是 `:param` 而 literalPath 是字面段。
  290. func shadowedBy(paramPath, literalPath string) bool {
  291. pc := pathSegments(paramPath)
  292. lc := pathSegments(literalPath)
  293. if len(pc) != len(lc) {
  294. return false
  295. }
  296. wildcard := false
  297. for i := range pc {
  298. if isParamSegment(pc[i]) {
  299. wildcard = true // 该位是参数 → 能匹配 literalPath 的字面段
  300. continue
  301. }
  302. if pc[i] != lc[i] {
  303. return false
  304. }
  305. }
  306. return wildcard
  307. }
  308. // ---------------------------------------------------------------- ② 断言①:method+path 唯一
  309. // TestAssertUniqueMethodPath 断言① 的正例 + 变异反例。
  310. //
  311. // 变异反例的意义:Fiber 对重复 `method+path` 不报错、静默丢弃后注册者,
  312. // 若断言写错(如只比较 path、或只比对本域前 N 条),就抓不到这类缺陷。
  313. func TestAssertUniqueMethodPath(t *testing.T) {
  314. // 正例:完整 40 条 + healthz(模拟全局表里有别的域的路由)
  315. db := newHandlerTestDB(t)
  316. app, reg := newAcademicRouteTestApp(t, db, RegisterOptions{})
  317. app.Get("/healthz", func(c *fiber.Ctx) error { return c.SendStatus(fiber.StatusOK) })
  318. if err := AssertUniqueMethodPath(app.GetRoutes()); err != nil {
  319. t.Fatalf("40 条路由不该有重复:%v", err)
  320. }
  321. if len(reg.Routes) != 65 {
  322. t.Fatalf("注册条数 = %d,期望 65(40 + 15 + 10)", len(reg.Routes))
  323. }
  324. // 正例:同 path 不同 method 是**合法**的(端点 12/13 共用 /admin/finance/requests)
  325. if err := AssertUniqueMethodPath([]fiber.Route{
  326. {Method: "GET", Path: "/admin/finance/requests"},
  327. {Method: "POST", Path: "/admin/finance/requests"},
  328. }); err != nil {
  329. t.Fatalf("同 path 不同 method 不该被判重复:%v", err)
  330. }
  331. // 变异反例 A:纯函数层重复
  332. if err := AssertUniqueMethodPath([]fiber.Route{
  333. {Method: "GET", Path: "/admin/finance/logs"},
  334. {Method: "GET", Path: "/admin/finance/logs"},
  335. }); err == nil {
  336. t.Fatal("断言① 未检出 method+path 重复(守卫失效)")
  337. } else if !strings.Contains(err.Error(), "GET /admin/finance/logs") {
  338. t.Errorf("断言① 报错未指出重复项:%v", err)
  339. }
  340. // 变异反例 B:装配层真注册一条重复路由 → Register 必须直接失败
  341. // (模拟"第二批端点复制粘贴时把某条重复注册"这一真实事故)。
  342. h, hErr := New(Config{DB: db})
  343. if hErr != nil {
  344. t.Fatalf("handler.New 失败: %v", hErr)
  345. }
  346. mutated := append([]Route{}, Routes(h)...)
  347. mutated = append(mutated, Route{
  348. No: 999, Method: fiber.MethodGet, Path: PathFinanceLogs, Name: "重复注册变异",
  349. Roles: []string{RoleFinance}, Handler: h.ListLogs,
  350. })
  351. mutApp := fiber.New(fiber.Config{DisableStartupMessage: true})
  352. if _, err := Register(mutApp, h, RegisterOptions{
  353. Auth: stubAuth(), RoleGuard: identityhandler.RequireRole, Routes: mutated,
  354. }); err == nil {
  355. t.Fatal("Register 未拦住重复 method+path(断言① 在装配路径上失效)")
  356. }
  357. }
  358. // ---------------------------------------------------------------- ③ 断言②:一级段白名单
  359. // TestFirstSegmentWhitelist 断言② 的正例 + **变异反例**(证明它不是"恒过")。
  360. //
  361. // 危险失败形态说明:若把断言写成"先过滤掉 /auth、/org 再判",则它永远绿——
  362. // 与本用例的变异反例(`/auth/xxx` 必须变红)正好互为验证。
  363. func TestFirstSegmentWhitelist(t *testing.T) {
  364. // 正例:40 条只占 /admin 与 /student 两个一级段
  365. db := newHandlerTestDB(t)
  366. _, reg := newAcademicRouteTestApp(t, db, RegisterOptions{})
  367. wantPrefixes := []string{"/admin", "/student"}
  368. if strings.Join(reg.Prefixes, ",") != strings.Join(wantPrefixes, ",") {
  369. t.Fatalf("一级段集合 = %v,期望 %v", reg.Prefixes, wantPrefixes)
  370. }
  371. if err := AssertFirstSegments(reg.Prefixes); err != nil {
  372. t.Fatalf("本域一级段不该越界:%v", err)
  373. }
  374. // 纯函数层:/auth 与 /org 必须被拒(academic 不得重复注册他域路径)
  375. for _, bad := range [][]string{
  376. {"/admin", "/auth"},
  377. {"/org"},
  378. {"/admin", "/student", "/pay", "/teaching"},
  379. } {
  380. if err := AssertFirstSegments(bad); err == nil {
  381. t.Errorf("断言② 未拒 %v(守卫失效:这会让 academic 悄悄顶掉 identity/org 的 handler)", bad)
  382. }
  383. }
  384. // 变异反例(装配层):在 academic 装配里注册一条 `/auth/xxx` → Register 必须失败。
  385. // 这正是团队纪律要求的"能自证失败":删掉注入行即转绿(变异实测输出见交付报告)。
  386. h, err := New(Config{DB: db})
  387. if err != nil {
  388. t.Fatalf("handler.New 失败: %v", err)
  389. }
  390. mutated := append([]Route{}, Routes(h)...)
  391. mutated = append(mutated, Route{
  392. No: 998, Method: fiber.MethodGet, Path: "/auth/xxx", Name: "越界一级段变异",
  393. Roles: []string{RoleSuperAdmin}, Handler: h.GetAccount,
  394. })
  395. mutApp := fiber.New(fiber.Config{DisableStartupMessage: true})
  396. if _, err := Register(mutApp, h, RegisterOptions{
  397. Auth: stubAuth(), RoleGuard: identityhandler.RequireRole, Routes: mutated,
  398. }); err == nil {
  399. t.Fatal("Register 未拦住 /auth/xxx(断言② 在装配路径上失效 = 恒过)")
  400. } else if !strings.Contains(err.Error(), "/auth") {
  401. t.Errorf("断言② 报错未指出越界段:%v", err)
  402. }
  403. }
  404. // ---------------------------------------------------------------- ④ 静态段优先(行为)
  405. // TestStaticSegmentBeatsParam `GET /admin/activities/discounts/usable` 必须 **200**。
  406. //
  407. // 若它被 `/admin/activities/:id` 吃掉,`:id="discounts"` 解析失败 → **2002**。
  408. // 这条比"路由表里存在这条"可靠得多:路由表里两条都在,被吃掉时表里照样存在。
  409. func TestStaticSegmentBeatsParam(t *testing.T) {
  410. db := newHandlerTestDB(t)
  411. app, _ := newAcademicRouteTestApp(t, db, RegisterOptions{})
  412. code, msg, _ := doJSON(t, app, fiber.MethodGet,
  413. "/admin/activities/discounts/usable?userId=01HSTUDENT00000000000001&institutionId=1&campusId=10",
  414. nil, "X-Test-Token", "t")
  415. if code != 200 {
  416. t.Fatalf("GET /admin/activities/discounts/usable = code %d(%s),期望 200 ——"+
  417. "2002 说明被 :id 吃掉;403/1003 说明白名单或装配有问题", code, msg)
  418. }
  419. // 对照:真正走 `:id` 的详情端点也必须通(证明两条路由各自命中自己的 handler)
  420. code, msg, _ = doJSON(t, app, fiber.MethodGet, "/admin/activities/1", nil, "X-Test-Token", "t")
  421. if code == 2002 {
  422. t.Fatalf("GET /admin/activities/1 = 2002(%s):`:id` 路由本身被静态段破坏了", msg)
  423. }
  424. }
  425. // ---------------------------------------------------------------- ⑤ Auth / 角色白名单真的生效
  426. // TestAllRoutesRequireAuth 40 条**全部**需登录:不带 token 一律 1001。
  427. //
  428. // 这条防的是"某条端点漏挂 Auth"(公开暴露财务写接口),是最容易在复制粘贴中出错的一处。
  429. func TestAllRoutesRequireAuth(t *testing.T) {
  430. db := newHandlerTestDB(t)
  431. app, reg := newAcademicRouteTestApp(t, db, RegisterOptions{})
  432. for _, r := range reg.Routes {
  433. code, msg, _ := doJSON(t, app, r.Method, requestPath(r.Path), nil) // 无 X-Test-Token
  434. if code != 1001 {
  435. t.Errorf("端点 %d(%s %s)无 token 时 code = %d(%s),期望 1001(未登录)——该端点漏挂 Auth?",
  436. r.No, r.Method, r.Path, code, msg)
  437. }
  438. }
  439. }
  440. // TestRoleGuardApplied 白名单真的在路由层生效(非白名单角色 → 1003,白名单角色进 handler)。
  441. func TestRoleGuardApplied(t *testing.T) {
  442. db := newHandlerTestDB(t)
  443. app, _ := newAcademicRouteTestApp(t, db, RegisterOptions{})
  444. // 端点 3(充值)白名单 = super_admin/finance;academic → 1003
  445. if code, msg, _ := doJSON(t, app, fiber.MethodPost, PathFinanceRecharges, nil,
  446. "X-Test-Token", "t", "X-Test-Scope", "academic"); code != 1003 {
  447. t.Errorf("端点3 academic 调充值 = %d(%s),期望 1003(白名单外)", code, msg)
  448. }
  449. // 同一端点 finance 通过守卫(进入 handler 后因缺 body → 2001,但**不是** 1003)
  450. if code, msg, _ := doJSON(t, app, fiber.MethodPost, PathFinanceRecharges, nil,
  451. "X-Test-Token", "t"); code == 1003 {
  452. t.Errorf("端点3 finance 被 1003 挡住(%s):守卫过度收紧,种子/白名单不一致", msg)
  453. }
  454. // 端点 17(学生账单)白名单 = student/parent/super_admin;finance → 1003(跨端越权)
  455. if code, msg, _ := doJSON(t, app, fiber.MethodGet, PathStudentBill, nil,
  456. "X-Test-Token", "t"); code != 1003 {
  457. t.Errorf("端点17 finance 调学生账单 = %d(%s),期望 1003", code, msg)
  458. }
  459. // 端点 26(报名)含 student → 不 1003
  460. if code, msg, _ := doJSON(t, app, fiber.MethodPost, "/admin/activities/1/sign", nil,
  461. "X-Test-Token", "t", "X-Test-Scope", "student"); code == 1003 {
  462. t.Errorf("端点26 student 被 1003 挡住(%s):白名单写错", msg)
  463. }
  464. }
  465. // ---------------------------------------------------------------- ⑥ RBAC 种子
  466. // TestRBACSeedMatchesRoutes 种子与路由表 **1:1**(挂什么就种什么,含反向可查)。
  467. func TestRBACSeedMatchesRoutes(t *testing.T) {
  468. db := newHandlerTestDB(t)
  469. h, err := New(Config{DB: db})
  470. if err != nil {
  471. t.Fatalf("handler.New 失败: %v", err)
  472. }
  473. routes := Routes(h)
  474. seed, err := BuildRBACSeed(routes)
  475. if err != nil {
  476. t.Fatalf("BuildRBACSeed 失败: %v", err)
  477. }
  478. // 权限点:一端点一 code,且不重复
  479. if len(seed.Permissions) != len(routes) {
  480. t.Fatalf("权限点 %d 条,期望 %d(每端点一个)", len(seed.Permissions), len(routes))
  481. }
  482. codeSet := make(map[string]struct{}, len(seed.Permissions))
  483. for _, p := range seed.Permissions {
  484. if _, dup := codeSet[p.Code]; dup {
  485. t.Errorf("权限点 code 重复:%s", p.Code)
  486. }
  487. codeSet[p.Code] = struct{}{}
  488. if p.Type != "button" {
  489. t.Errorf("权限点 %s type = %q,本批只生成 button(菜单树不由路由表推导)", p.Code, p.Type)
  490. }
  491. }
  492. // casbin 规则:每条都对应"某角色 + 某路由 path",且 path 必须在路由表里
  493. pathSet := make(map[string]struct{}, len(routes))
  494. for _, r := range routes {
  495. pathSet[r.Path] = struct{}{}
  496. }
  497. for _, rule := range seed.CasbinRules {
  498. if rule.Ptype != "p" || rule.V1 != "*" {
  499. t.Errorf("策略行 ptype/dom 非法:%+v(应与既有 /org 种子一致:p + dom=*)", rule)
  500. }
  501. if _, ok := pathSet[rule.V2]; !ok {
  502. t.Errorf("策略路径 %q 不在路由表里(种子漂移)", rule.V2)
  503. }
  504. }
  505. // 每个端点 × 每个白名单角色都必须有策略覆盖(合并 method 后:同 path 只留一条)
  506. covered := make(map[string]string, len(seed.CasbinRules))
  507. for _, rule := range seed.CasbinRules {
  508. covered[rule.V0+" "+rule.V2] = rule.V3
  509. }
  510. for _, r := range routes {
  511. for _, role := range r.Roles {
  512. methods, ok := covered[role+" "+r.Path]
  513. if !ok {
  514. t.Errorf("端点 %d(%s %s)缺少角色 %s 的策略", r.No, r.Method, r.Path, role)
  515. continue
  516. }
  517. if !strings.Contains(methods, r.Method) {
  518. t.Errorf("端点 %d 策略 %s @ %s 的 method 正则 %q 未覆盖 %s", r.No, role, r.Path, methods, r.Method)
  519. }
  520. }
  521. }
  522. }
  523. // TestRBACSeedIdempotent 种子**幂等**:连跑两次,行数不变、第二次插入 0 行。
  524. func TestRBACSeedIdempotent(t *testing.T) {
  525. db := newRBACSeedTestDB(t)
  526. h, err := New(Config{DB: db})
  527. if err != nil {
  528. t.Fatalf("handler.New 失败: %v", err)
  529. }
  530. routes := Routes(h)
  531. first, err := SeedRBAC(t.Context(), db, routes)
  532. if err != nil {
  533. t.Fatalf("首次 SeedRBAC 失败: %v", err)
  534. }
  535. if first.InsertedCasbinRules != int64(first.CasbinRules) {
  536. t.Errorf("首次插入策略 %d 行,期望全部 %d 行", first.InsertedCasbinRules, first.CasbinRules)
  537. }
  538. if first.InsertedPermissions != int64(first.Permissions) {
  539. t.Errorf("首次插入权限点 %d 行,期望 %d 行", first.InsertedPermissions, first.Permissions)
  540. }
  541. if first.InsertedRolePermissions != int64(first.RolePermissions) {
  542. t.Errorf("首次插入矩阵 %d 行,期望 %d 行", first.InsertedRolePermissions, first.RolePermissions)
  543. }
  544. second, err := SeedRBAC(t.Context(), db, routes)
  545. if err != nil {
  546. t.Fatalf("二次 SeedRBAC 失败: %v", err)
  547. }
  548. if second.InsertedCasbinRules != 0 || second.InsertedPermissions != 0 || second.InsertedRolePermissions != 0 {
  549. t.Errorf("二次执行仍插入行(非幂等):casbin=%d perm=%d rolePerm=%d",
  550. second.InsertedCasbinRules, second.InsertedPermissions, second.InsertedRolePermissions)
  551. }
  552. // 行数与生成数一致(唯一键吸收重复,不产生多余行)
  553. var casbinCount, permCount, rolePermCount int64
  554. db.Raw("SELECT COUNT(*) FROM casbin_rule").Scan(&casbinCount)
  555. db.Raw("SELECT COUNT(*) FROM t_permission").Scan(&permCount)
  556. db.Raw("SELECT COUNT(*) FROM t_role_permission").Scan(&rolePermCount)
  557. if casbinCount != int64(first.CasbinRules) {
  558. t.Errorf("casbin_rule 行数 = %d,期望 %d", casbinCount, first.CasbinRules)
  559. }
  560. if permCount != int64(first.Permissions) {
  561. t.Errorf("t_permission 行数 = %d,期望 %d", permCount, first.Permissions)
  562. }
  563. if rolePermCount != int64(first.RolePermissions) {
  564. t.Errorf("t_role_permission 行数 = %d,期望 %d", rolePermCount, first.RolePermissions)
  565. }
  566. }
  567. // TestRBACSeedEnforcedByCasbin 种子在**真 Casbin 引擎**下可判定(含 `:param` 不过度匹配)。
  568. //
  569. // 这是"路径保留 Fiber `:param` 而非照抄 `/org/*` 的 `*`"这一决定的唯一硬证据:
  570. // `*` 在 keyMatch2 里是跨 `/` 的 `.*`,会把 `POST /admin/activities/1/sign` 也放给 teacher。
  571. func TestRBACSeedEnforcedByCasbin(t *testing.T) {
  572. db := newRBACSeedTestDB(t)
  573. h, err := New(Config{DB: db})
  574. if err != nil {
  575. t.Fatalf("handler.New 失败: %v", err)
  576. }
  577. if _, err := SeedRBAC(t.Context(), db, Routes(h)); err != nil {
  578. t.Fatalf("SeedRBAC 失败: %v", err)
  579. }
  580. enf, err := infrarabc.NewEnforcer(db)
  581. if err != nil {
  582. t.Fatalf("NewEnforcer 失败: %v", err)
  583. }
  584. engine := enf.Get()
  585. cases := []struct {
  586. name string
  587. role string
  588. method string
  589. path string
  590. want bool
  591. }{
  592. {"端点3 充值:finance 放行", "finance", "POST", "/admin/finance/recharges", true},
  593. {"端点3 充值:academic 拒绝", "academic", "POST", "/admin/finance/recharges", false},
  594. {"端点1 账户快照:academic 放行(:userId 通配)", "academic", "GET", "/admin/finance/accounts/01HUSER", true},
  595. {"端点14 工单通过:finance 放行", "finance", "POST", "/admin/finance/requests/9/approve", true},
  596. {"端点14 审批:academic 拒绝(审批仅 finance/super_admin)", "academic", "POST", "/admin/finance/requests/9/approve", false},
  597. {"端点24 详情:teacher 放行", "teacher", "GET", "/admin/activities/9", true},
  598. {"端点26 报名:teacher 拒绝(:param 不跨段匹配)", "teacher", "POST", "/admin/activities/9/sign", false},
  599. {"端点31 可用赠送:finance 放行(静态段)", "finance", "GET", "/admin/activities/discounts/usable", true},
  600. {"端点17 学生账单:student 放行", "student", "GET", "/student/bill", true},
  601. {"端点17 学生账单:finance 拒绝(跨端)", "finance", "GET", "/student/bill", false},
  602. {"端点42 删分账流水:DELETE 与 GET 分开授权", "academic", "DELETE", "/admin/divide-into/logs", true},
  603. {"端点43 分账流水:GET 也放行", "academic", "GET", "/admin/divide-into/logs", true},
  604. }
  605. for _, c := range cases {
  606. got, eerr := engine.Enforce(c.role, "*", c.path, c.method)
  607. if eerr != nil {
  608. t.Fatalf("%s:Enforce 出错: %v", c.name, eerr)
  609. }
  610. if got != c.want {
  611. t.Errorf("%s:Enforce(%s, *, %s, %s) = %v,期望 %v",
  612. c.name, c.role, c.path, c.method, got, c.want)
  613. }
  614. }
  615. }
  616. // TestSeedSQLLooksLikeExistingDDL 渲染出的 SQL 与既有 `core-model-ddl.sql` 写法同构
  617. // (`INSERT IGNORE` + 反引号列名 + 五列 ptype/v0..v3),便于直接追加进文档而不用改写。
  618. func TestSeedSQLLooksLikeExistingDDL(t *testing.T) {
  619. db := newHandlerTestDB(t)
  620. h, err := New(Config{DB: db})
  621. if err != nil {
  622. t.Fatalf("handler.New 失败: %v", err)
  623. }
  624. seed, err := BuildRBACSeed(Routes(h))
  625. if err != nil {
  626. t.Fatalf("BuildRBACSeed 失败: %v", err)
  627. }
  628. sqlText, err := seed.SQL("mysql")
  629. if err != nil {
  630. t.Fatalf("SQL 渲染失败: %v", err)
  631. }
  632. t.Logf("academic RBAC 种子:casbin_rule=%d 条 / t_permission=%d 条 / t_role_permission=%d 条",
  633. len(seed.CasbinRules), len(seed.Permissions), len(seed.RolePermissions))
  634. for _, want := range []string{
  635. "INSERT IGNORE INTO `casbin_rule` (`ptype`, `v0`, `v1`, `v2`, `v3`) VALUES",
  636. "INSERT IGNORE INTO `t_permission`",
  637. "INSERT IGNORE INTO `t_role_permission`",
  638. "'p', 'finance', '*', '/admin/finance/recharges', 'POST'",
  639. "'p', 'teacher', '*', '/admin/activities/:id', 'GET'",
  640. } {
  641. if !strings.Contains(sqlText, want) {
  642. t.Errorf("种子 SQL 缺少 %q", want)
  643. }
  644. }
  645. if _, err := seed.SQL("postgres"); err == nil {
  646. t.Error("不支持的方言应报错,而不是静默产出非法 SQL")
  647. }
  648. }
  649. // newRBACSeedTestDB 建三张 RBAC 表(与目标态 DDL 的唯一键一致)+ 复用 academic 测试库。
  650. //
  651. // 为什么在测试里手写 CREATE TABLE 而不复用 org 的 GORM model:
  652. // academic 不得 import org 域模型(依赖方向);这里只要**唯一键形态**一致,
  653. // 幂等的判定依据恰好就是唯一键(uk_policy / PK code / uk_role_permission)。
  654. func newRBACSeedTestDB(t *testing.T) *gorm.DB {
  655. t.Helper()
  656. db := newHandlerTestDB(t)
  657. stmts := []string{
  658. "CREATE TABLE `casbin_rule` (" +
  659. "id INTEGER PRIMARY KEY AUTOINCREMENT, ptype TEXT NOT NULL DEFAULT '', " +
  660. "v0 TEXT NOT NULL DEFAULT '', v1 TEXT NOT NULL DEFAULT '', " +
  661. "v2 TEXT NOT NULL DEFAULT '', v3 TEXT NOT NULL DEFAULT '', " +
  662. "UNIQUE (ptype, v0, v1, v2, v3))",
  663. "CREATE TABLE `t_permission` (" +
  664. "code TEXT PRIMARY KEY, type TEXT NOT NULL DEFAULT '', name TEXT NOT NULL DEFAULT '', " +
  665. "parent_code TEXT, path TEXT, icon TEXT, sort INTEGER NOT NULL DEFAULT 0, " +
  666. "status TEXT NOT NULL DEFAULT 'active')",
  667. "CREATE TABLE `t_role_permission` (" +
  668. "id INTEGER PRIMARY KEY AUTOINCREMENT, role_code TEXT NOT NULL, " +
  669. "permission_code TEXT NOT NULL, UNIQUE (role_code, permission_code))",
  670. }
  671. for _, stmt := range stmts {
  672. if err := db.Exec(stmt).Error; err != nil {
  673. t.Fatalf("建 RBAC 表失败: %v", err)
  674. }
  675. }
  676. return db
  677. }
  678. // TestFirstSegmentsSorted 一级段的输出顺序稳定(断言② 的报错文案与快照都依赖它)。
  679. func TestFirstSegmentsSorted(t *testing.T) {
  680. got := FirstSegments([]Route{
  681. {Path: "/student/bill"},
  682. {Path: "/pay/orders"},
  683. {Path: "/admin/finance/logs"},
  684. {Path: "/admin/activities"},
  685. })
  686. want := []string{"/admin", "/pay", "/student"}
  687. if strings.Join(got, ",") != strings.Join(want, ",") {
  688. t.Fatalf("FirstSegments = %v,期望 %v(去重 + 升序)", got, want)
  689. }
  690. sorted := sort.SliceIsSorted(got, func(i, j int) bool { return got[i] < got[j] })
  691. if !sorted {
  692. t.Fatalf("FirstSegments 未排序:%v", got)
  693. }
  694. // /pay 是白名单内的段(端点 18/19/20 将来挂这里),不得报错
  695. if err := AssertFirstSegments(got); err != nil {
  696. t.Fatalf("/pay 属白名单,不该报错:%v", err)
  697. }
  698. }