NỘI DUNG VÀ HÌNH THỨC SEMINAR

MÔN: RÀ SOÁT VÀ KIỂM CHỨNG PHẦN MỀM

1 Quy định chung
 Phần ĐỌC HIỂU bắt buộc đối với tất cả sinh viên học môn Kiểm chứng phần mềm
bao gồm:
 Báo cáo đồ án môn học (6/10đ)
 Trình bày seminar (4/10đ)
 Cách tính điểm: Điểm lý thuyết(40%) + Điểm báo cáo(30%) + Kiểm tra(20%)
+ Bài tập lớp (10%)

1.1 Thang điểm

 Thang điểm: 10đ
 Báo cáo đồ án môn học: 6.0đ
 Nội dung báo cáo: 4.0đ
 Hình thức trình bày khoa học, rõ ràng, dễ hiểu: 1.0đ
 Nhận xét, đánh giá của sinh viên về đề tài: 1.0đ
 Seminar: 4.0đ
 Nội dung trình bày seminar: 1.5đ
 Hình thức trình bày slide báo cáo seminar: 1.0đ
 Trình bày vấn đề có bố cục mạch lạc, rõ ràng, dễ hiểu: 1.5đ

2 Đồ án môn học và seminar

 Mỗi nhóm gồm 4 hoặc tối đa 5 sinh viên sẽ tự chọn 1 đề tài liên quan đến Kiểm thử
phần mềm để tìm hiểu, viết báo cáo – ví dụ demo và trình bày seminar trước lớp.
 Sinh viên sẽ được giới thiệu một số hướng đề tài nghiên cứu và được cung cấp các
tài liệu liên quan để tìm hiểu.
 Sinh viên có thể tự đề nghị đề tài không thuộc các hướng đã được gợi ý.
 Sinh viên phải đăng ký đề tài đồ án môn học và seminar và phải được sự đồng ý của
GVHD trước khi thực hiện đề tài này.
 Những đồ án giống nhau hoặc giống bài của các khóa trước hoặc chép y nguyên nội
dung trên web sẽ không được tính điểm

 07/10/2008 – 10/10/2008:
 Thông báo nội dung và hình thức báo cáo
 Giới thiệu các hướng đề tài và cung cấp các tài liệu liên quan để sinh viên tìm
hiểu và chọn lựa đề tài

1
 11/10/2008 đến 17/10/2008: đăng ký và xét duyệt đề tài
 Sinh viên đăng ký nhóm và đề tài đồ án môn học
 Trong bản đăng ký, sinh viên cần ghi rõ:
 MSSV, họ tên, email và điện thoại của các thành viên trong nhóm
 Tên đề tài (dự kiến) sẽ tìm hiểu, tóm tắt nội dung đề tài (10-20 dòng), danh
sách các tài liệu tham khảo
 Căn cứ trên bản đăng ký của nhóm, GVHD sẽ xét duyệt nội dung của các đề tài
mà sinh viên đăng ký để quyết định nhóm có được thực hiện đề tài này hay phải
đăng ký lại đề tài khác.
 Trong trường hợp nhiều nhóm đăng ký đề tài gần giống nhau, GVHD sẽ căn cứ
trên thứ tự đăng ký của các những nhóm đăng ký trước và nội dung tóm tắt đề tài
của từng nhóm để quyết định nhóm nào sẽ phải đăng ký lại đề tài khác.
 Không giải quyết trường hợp sinh viên đăng ký trễ hạn.
 Sinh viên không đăng ký đề tài xem như tự ý bỏ báo cáo môn Kiểm chứng phần
mềm.

 17/11/2008 – 22/11/2008: Nộp đề cương seminar để GVHD xét duyệt:

 Những nhóm sinh viên đã đăng ký đề tài và được xét duyệt đề tài muốn thực hiện
báo cáo seminar trước lớp phải nộp đề cương seminar cho GVHD.
 Trong đề cương seminar, sinh viên trình bày tóm tắt nội dung đã tìm hiểu được
và dự định sẽ trình bày trước lớp về đề tài đã chọn
 GVHD sẽ căn cứ trên báo cáo tóm tắt seminar để quyết định xét duyệt nhóm thực
hiện đề tài seminar.
 Trong trường hợp nhiều nhóm cùng đăng ký đề tài gần giống nhau, GVHD sẽ
căn cứ trên nội dung đề cương tóm tắt báo cáo seminar để quyết định chọn nhóm
nào được thực hiện seminar.
 Những nhóm nộp đề cương seminar không đạt yêu cầu sẽ không được phép trình
bày seminar
 Những nhóm đã đăng ký đề tài nhưng không được xét duyệt thực hiện seminar sẽ
vẫn tiếp tục thực hiện bài báo cáo về đề tài đã đăng ký.

 25/11/2008 đến 26/12/2008: Seminar của các nhóm sinh viên

 Các nhóm được chọn trình bày seminar theo lịch seminar của GVHD

2
  Sinh viên chuẩn bị slide để trình bày seminar trước lớp, đồng thời nộp lại cho
GVHD tập tin slide báo cáo seminar
 Phần trình bày seminar trước lớp sẽ được đánh giá riêng cho từng sinh viên trong
nhóm.

 27/12/2008: Nộp báo cáo đồ án môn học. Hình thức, giờ và địa điểm nộp bài sẽ
được thông báo sau
 29/12/2008 (dự kiến): thông báo điểm báo cáo môn Kiểm chứng phần mềm tại Văn
Phòng Khoa hoặc qua Email.
 29/12/2008 – 31/12/2008 (dự kiến): Giải quyết các khiếu nại về kết quả báo cáo môn
học.

3 Dự kiến thời gian

STT Thời gian Nội dung
Tuần
1 08/10/2008 Chuẩn bị nội dung, hình thức báo cáo và tài liệu tham khảo cho SV
2 08/10/2008 Cung cấp tài liệu tham khảo cho sinh viên
3 17/10/2008 Hạn chót SV đăng ký đề tài đồ án môn học để xét duyệt
4-7 17/10 – Tìm hiểu và chuẩn bị đề cương
17/11/2008
8-9 17-22 Nộp đề cương tóm tắt báo cáo
/11/2008
10 25/11/2008 Seminar của SV
11 02/12/2008 Seminar của SV
12 09/12/2008 Seminar của SV

13 16/12/2008 Seminar của SV

14 23/12/2008 Seminar của SV
15 27/12/2008 Nộp báo cáo đồ án môn học
16 29/12/2008 Dự kiến thông báo điểm báo cáo
17 29/12/2008 Dự kiến giải quyết khiếu nại về điểm báo cáo
31/12/2008
4 Một số hướng đề tài gợi ý
STT Tên đề tài Ghi chú
1. Software Code Inspection & Audit Thanh tra phần mềm
2. Software Metrics Các độ đo phần mềm
3. Software Requirement Management Quản lý yêu cầu phần mềm
4. Software Configuration Management (SCM) Quản lý cấu hình phần mềm
5. Capability Maturity Model Integration - Chuẩn mô hình chất lượng
CMMI phần mềm
6. ISO-CMM Các chuẩn ISO và Mô hình
trưởng thành khả năng phần
mềm.
7. Testing Embedded System Kiểm thử với hệ thống

3
 nhúng
8. Functional Testing Kiểm thử chức năng
9. Performance Testing Kiểm thử hiệu năng
10. Database Testing Kiểm thử trên CSDL
11. Security Testing Kiểm thử bảo mật
12. Test Management Quản lý kiểm thử
13. Bug Tracking Lần vết lỗi
14. Communications Testing Kiểm tra truyền thông
15. Regression Testing Kiểm thử hồi quy
16. Acceptance Testing Kiểm thử chấp nhận
17. Component Testing Kiểm thử thành phần
18. Recoverability Testing Kiểm thử tính phục rồi
19. Reliability Testing Kiểm thử tin cậy
20. Scalability Testing
21. Efficiency Testing Kiểm thử hiệu quả
22. Load Testing Kiểm thử tải
23. Unit/Module Testing Kiểm thử đơn vị
24. Software Specification Đặc tả phần mềm
25. Model Checking Kiểm tra mô hình
26. Concurrency Testing Kiểm thử đồng thời
27. Testing Realtime System Kiểm thử hệ thống thời gian
thực
28. Formal Method Phương pháp hình thức
29. Extreme Testing Kiểm thử XP (Extreme)

 Sinh viên sẽ được cung cấp một số tài liệu tham khảo cơ bản liên quan đến các
hướng đề tài trên. Trong quá trình thực hiện đề tài seminar, sinh viên cần tự chủ động
tìm thêm các tài liệu tham khảo và ví dụ demo để bổ sung vào nội dung seminar của
nhóm.
 Những hướng đề tài trên chỉ mang tính gợi ý, sinh viên được khuyến khích tự đề nghị
các đề tài khác liên quan đến lĩnh vực Kiểm thử, kiểm chứng, đánh giá, … phần
mềm.