Tiden: xác minh code AI có làm đúng yêu cầu không

Tiden dùng để làm gì, nói đơn giản?

Tiden giúp đội phát triển kiểm tra xem agent lập trình có thực hiện đúng hành vi được yêu cầu hay không. Sản phẩm của Qase, Inc. kết nối đặc tả sản phẩm, phiên làm việc của agent, kiểm thử và bằng chứng để quyết định phát hành.

Ví dụ, API phải trả về 429 khi vượt giới hạn và kèm thời gian thử lại. Build thành công chưa chứng minh được hai điều kiện đó. Tiden liên kết hành vi mong đợi với bài kiểm thử và làm rõ phần nào vẫn thiếu bằng chứng.

Review code theo yêu cầu và kết quả thực tế

Tiden đọc code, lập bản đồ đặc tả và chỉ ra đặc tả chưa có kiểm thử. Nội dung vẫn chỉnh sửa được bằng Markdown, kèm nguồn tham chiếu, thành phần, mức ưu tiên và lịch sử thay đổi.

Tính năng ghi nhận ý định lưu các quyết định trong phiên lập trình và tổng hợp thành nhánh để review. Quy trình trên website theo dõi các cam kết của một thỏa thuận công việc. Con người xem xét thay đổi đặc tả và kiểm thử trước khi chấp nhận hợp nhất. Vì thế, nhóm vẫn cần kiểm tra assertion có xác minh yêu cầu nghiệp vụ hay chỉ lặp lại cách code đang hoạt động.

Thiết lập một luồng xác minh đầu tiên

Hướng dẫn bắt đầu chính thức mô tả các bước:

1. Tạo hoặc tham gia tổ chức, mở workspace rồi tạo sản phẩm.
2. Cài CLI cho macOS, Linux hoặc Windows. Chạy tiden setup để xác thực và liên kết kho mã, sau đó tiden config verify.
3. Kết nối Tiden GitHub App với các kho mã đã chọn và kiểm tra quyền.
4. Tạo đặc tả, có thể nhập từ Markdown, rồi tạo và liên kết bài kiểm thử.
5. Chạy kiểm tra và mở Traceability để phân biệt verified, not_run và no_test.
6. Cài hook bằng tiden intent install, kiểm tra trạng thái rồi review nhánh được tạo từ phiên agent.

Nên bắt đầu với một hành vi có kết quả quan sát được. Sau đó mới mở rộng khi quan hệ giữa yêu cầu, kiểm thử và kết quả phù hợp với cách nghiệm thu của đội.

Dùng quality gate để đánh giá bản phát hành

Quality gate kết hợp độ bao phủ đặc tả, kết quả test, rủi ro thành phần, độ mới của bằng chứng và các vấn đề production có sẵn. Phạm vi gồm main, một nhánh hoặc một bản phát hành. Kết luận có thể là đạt, bị chặn hoặc chấp nhận rủi ro.

Lệnh tiden gate check --product-id <product-id> trả mã thoát khác 0 khi bị chặn hoặc còn chờ review rủi ro. Theo dõi lỗi runtime liên kết sự cố với phiên bản và môi trường. Kết quả đạt chỉ có ý nghĩa trong phạm vi đặc tả và kiểm tra đã cấu hình, không bảo đảm phần mềm hoàn toàn không có lỗi.

Tiden phù hợp với lập trình viên, QA và trưởng nhóm thường xuyên phát hành code do agent viết. Website nêu Claude Code, Cursor, Copilot và Codex là các công cụ dùng kèm. CLI, REST API công khai và MCP server chạy cục bộ hỗ trợ truy cập đặc tả, test, nhánh và kết luận từ tự động hóa. Cần cập nhật CLI và MCP cùng nhau.

Mã nguồn và dữ liệu được truy cập ra sao?

GitHub App đọc các kho mã được cấp quyền, nên cần xem đúng phạm vi và bảo vệ API token. Hook beforeSend cho phép sửa hoặc bỏ sự kiện telemetry trước khi gửi.

Đọc chính sách quyền riêng tư cùng hợp đồng thực tế. Tài liệu công khai đã kiểm tra chưa chứng minh một cam kết chung rằng toàn bộ mã khách hàng không được dùng huấn luyện hoặc mọi xử lý chỉ ở máy cục bộ. Tùy chọn tự triển khai Enterprise là phần bổ sung trả phí. Yêu cầu chưa rõ cũng cần được nhóm làm rõ trước khi coi là tiêu chí nghiệm thu.

Dùng thử và cách tính chi phí

Tại ngày 15/10/2026, giá niêm yết theo tháng bằng USD là 49 USD cho Starter và 199 USD mỗi sản phẩm cho Team. Starter có một sản phẩm, tối đa ba kho mã và 25 thay đổi được xác minh mỗi tháng. Team gồm 100 thay đổi mỗi sản phẩm và kho mã không giới hạn. Cả hai có 14 ngày dùng thử; nếu tiếp tục, tính phí từ ngày 15.

Một thay đổi được xác minh là pull request đã hợp nhất với quality gate đạt và chỉ tính một lần. Chạy lại, thay đổi thất bại và commit của bot được miễn phí. Team có thể phát sinh phí thay đổi và telemetry bổ sung. Bằng chứng được giữ ba tháng ở Starter và mười hai tháng ở Team. Xem bảng giá và công cụ ước tính cho mức vượt hạn và điều kiện năm; đây không phải giá cuối bằng VND đã gồm thuế.

Câu hỏi thường gặp

Tiden có thay người review code không?

Không. Agent đề xuất nhánh, con người review và hợp nhất thay đổi được chấp nhận. Tiden cung cấp bằng chứng liên quan cho quyết định đó.

Test đều đạt có chứng minh đúng yêu cầu không?

Chỉ hành vi thật sự được kiểm tra mới có bằng chứng. Cần xem liên kết với đặc tả, phần thiếu bao phủ và kết quả đã cũ.

Bắt đầu với kho mã hiện có như thế nào?

Tạo sản phẩm, cấp quyền kho mã và cấu hình CLI. Liên kết một đặc tả rõ ràng với một test rồi kiểm tra Traceability.

Tài nguyên chính thức

• Kho MCP server: bộ chuyển tiếp và hướng dẫn cho nhà phát triển.
• Lịch sử thay đổi: cập nhật sản phẩm.
• Liên hệ Tiden: triển khai doanh nghiệp và đánh giá bảo mật.