Sinh tự động ca kiểm thử

Luận văn đã tập trung nghiên cứu các công cụ kiểm thử tự động, sinh các ca kiểm thử với bộ dữ liệu để sử dụng chúng cho việc kiểm thử, đánh giá được hiệu quả, mức độ chính xác của các công cụ này một cách rõ ràng hơn. Từ đó sử dụng công cụ có hiệu quả cao để kiểm thử cho các trang web của Việt Nam.

96p khanhchi0912 12-04-2024 4 2   Download

Luận văn đề xuất lý thuyết cho ngôn ngữ mô hình hóa ca sử dụng có giới hạn RUCM cho phép đặc tả ca sử dụng bằng mô hình. Các quy tắc hạn chế và mẫu ca sử dụng phải đƣợc áp dụng trong giai đoạn khởi tạo các yêu cầu của phát triển phần mềm hƣớng ca sử dụng (use case driven software development) để tạo ra các mô hình ca sử dụng chính xác và rõ ràng có thể mô hình hóa trong phạm vi có thể.

68p khanhchi0912 12-04-2024 5 2   Download

Giáo án môn Lịch sử lớp 11 (Sách Chân trời sáng tạo) trọn bộ cả năm được biên soạn kỹ lưỡng, cách trình bày khoa học bám sát sách giáo khoa Lịch sử 11 Chân trời sáng tạo nhằm giúp thầy cô tiết kiệm khá nhiều thời gian trong quá trình soạn giáo án của mình. Kế hoạch bài dạy Lịch sử lớp 11 Chân trời sáng tạo giúp học sinh tiếp thu kiến thức tốt nhất, đồng thời giúp giáo viên có thể xây dựng một phương pháp dạy mạch lạc, rõ ràng, dễ hiểu.

137p trieungocchan 07-09-2023 15 2   Download

Giáo án môn Khoa học tự nhiên lớp 8 (Sách Kết nối tri thức) trọn bộ cả năm là tài liệu vô cùng hữu ích mà TaiLieu.VN muốn chia sẻ đến quý thầy cô cùng các bạn học sinh tham khảo. Với nội dung được biên soạn kỹ lưỡng, cách trình bày khoa học sẽ giúp thầy cô tiết kiệm khá nhiều thời gian trong quá trình soạn giáo án lớp 8 của mình; đồng thời kế hoạch bài dạy Khoa học tự nhiên 8 Kết nối tri thức sẽ giúp học sinh tiếp thu kiến thức tốt nhất.

589p trieungocchan 07-09-2023 10 6   Download

Bài viết Quyết định giao dịch chứng khoán phái sinh: Bằng chứng nghiên cứu thực nghiệm ở Việt Nam trình bày kiểm định bằng dữ liệu thống kê các yếu tố ảnh hưởng đến quyết định giao dịch chứng khoán phái sinh. Qua đó đưa ra kết luận những yếu tố nào có tác động và mức độ tác động như thế nào đến quyết định giao dịch của nhà đầu tư và đề xuất các hàm ý quản trị cho các tổ chức liên quan nhằm thu hút nhiều nhà đầu tư giao dịch.

14p vinebula 02-06-2023 11 5   Download

Bài viết "Xây dựng ứng dụng trên thiết bị di động thông minh (Smartphone) phục vụ công tác thu thập và chia sẻ thông tin trượt lở đất" có mục tiêu xây dựng ứng dụng quản lý thông tin thửa đất cho hộ gia đình cá nhân trên điện thoại thông minh giúp người dân có thể theo dõi, trực tiếp quản lý các thông tin thửa đất của mình. Đây là dịch vụ nhằm công khai, minh bạch các dữliệu liên quan đến đất đai, góp phần cải cách thủ tục hành chính, phục vụ người dân một cách toàn diện,nhanh chóng, hiệu quả và tiết kiệm.

10p phuong62310 31-01-2023 13 4   Download

Bài viết Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình tập trung nghiên cứu việc kiểm thử tự động cho các ứng dụng Lustre/SCADE, đề xuất sử dụng kỹ thuật kiểm chứng mô hình trên trên mạng lưới toán tử (operator network) để sinh ra các ca kiểm thử một cách tự động.

6p vijaguar 16-11-2022 17 4   Download

bài viết Các yếu tố ảnh hưởng đến khả năng sinh lời của các ngân hàng thương mại tại Việt Nam nghiên cứu ảnh hưởng của các yếu tố đến khả năng sinh lời của các ngân hàng thương mại tại Việt Nam giai đoạn 2014- 2020, dựa trên dữ liệu thu thập từ hệ thống báo cáo tài chính đã được kiểm toán của 15 ngân hàng có quy mô từ nhỏ tới lớn và chiếm tỷ trọng 62% về tổng tài sản của cả hệ thống.

13p vihennessey 26-09-2022 25 4   Download

(NB) Nội dung của giáo trình “Bảo dưỡng sửa chữa hệ thống lái điện tử” là tìm kiếm tài liệu và thiết kế bài học thực hành trên mô hình lái trợ lực điện tử nhằm giúp học sinh – sinh viên trực tiếp thực hiện thao tác trên mô hình động cơ thực để có thể quan sát, kiểm tra tín hiệu của các cảm biến trên mô hình tìm ra nguyên lý làm việc của từng hệ thống phán đoán, xử lý hư hỏng và tiếp thu bài học dễ dàng hơn.

52p cuchoami2510 18-02-2022 55 16   Download

Nghiên cứu sử dụng chỉ số năng lực sinh thái để phân tích phát triển bền vững ở Việt Nam trong giai đoạn 1986-2019. Trải qua quy trình kiểm định nghiêm ngặt với kỹ thuật ước lượng tự hồi quy phân phối trễ, các kết luận trong nghiên cứu cho thấy (i) Tăng sản lượng điện và cải thiện thu nhập bình quân đầu người sẽ ảnh hưởng tiêu cực trong ngắn hạn, nhưng ảnh hưởng tích cực trong dài hạn đến phát triển bền vững; (ii) Tỉ lệ đô thị hóa có tương quan thuận chiều với năng lực sinh thái cả trong ngắn hạn và dài hạn;...

18p vigandhi 23-02-2022 42 3   Download

Phụ phẩm xương cá là nguồn thu nhận hydroxyapatite (HAp) khá dồi dào. Việc điều chế HAp từ xương cá không những góp phần nâng cao giá trị phụ phẩm mà còn giảm thiểu tác động tiêu cực đến môi trường. Trong nghiên cứu này, nano hydroxyapatite được thu nhận thành công từ xương cá chẽm Lates calcarifer thu mua từ công ty xuất khẩu thủy hải sản ở Khánh Hòa. Xương cá được xử lí kiềm và sau đó được nung ở 600oC trong các khoảng thời gian khác nhau là 1, 2 và 4 giờ.

14p vielonmusk 21-01-2022 25 1   Download

Mục tiêu nghiên cứu đề tài là áp dụng lý thuyết vào xây dựng công cụ ứng dụng vào việc phát sinh mã nguồn sang ngôn ngữ lập trình C nhằm tạo điều kiện để tiếp tục nghiên cứu và xây dựng việc tự động phát sinh ca kiểm thử từ ngôn ngữ mô hình hóa.

59p tomjerry007 21-12-2021 26 7   Download

Bài viết cho thấy tài chính toàn diện là việc cung cấp dịch vụ tài chính phù hợp và thuận tiện cho mọi cá nhân, tổ chức, đặc biệt đối với người có thu nhập thấp và dễ bị tổn thương có cơ hội tiếp cận dịch vụ tài chính, góp phần tạo cơ hội sinh kế, luân chuyển dòng vốn đầu tư và tiết kiệm trong xã hội, qua đó thúc đẩy tăng trưởng kinh tế. Mời các bạn tham khảo!

6p redemption 20-12-2021 21 1   Download

Bài viết bàn về việc hình thành nên nhóm cán bộ thư viện chuyên trách để tìm kiếm, lựa chọn và giới thiệu các nguồn TNGDM được xuất bản bởi các trường đại học, viện nghiên cứu và nhà xuất bản uy tín trên thế giới, phù hợp với chương trình giảng dạy tại Trường nhằm đa dạng hóa nguồn tài liệu dùng cho giảng dạy của giảng viên và tiết kiệm chi phí mua tài liệu học tập cho sinh viên. Đồng thời, việc sử dụng nguồn TNGDM trong chương trình giảng dạy sẽ thúc đẩy khả năng tự do sáng tạo và trải nghiệm công nghệ số cho cả giảng viên và sinh viên.

15p huyetthienthan 23-11-2021 29 3   Download

Nội dung của luận văn bao gồm: Chương 1 giới thiệu đề tài, lý do chọn đề tài, trình bày tổng quan nội dung nghiên cứu và bố cục luận văn. Chương 2 trình bày các khái niệm cơ bản phục vụ cho đề tài bao gồm các vấn đề liên quan trong kiểm thử dựa trên mô hình, phương pháp đặc tả mô hình bằng máy trạng thái UML. Các khái niệm về biểu đồ tuần tự và các phân đoạn trong thiết kế. Cuối cùng là giới thiệu đồ thị dòng điều khiển và đề xuất ba độ đo kiểm thử áp dụng cho bài nghiên cứu. Chương 3 nghiên cứu đề xuất cách biến đổi từ biểu đồ tuần tự sang đồ thị dòng điều khiển và các thuật toán biến đổi.

74p tomjerry001 18-10-2021 42 5   Download

Mục tiêu nghiên cứu của sáng kiến kinh nghiệm là tạo được hứng thú cho h/s trong học tập ở lớp cũng như ở nhà đối với môn học, kích thích hoạt động sáng tạo, xây dựng cơ hội khám phá,ứng dụng tri thức bằng thúc đẩy hoạt động tìm hiểu thực hành, từ đó các em tích cực tham gia vào bài học hơn tránh được sự nhàm chán trong phương pháp dạy và học truyền thống. Đảm bảo tính chính xác, khoa học, tính rõ ràng về nội dung bài học .Giáo viên dễ dàng trong truyền thụ kiến thức và nhận xét đánh giá học sinh.

28p bobietbo 13-10-2021 51 6   Download

Mục tiêu nghiên cứu của sáng kiến kinh nghiệm là chú trọng đến các biện pháp rèn đọc, viết cho học sinh chưa hoàn thành, bồi dưỡng học sinh hoàn thành. Giúp các em có kĩ năng sử dụng tiếng Việt được tốt, phát triển dần từ dễ đến khó, từ luyện đọc, luyện nói, luyện viết thành đoạn văn theo suy nghĩ của từng em. Xây dựng nếp tự quản cho học sinh để học sinh biết phối hợp với bạn trong học nhóm, biết chia sẻ kết quả học tập với bạn. Từ đó tạo hứng thú cho các em khi tham gia vào các hoạt động học tập trên lớp. Tạo cho học sinh tính mạnh dạn, tự tin khi trình bày ý kiến cá nhân.

9p chubongungoc 23-09-2021 63 4   Download

Mục tiêu nghiên cứu của sáng kiến kinh nghiệm là nội dung học vật lí đã dài lại nhó nhớ bản chất vật lí cộng cần phải sử dụng nhiều kiến thức về toán học phức tạp. Chính vì vậy giáo viên cần đưa ra cho học sinh cách tính thời gian giữa các vị trí đặc biệt hay gặp trong các bài toán của đề kiểm tra và các đề thi một cách nhanh chóng, dễ nhớ, dễ vận dụng, nhớ bền vững mà chưa cần nhiều kiến thức lượng giác. Nhiều học sinh học đến chương 4 đã quên nhiều kiến thức chương I nên việc dễ vận dụng, nhớ bền vững rất quan trọng.

43p chubongungoc 23-09-2021 62 5   Download

Luận án đề xuất các giải pháp hỗ trợ trong việc giải quyết các vấn đề của bài toán trên. Thứ nhất, luận án đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML và các ràng buộc OCL. Biểu đồ tuần tự UML 2.0 có thể áp dụng cho tất cả mười hai toán tử, có cấu trúc phức tạp, các khối lồng ghép. Và phương pháp áp dụng cho các ràng buộc kiểu dữ liệu số và cấu trúc động. Thứ hai, luận án đề xuất phương pháp sinh dữ liệu kiểm thử tự động từ các biểu đồ tuần tự UML 2.0 và biểu đồ lớp trong trường hợp vòng lặp và các ứng dụng tương tranh, giải quyết vấn đề bùng nổ số kịch bản kiểm thử;.

27p viyeri2711 14-09-2021 33 4   Download

Mặc dù đã có một số đề tài nghiên cứu về chính sách cổ tức ở Việt Nam, song đề tài này sẽ tiếp cận với những số liệu thống kê mới nhất để đánh giá tác động của thuế thu nhập cá nhân đến chính sách cổ tức tại Việt Nam hiện nay, đồng thời có tham khảo việc áp dụng chính sách cổ tức ở một số quốc gia trên thế giới. Từ đó đưa ra những gợi ý, đề xuất các chính sách cổ tức sao cho phù hợp với điều kiện kinh tế xã hội tại Việt Nam trong thời gian tới.

107p beloveinhouse04 27-08-2021 27 5   Download