- Kỹ thuật sinh test case tự động từ yêu cầu phần mềm. - Abstract: Đưa ra các vấn đề cần thiết và cấp bách trong việc nghiên cứu và xây dựng một kỹ thuật sinh Test case hiệu quả từ yêu cầu người dùng. - Giới thiệu tổng quan về quá trình sinh test case tự động và các phương pháp sinh Test case: Sinh Test case dựa trên đặc tả, sinh test case dựa trên mô hình, sinh test case hướng đường dẫn. - Trình bày các phương pháp và kỹ thuật sinh Test case tự động hiện có, từ đó đề xuất một kỹ thuật sinh Test case tự động và phân tích ưu điểm của nó so với các kỹ thuật trước.. - Phát triển chương trình ứng dụng quá trình sinh Test case tự động. - Keywords: Công nghệ phần mềm, Kỹ thuật sinh test case, Phần mềm, Tin học. - Mặc dù việc nghiên cứu về các phương pháp và kỹ thuật sinh Test case tự động từ yêu cầu người dùng đã được quan tâm nhiều trên thế giới, nhưng ở Việt Nam các nghiên cứu và ứng dụng chỉ mới ở bước đầu. - Thực vậy, công việc sinh Test case tự động từ yêu cầu người dùng một cách có hiệu quả trong quá trình kiểm thử là vấn đề cần thiết và bức xúc của các công ty sản xuất phần mềm cũng như các tổ chức thực hiện phát triển dự án phần mềm.. - Trong quá trình phát triển dự án phần mềm, thường công việc tạo ra các Test case từ yêu cầu người dùng do các Tester phụ trách. - Nhưng không phải Tester nào viết các tài liệu Test case này cũng như nhau. - Vì vậy trong các công ty phần mềm cũng như các tổ chức thực hiện phát triển các dự án phần mềm sẽ phát sinh một vấn đề là: Tester nào viết tài liệu Test case tốt, có hiệu quả thì chất lượng phần mềm sẽ tốt hơn những dự án có Test case tồi. - Vậy tại sao chúng ta không đồng nhất hóa công việc viết Test case bằng các phương pháp và kỹ thuật tự động nhằm giảm bớt công sức và thời gian của các tester, làm cho chất lượng của Test case tốt hơn.. - Có các hướng tiếp cận khác nhau trong việc sinh Test case tự động: thứ nhất là có thể sinh Test case tự động dựa trên đặc tả từ một file input đã được định sẵn. - thứ hai là sinh Test case tự động dựa trên code, chương trình có sẵn. - thứ ba là sinh Test case tự động dựa trên các mô hình UML. - Trong ba hướng tiếp cận trên chúng tôi chọn hướng tiếp cận thứ ba và nghiên cứu các phương pháp theo hướng tiếp cận này.. - Trong đề tài luận văn này chúng tôi nghiên cứu các vấn đề về tạo Test case tự động từ yêu cầu người dùng. - Sau đó, chúng tôi xem xét các phương pháp và kỹ thuật hiện có trong việc tạo Test case tự động để từ đó có thể đưa ra những cải tiến bổ sung và phát triển. - Cuối cùng là xây dựng một công cụ sinh Test case tự động có thể áp dụng trong thực tế.. - Chương 1: Đặt vấn đề, đưa ra các vấn đề cần thiết và cấp bách trong việc nghiên cứu và xây dựng một kỹ thuật sinh Test case hiệu quả từ yêu cầu người dùng.. - Chương 2: Giới thiệu tổng quan về sinh Test case tự động. - Trên cơ sở đó chọn hướng tiếp cận sẽ đi sâu vào nghiên cứu ở Chương 3.. - Chương 3: Trình bày các phương pháp và kỹ thuật sinh Test case tự động hiện có. - Từ đó đề xuất một kỹ thuật sinh Test case tự động và phân tích ưu điểm của nó so với các kỹ thuật trước.. - Chương 4: Trình bày quá trình sinh Test case hiệu quả dựa trên kỹ thuật được đề xuất.. - Đồng thời xây dựng chương trình demo quá trình sinh Test case tự động.. - Sau khi nghiên cứu và thử nghiệm, trong phần Kết luận có nêu một số tổng kết và nhận xét về việc sinh Test case tự động, đồng thời đề ra hướng nghiên cứu tiếp theo.. - [6] Matthias Riebish, Ilka Philippow, Marco Gotze, UML Based Statistical Test Case Generation".