(LUẬN VĂN THẠC SĨ) Nghiên cứu triển khai dịch vụ VPN,MPLS

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ VĂN THỊ HỒNG PHÚC NGHIÊN CỨU KỸ THUẬT KIỂM THỬ PHẦN MỀM TRÊN CƠ SỞ MƠ HÌNH UML LUẬN VĂN THẠC SĨ Hà Nội - 2009 TIEU LUAN MOI download : skknchat@gmail.com MỤC LỤC Chương 1: Giới thiệu 1.1 Giới thiệu nhiệm vụ đề tài 1.2 Tình hình nghiên cứu nước 1.3 Mục tiêu luận văn Chương 2: Một số khái niệm 2.1 Phần mềm sử dụng cấu phần 2.1.1 Chuẩn tương tác [3] 2.1.2 Chuẩn kết hợp [3] 2.2 Vòng đời phát triển phần mềm sở cấu phần 2.3 Các mơ hình cấu phần dịch vụ cấu phần 12 2.3.1 Mơ hình cấu phần 12 2.3.2 Sự cài đặt mơ hình cấu phần dịch vụ 16 2.4 UML phát triển phần mềm 19 2.4.1 Mục tiêu UML 19 2.4.2 Vai trị, vị trí lược đồ UML vòng đời phần mềm 21 2.4.3 Các công cụ xây dựng UML 22 2.5 Lý thuyết kiểm thử 24 2.5.1 Tại kiểm thử cần thiết? [2] 24 2.5.2 Nguyên nhân gây lỗi phần mềm 25 2.5.3 Vai trò kiểm thử phát triển phần mềm 28 Chương 3: Kiểm thử sở mơ hình UML 34 3.1 Các thành phần cấu phần 34 3.2 UML kiểm thử 35 3.3 Kiểm thử phần mềm sở cấu phần 42 3.4 Các khía cạnh kiểm thử 46 3.3.1 Khía cạnh cấu trúc kiểm thử 47 3.3.2 Khía cạnh hành vi kiểm thử 48 3.5 Mơ hình kiểm thử phần mềm cấu phần [5] 50 3.4.1 Mơ hình tương tác 50 3.4.2 Mơ hình hành vi 51 3.4.3 Cấu trúc điều khiển 52 3.4.4 Các quan hệ tương tác liệu 52 3.6 UML pha kiểm thử tích hợp 53 3.5.1 Mơ hình áp dụng cho kiểm thử tích hợp phần mềm cấu phần 55 3.5.2 Các tiếp cận kiểm thử tích hợp sở UML 58 Chương 4: Thực nghiệm kiểm thử phần mềm 64 4.1 Sử dụng cấu phần Text Java 64 4.2 Bài toán ( Phát biểu) 66 4.3 Quy trình xây dựng tài liệu kiểm thử dựa mơ hình UML 67 4.4 Mơ hình xây dựng use-case với tốn thực tế 67 4.4.1 Xây dựng luồng nghiệp vụ sở cách tiếp cận mơ hình cộng tác/tuần tự 68 4.4.2 Quản lý kho 70 4.4.3 Xây dựng chương trình 94 4.4.4 Các bước thực chương trình 96 4.4.5 Xây dựng tình kiểm thử 97 Kết luận 103 Tóm tắt kết đạt 103 Tồn hướng phát triển 104 Tài liệu tham khảo 106 TIEU LUAN MOI download : skknchat@gmail.com DANH MỤC HÌNH # Tên danh mục hình Trang Hình 1: Các phần tử mơ hình cấu phần 14 18 Hình 2: Chuẩn đặc tả miền Hình 3: Các tình phát sinh lỗi q trình phát triển phần mềm Hình 4: Chi phí sửa lỗi qua giai đoạn phát triển Hình 5: Cấu trúc cầu phần 34 Hình 6: Quy trình kiểm thử cấu phần hệ thống 38 Hình 7: Lược đồ biểu diễn cấu trúc ca kiểm thử 39 Hình 8: Lược đồ biểu diễn use case quản lý giao dịch ATM 40 Hình 9: Mơ hình biểu diễn cấu trúc hồ sơ kiểm thử 47 Hình 10: Các khái niệm liên quan đến tình kiểm thử 48 26 28 10 Hình 11: Các khái niệm liên quan đến hành vi kiểm thử 49 11 Hình 12: Các khái niệm liệu hồ sơ kiểm thử 49 12 Hình 13: Tập điều kiện kiểm tra phụ thuộc 57 13 Hình 14: Mơ hình cộng tác mơ tả hoạt động giao dịch máy ATM 14 Hình 15: Mơ hình mơ tả giao dịch ATM 59 15 Hình 16: Mơ hình trạng thái phục vụ máy ATM 61 16 Hình 17: Mơ hình cấu phần phục vụ giao dịch gửi/rút tiền ATM 63 17 Hình 18: Cây cấu phần JtextComponent 64 18 Hình 19: Ví dụ xây dựng javabean 64 19 Hình 20: Mơ hình use case mơ tả tốn phát biểu 66 20 Hình 21: Mơ hình cộng tác - tốn thực tế 68 21 Hình 22: Mơ hình - toán thực tế 69 60 TIEU LUAN MOI download : skknchat@gmail.com DANH MỤC BẢNG # Tên danh mục bảng Bảng So sánh vòng đời phát triển phần mềm sở cấu phần với vòng đời phát triển phần mềm truyền thống Các yếu tố kiểm thử Bảng UML hỗ trợ loại kiểm thử Bảng Trang 11 32 35 TIEU LUAN MOI download : skknchat@gmail.com THUẬT NGỮ SỬ DỤNG TRONG TÀI LIỆU Thuật ngữ QTDA CNPM CBSE Từ gốc ADT UML Project manager Software engineering Component-base software engineering Reference Model of Open Distributed Processing Application Programming Interfaces Abstract data type Unified Modeling Language OMG COM CSLC RTE Object Management Group Component Object Model Component Software Life Cycle Real-time and embedded system IDL HTTP XML IDE SUT DF Interface Definition Language HyperText Transfer Protocol eXtensible Markup Language Interactive development environment Quality of Service Operating system Component Interaction graph Commercial components Object management architechture System under test Developing for reuse DW Developing with reuse RM-ODP APIs QoS HĐH CIG COTs OMA Giải thích Quản trị dự án Cơng nghệ phần mềm Công nghệ phần mềm sở cấu phần Mô hình tham chiếu quy trình phân tán mở Giao diện lập trình ứng dụng Kiểu liệu trừu tượng Ngơn ngữ mơ hình hố thống Nhóm quản lý đối tượng Mơ hình đối tượng cấu phần Vịng đời phần mềm cấu phần Hệ thống nhúng thời gian thực Ngôn ngữ định nghĩa giao diện Giao thức truyền siêu văn Ngôn ngữ đánh dấu mở rộng Môi trường phát triển tương tác Chất lượng dịch vụ Hệ điều hành Lược đồ tương tác cấu phần Các cấu phần thương mại Nhóm quản lý đối tượng Kiểm thử hệ thống Cấu phần phát triển để sử dụng lại Cấu phần sử dụng lại TIEU LUAN MOI download : skknchat@gmail.com LỜI CẢM ƠN Trước hết xin gửi lời cảm ơn đặc biệt tới PGS.TS Đặng Văn Đức viện Công nghệ thông tin người định hướng đề tài tận tình hướng dẫn bảo tơi suốt trình thực luận văn cao học Tôi xin gửi lời cảm ơn sâu sắc tới Trung tâm Đào tạo Sau đại học thầy cô giáo Khoa Công nghệ thông tin, Trường Đại học Quốc Gia Hà Nội tận tình giảng dạy truyền đạt kiến thức, kinh nghiệm quý báu suốt năm học Cao học Tôi xin bày tỏ lòng cảm ơn chân thành tới tất bạn bè, thầy cô giáo, đồng nghiệp Khoa Công nghệ thông tin, Trường Đại học Quốc Gia Hà Nội động viên, tạo điều kiện cho suốt thời gian thực luận văn Cuối tơi xin dành tình cảm biết ơn tới Bố, Mẹ, người luôn bên cạnh tôi, động viên, chia sẻ suốt thời gian học cao học trình thực luận văn cao học Hà Nội, ngày 30 tháng năm 2009 Văn Thị Hồng Phúc TIEU LUAN MOI download : skknchat@gmail.com LỜI CAM ĐOAN Tôi xin cam đoan: Luận văn “Nghiên cứu kỹ thuật kiểm thử phần mềm sở mơ hình UML” cơng trình nghiên cứu riêng Các kết nghiên cứu luận văn trung thực Nếu sai tơi xin hồn tồn chịu trách nhiệm Hà Nội, ngày 30 tháng năm 2009 Học viên Văn Thị Hồng Phúc TIEU LUAN MOI download : skknchat@gmail.com Chương 1: Giới thiệu 1.1 Giới thiệu nhiệm vụ đề tài Kiểm thử khâu khơng thể thiếu q trình phát triển phần mềm Nhiều hệ thống phần mềm thất bại khơng tìm lỗi Nguồn lực sử dụng cho khâu kiểm thử yêu cầu lớn trình phát triển phần mềm Quá trình kiểm thử yêu cầu số pha kết hợp gồm: kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống, kiểm thử chấp nhận Quy trình kiểm thử xây dựng nhằm đạt mục tiêu sau:  Xem xét yêu cầu đưa khách hàng, đối chiếu với sản phẩm phần mềm lập trình lập trình viên  Phát sai sót lỗi phần mềm mà hành vi phần mềm không đúng, không tuân theo đặc tả Phương pháp hướng đối tượng (Object-Oriented) thể rõ tính ưu việt phát triển phần mềm Trong đó, tính đóng gói, trừu tượng hóa tính sử dụng lại làm tăng chất lượng phần mềm Theo Paul Allen có đến 70% hệ thống phần mềm phát triển dựa sở cấu phần Các cấu phần thường phát triển theo hướng đối tượng viết ngôn ngữ khác nhau, chạy môi trường khác nhau, phân tán khắp nơi người phát triển phần mềm không cung cấp mã nguồn Các đặc tính nguyên nhân gây nhiều khó khăn việc kiểm thử hệ thống phần mềm Để tăng tính mềm dẻo nhìn nhận chức năng, đặc điểm phần mềm xây dựng, sử dụng ngơn ngữ mơ hình hóa chuẩn UML Ngơn ngữ mơ hình hóa thống (UML – Unified Modeling Language) công nhận chuẩn công nghiệp cho việc phân tích thiết kế hệ thống hướng đối tượng UML cung cấp ký pháp biểu đồ thể thơng tin thiết kế góc độ nhìn hệ thống Trong năm gần đây, có nhiều nghiên cứu sử dụng mơ hình UML nguồn thông tin đầu vào cho kiểm thử phần mềm Thí dụ, biểu đồ trạng thái UML sử dụng biểu diễn hành vi bên đối tượng thành phần, biểu đồ tương tác được ứng dụng kiểm thử tương tác lớp cấu phần Biểu đồ hoạt động biểu diễn quan hệ thành phần cấu phần Thực tế cho thấy phương pháp Phát triển phần mềm theo cấu phần làm giảm chi phí dự án phát triển phần mềm So với công nghệ truyền thống chuẩn, công nghệ phần mềm sở cấu phần quan tâm đến cách xây dựng phần mềm nhiều Thông qua việc sử dụng lại cấu phần, vòng đời phát triển phần mềm rút ngắn lại, đồng thời tăng tính mềm dẻo sử dụng TIEU LUAN MOI download : skknchat@gmail.com bảo trì phần mềm Hơn nữa, phát triển phần mềm có khả làm tăng chất lượng phần mềm Với tầm quan trọng trên, có nhiều kết nghiên cứu lý thuyết sản phẩm công cụ hỗ trợ phát triển phần mềm sở cấu phần Nội dung luận văn nhằm mục tiêu khảo sát vấn đề kỹ thuật phát triển phần mềm theo cấu phần Đặc biệt luận văn tập trung vào kỹ thuật kiểm thử phần mềm phát triển dựa theo cấu phần với mục đích hướng tới ứng dụng thực tế Việt Nam 1.2 Tình hình nghiên cứu ngồi nước Năm 1975 Freed Brooks, nhà quản lý dự án IBM, viết The Mythical Man-month Bài luận ngắn trong sách mơ tả khó khăn phát triển phần mềm phức tạp, Brooks viết chương với tiêu đề “No Silver Bullet” giải thích hệ thống phần mềm phức tạp Ơng dự đốn khơng có kỹ thuật – no silver bullet – mà cải thiện suất theo danh sách yêu cầu cho hệ thống Trong chương này, Brooker trích dẫn lý gây nên “khủng hoảng phần mềm”, khủng hoảng tiếp tục kỹ thuật công nghệ phần mềm sở cấu phần (CBSE – Component based software engineering) trở nên có tính khoa học thực dựa tính khoa học Và thế, CBSE đưa “Những học hay nhất” sản phẩm công nghệ phần mềm suốt 30 năm Brooks trình bày phương pháp khả thi giúp giảm mức độ phức tạp phần mềm “Buy before Build” “Reuse before Buy” Các khái niệm mấu chốt đưa nhằm giúp giảm chi phí cơng nghệ phát triển phần mềm Trong hội nghị thảo luận năm 1968, NATO tham gia tranh luận thuật ngữ khủng hoảng phần mềm Thêm nhiều thuật ngữ khó hiểu kẽ hở phần mềm, … thuật ngữ làm rõ trình phát triển công nghệ phần mềm Theo David Fraser phát biểu năm 1968, “ Kẽ hở phát thời điểm mà hậu việc hỏng hóc phần mềm tăng theo mức độ nghiêm trọng” Để phát triển phần mềm sở cấu phần phải học cách xây dựng cấu phần dựa vào yêu cầu, dựa việc thiết kế module thành phần hay thiết kế trực tiếp cấu phần Các khách hàng đặt hàng (các cấu phần) việc tích hợp cấu phần cung cấp nhà sản xuất đảm bảo đáp ứng yêu cầu khách hàng với mong muốn họ đưa Khái niệm mơ hình cấu phần phần mềm phát triển rộng rãi BradCox đặt móng cho việc tạo hạ tầng phát triển cấu phần TIEU LUAN MOI download : skknchat@gmail.com dựa ngơn ngữ lập trình C (Nội dung đúc kết sách ObjectOriented Programming – An Evolution Approach 1986) IBM tiên phong mở lối nghiên cứu Mơ hình đối tượng hệ thống đầu năm 1990 Một số đóng góp ứng dụng phần mềm cấu phần OLE COM Mơ hình cấu phần phần mềm tiếp tục thu thành đáng kể 1.3 Mục tiêu luận văn Luận văn nhằm mục tiêu nghiên cứu khảo sát sơ kỹ thuật kiểm thử phần mềm, với giải pháp áp dụng mơ hình UML vào kiểm thử phần mềm sở cấu phần Từ đó, áp dụng kết nghiên cứu lý thuyết vào thực nghiệm kiểm thử thiết kế phần mềm cụ thể mà luận văn đưa Nội dung nghiên cứu tập trung vào số vấn đề sau: 1) Tổng quan vấn đề kiểm thử phần mềm, nguyên tắc kiểm thử Tổng quan phát triển phần mềm dựa cấu phần, bao gồm khái niệm cấu phần, chuẩn tương tác, chuẩn kết hợp, cài đặt mơ hình cấu phần, mơ hình cấu phần - dịch vụ cấu phần, tiếp cận UML, vai trò UML đặc tả thiết kế, ứng dụng vào kiểm thử 2) Nghiên cứu phương pháp luận kiểm thử phần mềm sở cấu phần, bao gồm mơ hình kiểm thử phần mềm dựa cấu phần, kiểm thử tích hợp sở mơ hình UML phần mềm phát triển cấu phần Xây dựng biểu đồ UML hỗ trợ ca kiểm thử tích hợp 3) Phát triển thực nghiệm kiểm thử phần mềm sở sử dụng cấu phần có sẵn dựa tốn ứng dụng đưa ra; xây dựng pha phân tích, thiết kế kiểm thử TIEU LUAN MOI download : skknchat@gmail.com 93 Xuất kho tiêu thụ Hệ thống NSD Bắt đầu Chọn dịch vụ Chọn lý bán Nhập danh mục hàng bán Kiểm tra: hàng có serial? Chọn giá mặt hàng + số lượng Có Có Nhập serial mặt hàng Không Nhập thêm mặt hàng khác? Tạo giao dịch Không Trừ kho nhân viên Kết thúc Bước Hệ thống NSD NSD nhập thông tin đơn hàng cần bán: Dịch vụ Lý bán TIEU LUAN MOI download : skknchat@gmail.com 94 Nhấn [Thêm] để thêm mặt hàng giao dịch Nhập thông tin mặt hàng giao dịch Mã hàng Đơn giá Số lượng Nhấn [Cập nhật] Kiểm tra mặt hàng có quản lý theo serial hay khơng Nếu có thực bước Nếu khơng thực bước Tìm kiếm serial mặt hàng quản lý kho Chọn serial cần thực giao dịch Nhấn [Cập nhật] (Người dùng chọn mặt hàng khác cho đơn hàng) Hệ thống tạo giao dịch thành công Hệ thống thực trừ số lượng hàng kho giao dịch viên Hệ thống thực cập nhật trạng thái serial = xuất, kết thúc giao dịch Dòng kiện phụ  Bao gồm kiện phụ UC005 - Xuất Yêu cầu đặc biệt  Bao gồm yêu cầu đặc biệt UC005 - Xuất Tình trạng trước  Bao gồm tình trạng trước UC005 - Xuất Tình trạng sau  Bao gồm tình trạng sau UC005 - Xuất 4.4.3 Xây dựng chương trình Ta xây dựng chương trình phần mềm sở cấu phần có sẵn với ngơn ngữ lập trình Java Các cấu phần JavaBean đóng gói dịch thành file JAR, file bao gồm file class, tài nguyên đáp ứng cho lời gọi file thống kê Các lời gọi cung cấp thông tin chúng TIEU LUAN MOI download : skknchat@gmail.com 95 Sau bước tích hợp cấu phần vào chương trình xây dựng, phát triển đơn vị chương trình ta tiến hành kiểm thử sở cấu phần tích hợp xây dựng form chức hoàn chỉnh Các cấu phần hiển thị frame ToolBox: Khi thực thi chương trình, form hiển thị: TIEU LUAN MOI download : skknchat@gmail.com 96 4.4.4 Các bước thực chương trình Bước Servlet cung cấp tảng cấu phần, phương thức phát triển độc lập đáp ứng cho xây dựng ứng dụng Web, mà khơng thực giới hạn chương trình CGI Không giống chế mở rộng thực server riêng rẽ( chẳng hạn Netscape Server API module Apache), servlet server với tảng độc lập Run Java servlet Vòng đời servlet bao gồm bước: Class servlet load trình bao gói suốt thời gian khởi động Trình bao gói gọi phương thức init() Phương thức khởi tạo servlet phải gọi trước servlet phục vụ u cầu Trong tồn vịng đời servlet, phương thức init() gọi lần Sau khởi tạo, servlet phục vụ TIEU LUAN MOI download : skknchat@gmail.com 97 yêu cầu client Mỗi yêu cầu phục vụ chia theo tiến trình riêng Trình bao gói gọi phương thức service() servlet yêu cầu Phương thức service() xác định loại yêu cầu thực thi gửi cho phương thức kết hợp để quản lý yêu cầu Đối tượng phát triển servlet phải cung cấp thực thi cho phương thức Nếu yêu cầu tương ứng với phương thức không thực thi servlet, phương thức class cha gọi Kết lỗi trả lại tương ứng với u cầu Cuối cùng, trình bao gói gọi phương thức destroy(), phương thức giải phóng servlet khỏi dịch vụ Phương thức destroy giống init() gọi lần vòng đời Servlet Một applet chương trình viết ngơn ngữ lập trình Java, chứa trang HTML, tương tự ảnh đưa vào trang Applet sử dụng để cung cấp tính tương tác với ứng dụng Web Bước Run Applet Java applet thực thi nhiều trình duyệt nhiều hệ điều hành Windows, Unix, Mac OS, Linux Code applet tải từ web server trình duyệt nhúng đồng thời applet vào trang web mở cửa sổ trình diễn giao diện sử dụng applet 4.4.5 Xây dựng tình kiểm thử Ta xây dựng tình kiểm thử ứng với use case “Xuất hàng tiêu thụ” toán thực tiễn phát biểu TIEU LUAN MOI download : skknchat@gmail.com 98 Các use case scenario phát triển từ use case bao gồm:  Lập giao dịch bán hàng cho khách  Kiểm tra giá trị giao dịch  Lập hóa đơn giao dịch Dưới bảng xây dựng tình kiểm thử use case nhập giao dịch bán lẻ hàng Tình Các bước thực Lập giao dịch bán hàng cho khách Thực giao dịch Mở chức “Lập giao bán hàng thành cơng – dịch bán lẻ” menu hàng có serial Nhập giao dịch bán lẻ thành công Loại dịch vụ: Chi tiết giao dịch: Ngày bán: Lý bán: HTTH: Nhấn Thêm Nhập thông tin mặt hàng: Mặt hàng Số lượng Nhấn [Cập nhật] Kết mong đợi Chương trình hiển thị thơng tin giao dịch nhập - Hàng vừa nhập hiển thị danh sách mặt hàng giao dịch, với thông tin: mã hàng, giá, thuế, khuyến mãi,Tổng tiền - Thông tin tiền hàng cập nhật vào phần tính tổng tiền cho tồn giao dịch Tìm kiếm serial hàng hóa Dải serial cung cấp kho gắn với hàng hóa Chọn số lượng serial Mỗi số serial kho ứng với số với mặt hàng lựa lượng mặt hàng giao dịch chọn [Chấp nhận] dải serial giao dịch Nhấn "Ghi giao dịch" Giao dịch ghi thành công TIEU LUAN MOI download : skknchat@gmail.com 99 Thực giao dịch thành cơng – hàng khơng có serial Kiểm tra lượng hàng kho không đủ giao dịch Lượng hàng giao dịch trừ kho giao dịch viên Trạng thái serial cập nhật khơng cịn kho Mở chức “Lập giao Chương trình hiển thị dịch bán lẻ” menu thơng tin giao dịch nhập Nhập giao dịch bán lẻ thành công Loại dịch vụ: Chi tiết giao dịch: Ngày bán: Lý bán: HTTH: Nhấn Thêm - Hàng vừa nhập Nhập thông tin mặt hàng: hiển thị danh sách Mặt hàng mặt hàng giao dịch, Số lượng với thông tin: mã hàng, Nhấn [Cập nhật] giá, thuế, khuyến mãi,Tổng tiền - Thông tin tiền hàng cập nhật vào phần tính tổng tiền cho tồn giao dịch Nhấn "Ghi giao dịch" Giao dịch ghi thành công Lượng hàng giao dịch trừ kho giao dịch viên Nhấn [Thêm] danh Hệ thống kiểm tra số sách nhập hàng giao dịch lượng hàng có kho Nhập tên mặt hàng hiển thị thông báo: Nhập số lượng hàng>số hàng không đủ để lượng có kho thực giao dịch Nhấn “Cập nhật” Giao dịch không lưu TIEU LUAN MOI download : skknchat@gmail.com 100 vào hệ thống Nhập giao dịch gồm nhiều Hệ thống kiểm tra số mặt hàng có mặt lượng hàng có kho hàng số lượng giao dịch > hiển thị thông báo: Mặt số lượng có hàng khơng đủ để thực giao dịch Giao dịch không lưu vào hệ thống Kiểm tra thông tin Nhập ngày giao dịch > Chương trình hiển thị giao dịch ngày thời thông báo: Ngày giao dịch nhập sau ngày thời Bỏ trống thông tin Không nhập thông tin Chương trình hiển thị bắt buộc nhập giao dịch bán lẻ bắt buộc thông báo: > không như: để trống Ngày bán: Lý bán: HTTH: Nhập hàng hóa thực giao dịch Nhấn "Lưu" Số lượng hàng giao Nhấn [Thêm] danh Hệ thống hiển thị thông dịch bị bỏ trống sách hàng giao dịch báo: Bạn chưa nhập số Nhập mặt hàng giao dịch lượng hàng thực giao Không nhập số lượng dịch hàng giao dịch Nhấn [Cập nhật] Mặt hàng giao dịch Nhấn [Thêm] danh Hệ thống hiển thị thông chưa khai giá sách hàng giao dịch báo: Chưa khai giá cho Nhập mặt hàng giao dịch mặt hàng Số lượng hàng nhập Nhấn [Thêm] danh Hệ thống hiển thị thông giao dịch < sách hàng giao dịch báo: Số lượng hàng giao Nhập mặt hàng giao dịch dịch phải lớn Nhập số lượng hàng giao dịch < Nhấn [Cập nhật] Kiểm tra giá trị giao dịch TIEU LUAN MOI download : skknchat@gmail.com 101 Kiểm tra giá trị “tổng Nhập mặt hàng giao dịch tiền” Tra cứu giá mặt hàng Giá trị đơn giá mặt hàng giá trị bao gồm thuế Tổng tiền = Tổng [Đơn giá * số lượng] mặt hàng Kiểm tra giá trị thuế Dựa tổng tiền, VAT Thuế = Tổng (đơn giá*số mặt hàng: kiểm tra lượng)*VAT mặt giá trị thuế đơn hàng hàng Kiểm tra giá trị chưa Kiểm tra giá trị chưa thuế Chưa thuế = Tổng tiền – thuế đơn hàng Thuế Kiểm tra giá trị phải Xác định lượng tiền phải Phải trả = Chưa thuế + trả trả đơn hàng Thuế - Khuyến – Chiết khấu Hóa đơn cho giao dịch bán hàng Lập hóa đơn bán hàng Trên hình lập giao Chương trình thực từ giao dịch bán lẻ dịch bán hàng lập hóa đơn giao dịch thành cơng Nhập mặt hàng giao dịch thành cơng Nhấn “Ghi giao dịch” Hóa đơn kho nhân Chọn tùy chọn: Lập hóa viên sử dụng vào đơn bán hàng giao dịch Số hóa đơn trắng kho giảm hóa đơn Lập hóa đơn bán hàng Mở chức “Lập hóa Chương trình thực cho nhiều giao dịch đơn bán hàng” lập hóa đơn thành cơng thành cơng Chọn giao dịch lập Hóa đơn kho nhân hóa đơn viên sử dụng vào Chọn [Lập hóa đơn] giao dịch Số hóa đơn trắng kho giảm hóa đơn Cửa hàng khơng cịn Trên hình lập giao Chương trình hiển thị hóa đơn trắng dịch bán hàng thơng báo: Kho hết hóa Nhập mặt hàng giao dịch đơn sử dụng Nhấn “Ghi giao dịch” TIEU LUAN MOI download : skknchat@gmail.com 102 Chọn tùy chọn: Lập hóa đơn bán hàng Mở chức “Lập hóa đơn bán hàng” Chọn giao dịch lập hóa đơn Chọn [Lập hóa đơn] Khơng chọn giao dịch Nhấn [Lập hóa đơn] từ lập hóa đơn hình Lập hóa đơn Chương trình hiển thị thơng báo: Kho hết hóa đơn sử dụng Chương trình hiển thị thơng báo: Chọn giao dịch để lập hóa đơn Thơng tin hóa đơn bỏ Mở chức lập hóa đơn Chương trình hiển thị trống Nhập thơng tin hóa đơn thơng báo: Trường Nhấn [Lập hóa đơn] khơng bỏ trống Kiểm tra thông tin Thông tin giao dịch giao dịch hóa đơn hóa đơn hiển thị giống hình giao dịch bán lẻ gồm: Khách hàng, lý bán hàng, hình thức bán Các mặt hàng giao dịch Các giao dịch hóa đơn TIEU LUAN MOI download : skknchat@gmail.com 103 Kết luận Hiện nay, phát triển phần mềm hướng cấu phần (CBSE) thu hút nghiên cứu từ nhiều góc độ khác kỹ thuật xây dựng, đánh giá, kiểm định phần mềm, quy trình khảo sát, phân tích thiết kế, quản lý Phát triển phần mềm hướng cấu phần (CBSE) công nghệ quan trọng cho phép xây dựng hệ thống phần mềm chất lượng cao, mở hệ thống phần mềm lớn cách tích hợp cấu phần phần mềm tồn trước CBSE giảm bớt giá thành phát triển phần mềm, xây dựng hệ thống cách nhanh chóng, giảm bớt việc bảo trì theo kiểu xoắn ốc liên quan đến việc hỗ trợ nâng cấp cho hệ thống lớn CBSE thu hút nghiên cứu nhiều từ góc độ kỹ thuật xây dựng, đánh giá phần mềm quy trình khảo sát, phân tích thiết kế, quản lý, đánh giá Một hướng nghiên cứu thay đổi cách phát triển hệ thống phần mềm: chuyển từ việc lập trình tạo sản phẩm sang việc biên soạn hệ thống phần mềm, tức tập trung vào việc lựa chọn tích hợp cấu phần có sẵn để xây dựng nên hệ thống Trong phương pháp phát triển việc tìm kiếm cấu phần lựa chọn tích hợp dịch vụ cấu phần hai vấn đề tập trung nghiên cứu UML hỗ trợ phát triển phần mềm hướng cấu phần đem đến cho đối tượng phát triển hệ thống nhìn rõ ràng hệ thống xây dựng, giúp cho người phân tích thiết kế thấy yếu tố ảnh hưởng trực tiếp tới hệ thống Trên sở đó, cán phân tích hệ thống xác định cấu phần cần tích hợp với hệ thống Tham gia vào quy trình phát triển phần mềm ln có góp mặt phận kiểm định phần mềm Với phương pháp phát triển phần mềm cấu phần trên, kết hợp với bước kiểm định làm giảm thiểu cách tối đa lỗi phần mềm Tuy thế, Mặt khác, ta khẳng định phát triển phần mềm sở cấu phần, với tham gia UML thiết kế phần mềm làm khơng cịn lỗi Tóm tắt kết đạt Qua thời gian nghiên cứu tìm hiểu phần mềm xây dựng sở cấu phần, áp dụng UML CBSE, kiểm thử phần mềm, áp dụng nghiên cứu kiểm thử phần mềm vào phần mềm hướng cấu phần đạt kết định Một công việc quan trọng kỹ thuật kiểm thử TIEU LUAN MOI download : skknchat@gmail.com 104 là: phát lỗi hỗ trợ sửa lỗi nhằm đảm bảo chất lượng phần mềm Với phát triển không ngừng kỹ thuật lập trình nay, lập trình hướng cấu phần (COP) lên kỹ thuật lập trình cung cấp khả phát triển hệ thống Xét tính khả thi, hiệu kinh tế CBSE mang lại mà luận văn tập trung nghiên cứu đến khía cạnh kiểm thử phần mềm sở cấu phần Như vậy, sau trình tìm hiểu, nghiên cứu vấn đề kiểm thử nói trên, luận văn tơi đạt số kết sau:  Tìm hiểu tổng quan khái niệm chuẩn phần mềm hướng cấu phần, đánh giá, phân tích ưu nhược điểm phần mềm xây dựng sở hướng cấu phần  Kết hợp kỹ thuật kiểm thử vào quy trình phát triển phần mềm hướng cấu phần Từ thấy ưu điểm việc kiểm thử tốn thực tế  Xây dựng ví dụ thực nghiệm áp dụng nghiên cứu với toán “quản lý bán hàng” Tồn hướng phát triển Với phát triển vũ bão nghành Công nghệ thông tin, hệ thống phần mềm ngày phức tạp, nhu cầu sử dụng lại thành có sẵn nhằm giảm chi phí giá thành cạnh tranh sản xuất mục tiêu hướng tới doanh nghiệp Chính hướng phát triển phần mềm sở hướng cấu phần giai đoạn hợp lý thu hút quan tâm nhiều đối tượng Các kỹ thuật kiểm thử phần mềm chưa đáp ứng cách triệt để, chưa kiểm soát hết khía cạnh giao tiếp cấu phần cấu phần với Việc sử dụng lại cấu phần phát triển theo khía cạnh sử dụng lại hộp trắng, sử dụng lại hộp đen Vì thế, vấn đề đặt thời gian tới ta xây dựng kỹ thuật kiểm thử hiệu đáp ứng nhu cầu kiểm soát hoạt động cấu phần toàn hệ thống kiểm soát thay đổi, nâng cấp tính nhăng tích hợp cấu phần tồn hệ thống Vậy làm để bao quát vấn đề quản lý cấu phần hệ thống phần mềm, từ kiểm thử ảnh hưởng cấu phần hệ thống Và tương lai liệu có cơng cụ hỗ trợ cho hướng kiểm thử này? Với mục tiêu hướng tới phần mềm có chất lượng cao, đạt hiệu kinh tế, hướng nghiên cứu tương lai cần tập trung vào: TIEU LUAN MOI download : skknchat@gmail.com 105 - Nghiên cứu kỹ thuật kiểm thử hiệu đơn vị cấu phần cho sử dụng lại - Đi sâu vào kỹ thuật kiểm thử tích hợp cấu phần có sẵn vào phần mềm xây dựng - Tìm hiểu cơng cụ hỗ trợ kiểm thử đáp ứng phần mềm xây dựng sở hướng cấu phần TIEU LUAN MOI download : skknchat@gmail.com 106 Tài liệu tham khảo 1) Dinesh Maidasani, 2007, Software Testing, Firewall 2) Dorothy Graham, Erik van Veenendaal, Isabel Evans, Rex Black, 2008, Foundation of software testing, Cengage Learning (Thompson) 3) Bill Councill, George T Heineman, May.2001, Component-Based software engineering, Addison-Wesley 4) Hans Gerhard, 2005, Component-Based Software Testing with UML, Springer 5) Jerry Zeyu Gao, H.-S.Jacob Tsao Ye Wu, August.2003, Testing And Quality Assurance For Component Based Software, Artech House 6) Bruce Powel Douglass, 2002, Real-Time Design Patterns, AddisonWesley 7) Andy Ju An Wang, Kai Qian, 2005, Component-Oriented Programming, John Wiley & Sons, Inc., Hoboken, New Jersey 8) H Muccini and A Bucchiarone, 2004, Testing Product Line Architectures 9) Jean Hartmann; Claudio Imoberdorf; Michael Meisinger, 2000, UML-Based Integration Testing 10) Antonia Bertolino; Eda Marchetti; Andrea Polini, 2003, Intergration of “Components” to Test Software Components, Vol.82 11) Clay E Williams, Software Testing and the UML, Center for Software Engineering, IBM T J Watson Research Center 12) Shaukat Ali1, Lionel C Briand, Muhammad Jaffar-ur Rehman, Hajra Asghar, Muhammad Zohaib Z Iqbal, Aamer Nadeem, October 2006, A State-based Approach to Integration Testing based on UML Models, Carleton Technical Report SCE-05-02, Version 13) Ye Wu and Mei-Hwa Chen and Jeff Offutt, UML-based Integration Testing for Component-based Software, Information and Software Engineering Department George Mason University, Computer Science Department State University of New York at Albany 14) British Computer Society Specialist Interest Group in Software Testing,2001, Standard for Software Component Testing TIEU LUAN MOI download : skknchat@gmail.com 107 15) Trung Thanh Dinh Trong, 2007, A Systematic Procedure for Testing UML Designs, Computer Science Department, Colorado State University 16) Dominykas Barisas, Eduardas Bareisa, 2009, A Software testing approach based on behavioral UML models, ISSN 1392-124X, Vol.38, No.2 17) Adriana Carniello, Mario Jino, Marcos Lordello Chaim, August 2005, Structural Testing with Use Case, JCS & T, Vol.5 No 18) Zhen Ru Dai, Model- Driven Testing with UML 2.0, Fraunhofer FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin, Germany 19) Adrita Bhor, June 2001, Software Component Testing Strategies, Dept of Information and Computer Science University of California, Irvine, Report UCI-ICS-02-06 20) Jerry Gao, Ph.D, Testing Component-Based Software, San Jose State University One Washington Square San Jose, CA 95192-0180 TIEU LUAN MOI download : skknchat@gmail.com ... skknchat@gmail.com LỜI CAM ĐOAN Tôi xin cam đoan: Luận văn ? ?Nghiên cứu kỹ thuật kiểm thử phần mềm sở mô hình UML” cơng trình nghiên cứu riêng tơi Các kết nghiên cứu luận văn trung thực Nếu sai tơi xin hồn tồn... kèm Một mô tả triển khai cung cấp thơng tin bên gói (hoặc gói liên quan) thơng tin khác cần thiết cho quy trình triển khai Chuẩn triển khai đặc tả cấu trúc ngữ nghĩa cho mô tả triển khai quy định... + Các dịch vụ Đặc tả miền Hình Chuẩn đặc tả miền [3] Đồng Thông tin liên lạc Tự động hóa quy trình Tài Chăm sóc dịch vụ Các hạ tầng ngang + Các dịch vụ Mơ hình cấu phần chung + Các dịch vụ Quản