route_e2e_test.go 33 KB

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