Kỹ nghệ phần mềm phòng sạch_Nhập môn công nghệ phần mềm pot

TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP HÀ NỘI KHOA CÔNG NGHỆ THÔNG TIN  BÀI TẬP LỚN MÔN NHẬP MÔN CÔNG NGHỆ PHẦN MỀM Đề tài: Kỹ nghệ phần mềm phòng sạch Giáo viên hướng dẫn: Th.s Nguyễn Thanh Bình Sinh viên thực hiện: Nhóm 10-Lớp CĐ Tin2-K11 1:Lê Huy Lân 2: Nguyễn Tiến Đạt 3: Đặng Thị Hà 1 Hà Nội 05/2011 LỜI GIỚI THIỆU CNPM ở Việt Nam được xem là một ngành công nghiệp đặc thù với sản phẩm trí tuệ là phần mềm và là một ngành công nghiệp đầy tiềm năng, ngành mũi nhọn trong chiến lược trong công cuộc công nghiệp hóa hiện đại hóa đất nước. Từ trước tới nay Việt Nam vẫn được đánh giá là nước có tốc độ phát triển công nghiệp phần mềm cao và ổn định, khoảng 30-40% 1 năm, nhờ vào công cuộc đổi mới và ngồn lao động giá rẻ. Chính nhờ nguồn lao động giá rẻ mà chúng ta thu hút được một số dự án đầu tư của nước ngoài. Tuy nhiên khác với những nghành công nghiệp đặc thù khác, công nghiệp phần mềm lại cần một nguồn nhân lực có trình độ, tư duy lôgic tốt, am hiểu ngoại ngữ và các nền tảng công nghệ. Nguồn nhân lực như vậy chúng ta đang thiếu rất nhiều. Thêm nữa công nghiệp phần mềm Việt Nam chủ yếu vẫn là gia công phần mềm chưa thực sự nắm được một nền tảng công nghệ nào, tức là chúng ta chỉ đang làm mướn mà thôi. Chính vì vậy nhiệm vụ của chúng ta hiện nay để vực dậy nền công nghiệp phần mềm non trẻ là thứ nhất: đào tạo đội ngũ nhân lực có đầy đủ năng lực trình độ ngoại ngữ, thứ hai: các viện nghiên cứu, các trường đại học phải là những nơi tiên phong trong việc nghiên cứu áp dụng những nền tảng công nghệ, để giúp cho Việt Nam không chỉ còn là “kẻ làm mướn” mà còn có thể làm chủ, phát huy tính chủ động sáng tạo trong mỗi trí thức trẻ. Đó chính là giá trị thực mà chúng ta cần vươn tới. Góp phần nhỏ bé vào mục tiêu cao cả ấy, nhóm sinh viên số 10 lớp tin2_k11 trường Đại Học Công Nghiệp Hà Nội chúng tôi đã tiến hành tiến hành tìm hiểu và báo về đề tài Công nghệ phần mềm phòng sạch(hay còn gọi là mô hình hình thức). Đây là một công nghệ mới ở Việt Nam và cũng chỉ được áp dụng ở một vài nước tiên tiến nhất trên thế giới. Đúng như tên gọi của nó mục tiêu của phương pháp này là tạo ra những phần mềm “cực kỳ sạch” tức là không có bất kỳ một lỗi nào. Điều này cực kỳ hữu ích bởi chúng ta đều biết 70% chi phí cho một phần mềm dùng vào việc bảo trì sửa chữa. Thặng dư tạo ra sẽ cực kỳ lớn. Bài báo cáo sau đây sẽ đem lại cho các bạn cái nhìn tổng quan nhất về Công nghệ phần mềm phòng sạch, là hướng mở cho sinh viên CNTT chúng ta nghiên cứu và phát triển. Nhóm chúng tôi xin chân thành cảm ơn cô giáo Nguyễn Thanh Bình cũng như các bạn đồng nghiệp gần xa đã tận tình giúp đỡ chúng tôi hoàn thành bản báo cáo này. Tuy đã cố gắng hết sức nhưng do thời gian, kinh nghiệm và năng lực còn hạn chế nên trong bản báo cáo không thể tránh khỏi những thiếu sót. Rất mong nhận được sự đóng góp phản hồi từ các bạn để chúng tôi ngày càng hoàn thiện hơn! Một lần nữa Chúng em xin chân thành cảm ơn! 2 Mục lục DANH MỤC TỪ VIẾT TẮT Từ viết tắt Nghĩa CNPM Công nghệ phần mềm CNTT Công nghệ thông tin SQA Software Quality Assurance 3 BẢNG DANH MỤC CÁC HÌNH VẼ Hình Nội dung 1.1 Mô hình qui trình phòng sạch 1.2 Cơ cấu đặc tả hộp 1.3 Đặc tả hộp đen 1.4 Đặc tả hộp trạng thái 1.5 Nhận dạng hộp sáng 1.6 Thiết kế đặc tả chính xác 1.7 Thuật toán tính phần số nguyên của một căn bậc 1.8 Thiết kế chính xác 1.9 Phòng sạch 1.10 Phin lọc 4 I. PHẦN MỞ ĐẦU 1. Tầm quan trọng của mô hình hình thức (phần mềm phòng sạch) Đã bao giờ bạn nghe ai đó nói: “Làm đúng ngay lần đầu tiên”? Đó là triết lý thay thế của phần mềm phòng sạch– một qui trình nhấn mạnh chứng nhận toán học chính xác trước khi chương trình khởi tạo và chứng nhận của phần mềm được thực thi như một phần của hoạt động kiểm thử. Điểm mấu chốt là cực kỳ thấp tỷ lệ thất bại điều mà rất khó khăn hoặc không thể đạt nếu bằng cách sử dụng phương pháp không chính thức. Ai sẽ được điều đó? Chính là những kỹ sư phần mềm huấn luyện đặc biệt. Tại sao nó lại quan trọng? Lỗi thì phải làm làm lại, làm lại thì mất thời gian và tăng chi phí. Thật là một điều lý tưởng nếu chúng ta có thể giảm đáng kể số lượng sai lầm (lỗi) và đưa ra phần mềm như đã được thiết kế và xây dựng 2. Phạm vi liên quan Mô hình phân tích và thiết kế được sáng tạo và sử dụng hộp cơ cấu đại diện. Một “hộp” đóng gói hệ thống(hoặc là một số khía cạnh của hệ thống) ở mức độ cụ thể của trừu tượng. Xác minh tính đúng đắn là được áp dụng một thiết kế cấu trúc hộp hoàn chỉnh. Một sự đúng đắn được xác định cho mỗi cấu trúc hộp, thống kê thường bắt đầu kiểm tra. Phần mềm được kiểm tra bởi định nghĩa sử dụng kịch bản, xác định xác suất sử dụng cho mỗi kịch bản, và sau đó xác định các xét nghiệm ngẫu nhiên mà phù hợp với các xác suất. Những bản ghi lỗi kết quả của sự phân tích cho phép những tính toán toán học trong định hướng độ tin cậy cho các thành phần phần mềm. Sản phẩm làm việc là gì? Hộp đen, hộp trạng thái và hộp rỗng đặc biệt được phát triển. Kết quả của những bắng cớ chính xác chính thức và những thống kê kiểm thử là các bản ghi. Làm thế nào để đảm bảo rằng bạn đã làm đúng? Bằng cớ thông thường của sự chính xác được chấp nhận cho cấu trúc hộp đen đặc biệt. Sự thống kê sử dụng các bài kiểm tra gồm các kịch bản để đảm bảo 5 rằng những lỗi lệnh của người dùng được phát hiện và xử lý cho đúng. Kiểm tra dữ liệu được sử dụng để đưa ra một chỉ số của tính tiện lợi của phần mềm. Khi một phần mềm thất bại trên thị trường, đầy rẫy rủi ro tức thì và rủi ro lâu dài. Những rủi ro có thể liên quan đến an toàn con người, mất mát kinh tế, hay là hệ quả của hoạt động kinh doanh và cơ sở hạ tầng xã hội. Công nghệ phần mềm phòng sạchlà một qui trình hiện đại nó có thể khắc phục những nhược điểm trước khi chúng có thể trở thành những rủi ro nghiêm trọng. 3. Quá trình phát triển và hiện trạng Học thuyết của phòng sạch trong công nghệ sản xuất phần cứng khá là đơn giản : Nó là chi phí hiệu quả và thời gian hiệu quả để đưa ra một phương pháp ngăn ngừa và giới thiệu những nhược điểm của sản phầm. Hơn là chế tạo một sản phẩm và sau đó làm việc để gỡ bỏ nhược điểm. Phương pháp phòng sạchđòi hỏi sự kỷ luật để loại trừ những nhược điểm trong quá trình định rõ và thiết kế và sau đó chế tạo trong một kiểu « sạch ».Triết lý phòng sạchđược lần đầu tiên đề xuất cho công nghệ phần mềm bởi Mills, Dyer và Linger trong thập kỷ 80. Mặc dù những kinh nghiệm trước đó với những phương pháp kỷ luật trong công nghệ phần mềm được đưa ra chữ ký đảm bảo, nó không có lợi ích sử dụng rộng rãi, Henderson đưa ra 3 lý do cơ bản sau: 1. Một niềm tin rằng phương pháp phòng sạch quá lý thuyết, quá toán học và quá cơ bản để sử dụng vào trong thực tế phát triển phần mềm 2. Nó chủ trương không một đơn vị kiểm tra bởi người phát triển nhưng thay vì thay thế nó với xác minh chính xác và công cụ thống kê chất lượng, ý tưởng rằng thay thế một khởi đầu chủ đạo từ cách mà hầu hết những phần phần mềm được phát triển ngày nay. 3. Tính kỹ càng của công nghiệp phát triển phần mềm. Việc sử dụng qui trình phòng sạchyêu cầu ứng dụng nghiêm nghặt trong từng bước của qui trình. Từ khi phần lớn nền công nghiệp hoạt động theo chuẩn AD HOC (được định nghĩa bởi SEI CMM) nền công nghiệp sẵn sáng áp dụng những ký thuật đó Mặc dù các yếu tố của sự thật trong mỗi những quan ngại này, tiềm năng lợi ích của công nghệ phần mềm phòng sạch xa quan trọng hơn đầu tư cần thiết để khắc phục cản trở lúc đó là cốt lõi của những quan ngại này. 6 4. Vai trò và ý nghĩa của đề tài trong vấn đề chung nói riêng và CNPM nói chung Sự kết hợp sử dụng tính tiện lợi của công nghệ phần mềm hiện đại (những phương pháp chính thức), chương trình kiểm thử (bằng cớ chính xác), và thống kê SQA đã được kết hợp trong một công nghệ có thể dẫn dắt hoàn toàn phần mềm chất lượng cao. Công nghệ phần mềm phòng sạch là một phương pháp, nó nhấn mạnh việc cần thiết phải xây dựng tính chính xác trong phần mềm. Thay cho những phân tích, thiết kế, tạo mã, kiểm thử, chu trình gỡ lỗi truyền thống, phương pháp phòng sạch gợi ý một quan điểm mới. Triết lý ẩn chứa trong công nghệ phòng sạch là ngăn ngừa sự phụ thuộc vào nhược điểm tai hại tăng lên trong qui trình di chuyển bằng viết mã ngay lần đầu tiên và xác nhận tính chính xác của chúng trước khi kiểm thử. Mô hình quá trình của nó kết hợp các chứng nhận chất lượng thống kê của gia số mã như chúng tích lũy thành một hệ thống.Trong nhiều cách, phương pháp phòng sạch nâng cao công nghệ phần mềm lên một cấp độ khác. Các qui trình phòng sạch nhấn mạnh sự chặt chẽ trong quá trình đặc điểm kỹ thuật và thiết kế, và xác minh chính thức của mỗi yếu tố thiết kế bằng cách sử dụng chứng minh đúng đắn được dựa trên toán học 7 II. Nội dung 1. Phương pháp phòng sạch 1.1 Chiến lược phòng sạch Phương pháp phòng sạch làm cho việc sử dụng chỉ một phiên bản của phần mềm gia tăng. Một “luồng của phần mềm tăng lên” là được phát triển bởi nhóm nhỏ kỹ sư phần mềm. Như mỗi sự tiến triển từng được chứng nhận, nó được tích hợp trong tất cả. Do đó, chức năng của hệ thống phát triển theo thời gian. Chuỗi nhiệm vụ phòng sạch tăng lên được minh họa trên sơ đồ 1.1. Hệ thống tổng thể hoặc sản phẩm yêu cầu được phát triển bằng cách sử dụng các hệ thống kỹ thuật. Một chức năng đã được phân công trong thành phần phần mềm của hệ thống, những đường ống của phòng sạch tăng lên được khởi tạo. Những công việc sau xảy ra: Tăng qui hoạch. Một dự án dự định rằng thông qua chiến lược gia tăng để được phát triển. Chức năng của mỗi gia lượng, kích cỡ dự án của nó và một lịch phát triển phòng sạch được tạo ra. Chăm sóc đặc biệt phải được đưa đến đảm bảo rằng số gia chứng nhận sẽ được tích hợp một cách kịp thời. Yêu cầu thu thập Sử dụng kỹ nghệ tương tự như đã được giới thiệu trong phần 11. Một chi tiết mô tả thêm vào của khách hàng yêu cầu(cho mỗi gia lượng) Thiết kế chính thức Đặc điểm cấu trúc hộp, thiết kế phòng sạch là một mở rộng liền mạch của tự nhiên Một phương pháp đặc điểm kỹ thuật mà làm cho việc sử dụng hộp cấu trúc [HEV93] được sử dụng để mô tả các đặc tả chức năng. Tuân thủ các nguyên tắc phân tích hoạt động thảo luận trong Chương 11, cấu trúc hộp "Cô lập và sáng tạo riêng biệt định nghĩa của hành vi, dữ liệu, thủ tục ở mỗi cấp độ khác nhau của sàng lọc 8 Thiết kế chính thức Sử dụng phương pháp cấu trúc hộp, thiết kế phòng sạch là mở rộng tự nhiên và liền mạch của đặc tả.Mặc dù có thể thực hiện một sự phân biệt rõ ràng giữa hai hoạt động, chi tiết kỹ thuật (gọi là hộp đen) là iteratively tinh chế (trong vòng một tăng) để trở thành kiến trúc tương tự và thành phần thiết kế trình độ (gọi là hộp trạng thái và các hộp rỗng, tương ứng). Kiểm chứng chính xác Nhóm Phòng sạch tiến hành một loạt các hoạt động kiểm định nghiêm ngặt đúng đắn về thiết kế và sau đó mã hóa. Mã xác nhận (phần 1,3 và 1,4) bắt đầu với cấu trúc hộp cao cấp (đặc điểm kỹ thuật) và di chuyển về hướng thiết kế chi tiết và mã hóa. Mức độ đầu tiên của xác minh đúng đắn xảy ra bằng cách áp dụng một tập hợp các “câu hỏi đúng đắn”. Nếu chúng không chứng minh rằng các đặc điểm kỹ thuật là chính xác, thì sẽ có thêm những phương pháp hình thức (toán học) được sử dụng cho kiểm chứng. Sinh mã, kiểm tra, xác minh Cấu trúc hộp chuyên môn, đại diện cho một ngôn ngữ chuyên ngành, được dịch sang các ngôn ngữ lập trình thích hợp. Hướng tiêu chuẩn hoặc kiểm tra kỹ thuật (Chương 8) sau đó được sử dụng để đảm bảo sự phù hợp ngữ nghĩa của mã và cấu trúc hộp và đúng đắn cú pháp của mã. Sau đó tiến hành xác minh là đúng đắn cho mã nguồn. Thống kê kiểm tra quy hoạch Việc sử dụng dự kiến của phần mềm là một bộ phân tích và các trường hợp kiểm tra rằng sự thực hiện một phân bố xác suất về cách sử dụng đang lên kế hoạch và được thiết kế (mục 1.4). Đề cập trong hình 1.1, Phòng sạch hoạt động này được tiến hành song song với đặc điểm kỹ thuật, xác minh, và thế hệ mã. Thống kê sử dụng thử nghiệm. Nhắc lại rằng thử nghiệm đầy đủ của phần mềm máy tính là không thể (Chương 17), nó là luôn luôn cần thiết để thiết kế một số hữu hạn các trường hợp thử nghiệm. Thống kê sử dụng các kỹ thuật [POO88] thực hiện một loạt các bài 9 kiểm tra bắt nguồn từ một mẫu thống kê (các phân bố xác suất ghi nhận trước đó) của tất cả các chương trình xử tử có thể có của tất cả người dùng từ một số mục tiêu (mục 1.4) Chứng nhận. Sau khi xác minh, kiểm tra, và kiểm tra việc sử dụng đã được hoàn thành (và tất cả các lỗi được sửa chữa), gia lượng được chứng nhận là đã sẵn sàng cho tích hợp. Giống như các mô hình quy trình phần mềm khác(thác nước, tiến hóa…), mô hình phòng sạch dựa chủ yếu vào sự cần thiết để sản xuất phân tích chất lượng cao và các mô hình thiết kế. 1.2 Điều gì tạo nên sự khác biệt ở phòng sạch Dyer ám chỉ đến những khác biệt trong cách tiếp cận phòng sạch khi ông định nghĩa quá trình: Phòng sạch đại diện cho các nỗ lực đầu tiên thực hiện ở việc đưa tiến trình phát triển phần mềm kiểm soát chất lượng thống kê với một chiến lược cũng xác định cho quá trình liên tục cải thiện. Để đạt được mục tiêu này, một cuộc sống độc đáo phòng sạch chu kỳ đã được định nghĩa trong đó tập trung vào toán học dựa trên công nghệ phần mềm cho các thiết kế phần mềm và chính xác về số liệu thống kê dựa trên phần mềm thử nghiệm để xác nhận độ tin cậy phần mềm. Công nghệ phần mềm phòng sạch khác với thông thường và hướng đối tượng xem trình bày trong phần ba và bốn của cuốn sách này bởi vì: 1. Nó làm cho việc sử dụng rõ ràng của kiểm soát chất lượng thống kê. 2. Nó thẩm tra thiết kế đặc tả bằng cách sử dụng một chứng minh toán học dựa trên các đúng đắn. 3. Nó dựa chủ yếu vào thử nghiệm sử dụng thống kê để phát hiện sai sót tác động cao Rõ ràng, các phương pháp tiếp cận phòng sạch áp dụng nhất, nếu không phải tất cả, các phần mềm cơ bản kỹ thuật nguyên tắc và khái niệm được trình bày trong suốt cuốn sách này. Phân tích tốt và các thủ tục thiết kế là rất cần thiết nếu chất lượng cao là kết quả. Nhưng công nghệ phòng sạch phân kỳ từ thực tiễn phần mềm 10 [...]... dẫn đến các thành phần phần mềm (và toàn bộ số gia) có thể được chứng nhận Trong bối cảnh phần mềm cách tiếp cận kỹ thuật phòng sạch, cấp giấy chứng nhận 24 ngụ ý rằng tính tiện lợi (đo bằng thời gian có nghĩa là để thất bại, MTTF) có thể được chỉ định cho mỗi thành phần Những tác động tiềm năng của các thành phần phần mềm chứng nhận vượt xa một dự án phòng sạch đơn Các thành phần phần mềm sử dụng lại... thành phần phần mềm 26 Triết lý phòng sạchlà một cách tiếp cận chặt chẽ đến công nghệ phần mềm Đó là một phần mềm mô hình đó nhấn mạnh quá trình xác minh của toán học đúng đắn độ tin cậy và chứng nhận phần mềm Điểm mấu chốt là cực kỳ thấp tỷ lệ thất bại mà có thể khó khăn hoặc không thể đạt được bằng cách sử dụng phương pháp không chính thức 5 Tìm hiểu sơ qua về khái niệm phòng sạch trong thực tế 5.1 Phòng. .. hệ xác định bề sâu khuếch tán (junction depth) 3) Phòng vàng (yellow room): là nơi có độ sạch lớn nhất trong phòng sạch Phần lớn các quy trình công nghệ khi chế tạo sensor được thực hiện trong phòng này Phòng bố trí 01 tủ công nghệ được trang bị quạt hút công suất lớn đảm bảo an 27 toàn cho người làm cùng với các dụng cụ phụ trợ khác cho quá trình công nghệ cũng được trang bị đầy đủ Bên cạnh đó chúng... thử nghiệm "Số lượng phần mềm thử nghiệm theo cách người dùng có ý định sử dụng nó" Để thực hiện việc này, các đội kiểm tra phòng sạch (còn được gọi là các đội cấp giấy chứng nhận) phải xác định một phân bố xác suất sử dụng cho phần mềm Các đặc điểm kỹ thuật (hộp đen) cho mỗi quá trình của phần mềm là phân tích để xác định một tập hợp đầu vào hoặc các sự kiện tác động đến phần mềm để thay đổi hành... tính MTTF chứng nhận sử dụng mỗi các mô hình này Một cuộc thảo luận chi tiết về tính toán của các lấy mẫu, thành phần, và các chứng nhận mô hình là vượt ra ngoài phạm vi của nghiên cứu này Công nghệ phần mềm phòng sạch là một phương pháp chính thức để phát triển phần mềm có thể dẫn tới các phần mềm có chất lượng cao đáng kể Nó sử dụng cấu trúc hộp đặc biệt cation (hay phương pháp chính thức) để phân tích... lại và phân tích 5 Độ tin cậy là tính toán và chứng nhận Các bước từ 1 đến 4 đã được thảo luận trong phần trước đó Trong phần này, chúng tôi tập trung về chứng nhận độ tin cậy Cấp giấy chứng nhận cho công nghệ phần mềm phòng sạch đòi hỏi sự sáng tạo của ba các mô hình [POO93]: Lấy mẫu mô hình Phần mềm kiểm tra thực hiện các trường hợp kiểm tra ngẫu nhiên và là m chứng nhận nếu không có sự thất bại... họa, xem xét các hệ thống an ninh An Toàn Gia Đình đã được thảo luận trước đó trong cuốn sách này Phòng sạch công nghệ phần mềm đang được sử dụng để phát triển một phần mềm increment rằng quản lý người dùng tương tác với hệ thống bảo mật bàn phím Năm kích thích đã được xác định cho tăng này Phân tích cho biết phần trăm xác suất phẩn bỏ của mỗi kích thích Để thực hiện lựa chọn các trường hợp kiểm tra dễ... yêu cầu của sản phẩm công nghệ cao như sản xuất máy tính,sản xuất chíp,các bo mạch, công nghệ chất bán dẫn…hay những loại thuốc trong dược phẩm,các thiết bị y tế, phòng mổ trong bệnh viện.Tất cả những phòng này đòi hỏi phải kiểm soát nồng độ hạt bụi,các loại chất ô nhiễm ở một mức cho phép Vậy hệ thống điều hòa không khí cho phòng sạch khác với điều hòa không bình thường (cao ốc văn phòng ) ở những điểm... quyết nhiễm chéo là giải quyết 10 vấn đề trên ,công thêm việc tạo áp trong phòng 1.11 Nguyên nhân gây nhiễm chéo 30 III Kết luận Mô hình hình thức (Formal model) • Còn gọi là CNHPM phòng sạch (Cleanroom SE) • Tập hợp các công cụ nhằm đặc tả toán học phần mềm máy tính từ khâu định nghĩa, phát triển đến kiểm chứng • Giúp kỹ sư phần mềm phát hiện và sửa các lỗi khó • Thường dùng trong phát triển SW cần độ... các chi tiết ngày càng lớn.Tất cả các mục tiêu trên là để chuyển từ tài liệu đặc tả sang đặc tả kỹ thuật mà cung cấp chi tiết thực hiện Kỹ nghệ phần mềm phòng sạch tuân thủ các nguyên tắc phân tích hệ thống bằng cách sử dụng một phương pháp gọi là phuơng pháp đặc tả hộp.Một “hộp” đóng gói hệ thống (hoặc một phần của hệ thống)tại một số mức của hệ thống.Thông qua một quá trình sàng lọc như bậc thang,”hộp . TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP HÀ NỘI KHOA CÔNG NGHỆ THÔNG TIN  BÀI TẬP LỚN MÔN NHẬP MÔN CÔNG NGHỆ PHẦN MỀM Đề tài: Kỹ nghệ phần mềm phòng sạch Giáo viên hướng dẫn: Th.s Nguyễn. phòng sạch 1.1 Chiến lược phòng sạch Phương pháp phòng sạch làm cho việc sử dụng chỉ một phiên bản của phần mềm gia tăng. Một “luồng của phần mềm tăng lên” là được phát triển bởi nhóm nhỏ kỹ. độc đáo phòng sạch chu kỳ đã được định nghĩa trong đó tập trung vào toán học dựa trên công nghệ phần mềm cho các thiết kế phần mềm và chính xác về số liệu thống kê dựa trên phần mềm thử nghiệm