Fundamental Approaches to Software Engineering
Cập nhật vào: Thứ sáu - 25/09/2020 00:30
Nhan đề chính: Fundamental Approaches to Software Engineering
Nhan đề dịch: Các cách tiếp cận cơ bản với kỹ thuật phần mềm
Tác giả : Heike Wehrheim; Jordi Cabot
Nhà xuất bản: Springer, Cham
Năm xuất bản: 2020
Số trang: 552 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-030-45234-6
SpringerLink
Nội dung cuốn sách gồm những phần sau:
Cải thiện việc học tự động dữ liệu tượng trưng với thực thi concolic
Bạch kim: Tái sử dụng các giải pháp ràng buộc trong phân tích giới hạn của logic quan hệ
Tích hợp các bằng chứng tôpô với kiểm tra mô hình để thiết kế lặp lại dụng cụ
Khung ngữ nghĩa chính thức tổng quát cho hợp đồng thông minh
Nghiên cứu thực nghiệm về việc sử dụng và lạm dụng Java 8 Streams
Trích xuất ngữ nghĩa từ Dịch vụ trả lời câu hỏi để sử dụng lại đoạn mã
Khả năng tái tạo toàn cầu thông qua kiểm soát cục bộ cho các đối tượng hoạt động được phân tán
Dòng sản phẩm mô hình đa cấp
Tính tin cậy của chương trình tính toán bằng cách sử dụng phân tích điều kiện tiên tiến lùi và đếm mô hình
Xác minh dựa trên kỹ năng của hệ thống vật lý mạng
Tạo mô hình EMF lớn một cách hiệu quả
Kiểm tra mô hình SPL dựa trên gia đình bằng cách sử dụng trò chơi chẵn lẻ có tính thay đổi
Hỗ trợ công cụ dựa trên mô hình cho thiết kế dịch vụ
Đồng bộ hóa mô hình đồng thời gia tăng sử dụng Ngữ pháp đồ thị ba
Kiểm tra mô hình thống kê cho các hệ thống đa dạng-chuyên sâu
Quản lý tính nhất quán tuân thủ lược đồ thông qua Ngữ pháp ba đồ thị và Lập trình tuyến tính số nguyên
Hướng tới đồng bộ hóa nhiều mô hình với các hệ thống toàn diện
Phân tích và tái cấu trúc hệ thống phần mềm sử dụng cấu hình phản phân tử hiệu suất
Tuân thủ quy trình kinh doanh sử dụng các mô hình tham chiếu của luật
Phân tích thuật toán về hiệu quả của chuỗi khối với độ trễ giao tiếp
Thông số kỹ thuật toàn diện cho các chương trình mạnh mẽ
Tự động tạo ra các mô hình đồ thị nhất quán với trình duyệt định lý logic bậc nhất
Kết hợp các thông số kỹ thuật từng phần bằng cách sử dụng dữ liệu tự động giao diện thay thế
Xem lại ngữ nghĩa của các tương tác để phân tích tính hợp lệ theo dấu vết
Đóng góp Test-Comp
Cuộc thi thứ hai về kiểm thử phần mềm: Test-Comp 2020
HybridTiger: Kiểm tra mô hình kết hợp và phân vùng dựa trên thống trị để tạo bộ thử nghiệm đa mục tiêu hiệu quả
ESBMC: Tạo thử nghiệm có thể mở rộng và chính xác dựa trên lý thuyết dấu chấm động
TracerX: Thực thi biểu tượng động với nội suy
Fuzzing kết hợp dựa trên LLVM với LibKluzzer
CoVeriTest với Phân vùng động Giới hạn thời gian lặp lại
Legion : Thử nghiệm Concolic Tốt nhất
Nhan đề dịch: Các cách tiếp cận cơ bản với kỹ thuật phần mềm
Tác giả : Heike Wehrheim; Jordi Cabot
Nhà xuất bản: Springer, Cham
Năm xuất bản: 2020
Số trang: 552 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-030-45234-6
SpringerLink
Lời giới thiệu: Cuốn sách truy cập mở này là cách tiến hành của Hội nghị quốc tế lần thứ 23 về các phương pháp tiếp cận cơ bản đối với kỹ thuật phần mềm, FASE 2020, diễn ra tại Dublin, Ireland, vào tháng 4 năm 2020 và được tổ chức như một phần của Hội nghị chung Châu Âu về Lý thuyết và Thực hành Phần mềm , ETAPS 2020. 23 bài đầy đủ, 1 bài công cụ và 6 bài thi thử nghiệm được trình bày trong tập này đã được xem xét và lựa chọn cẩn thận từ 81 bài dự thi. Các bài báo bao gồm các chủ đề như kỹ thuật yêu cầu, kiến trúc phần mềm, quy cách kĩ thuật, chất lượng phần mềm, hợp thức hóa, xác minh các thuộc tính chức năng và phi chức năng, phát triển theo hướng mô hình và chuyển đổi mô hình, quy trình phần mềm, bảo mật và sự phát triển phần mềm.
Từ khóa: Phần mềm. Kỹ thuật phần mềm. Thiết kế. Lập trình. Hệ thống máy tính. Trí tuệ nhân tạo.Nội dung cuốn sách gồm những phần sau:
Cải thiện việc học tự động dữ liệu tượng trưng với thực thi concolic
Bạch kim: Tái sử dụng các giải pháp ràng buộc trong phân tích giới hạn của logic quan hệ
Tích hợp các bằng chứng tôpô với kiểm tra mô hình để thiết kế lặp lại dụng cụ
Khung ngữ nghĩa chính thức tổng quát cho hợp đồng thông minh
Nghiên cứu thực nghiệm về việc sử dụng và lạm dụng Java 8 Streams
Trích xuất ngữ nghĩa từ Dịch vụ trả lời câu hỏi để sử dụng lại đoạn mã
Khả năng tái tạo toàn cầu thông qua kiểm soát cục bộ cho các đối tượng hoạt động được phân tán
Dòng sản phẩm mô hình đa cấp
Tính tin cậy của chương trình tính toán bằng cách sử dụng phân tích điều kiện tiên tiến lùi và đếm mô hình
Xác minh dựa trên kỹ năng của hệ thống vật lý mạng
Tạo mô hình EMF lớn một cách hiệu quả
Kiểm tra mô hình SPL dựa trên gia đình bằng cách sử dụng trò chơi chẵn lẻ có tính thay đổi
Hỗ trợ công cụ dựa trên mô hình cho thiết kế dịch vụ
Đồng bộ hóa mô hình đồng thời gia tăng sử dụng Ngữ pháp đồ thị ba
Kiểm tra mô hình thống kê cho các hệ thống đa dạng-chuyên sâu
Quản lý tính nhất quán tuân thủ lược đồ thông qua Ngữ pháp ba đồ thị và Lập trình tuyến tính số nguyên
Hướng tới đồng bộ hóa nhiều mô hình với các hệ thống toàn diện
Phân tích và tái cấu trúc hệ thống phần mềm sử dụng cấu hình phản phân tử hiệu suất
Tuân thủ quy trình kinh doanh sử dụng các mô hình tham chiếu của luật
Phân tích thuật toán về hiệu quả của chuỗi khối với độ trễ giao tiếp
Thông số kỹ thuật toàn diện cho các chương trình mạnh mẽ
Tự động tạo ra các mô hình đồ thị nhất quán với trình duyệt định lý logic bậc nhất
Kết hợp các thông số kỹ thuật từng phần bằng cách sử dụng dữ liệu tự động giao diện thay thế
Xem lại ngữ nghĩa của các tương tác để phân tích tính hợp lệ theo dấu vết
Đóng góp Test-Comp
Cuộc thi thứ hai về kiểm thử phần mềm: Test-Comp 2020
HybridTiger: Kiểm tra mô hình kết hợp và phân vùng dựa trên thống trị để tạo bộ thử nghiệm đa mục tiêu hiệu quả
ESBMC: Tạo thử nghiệm có thể mở rộng và chính xác dựa trên lý thuyết dấu chấm động
TracerX: Thực thi biểu tượng động với nội suy
Fuzzing kết hợp dựa trên LLVM với LibKluzzer
CoVeriTest với Phân vùng động Giới hạn thời gian lặp lại
Legion : Thử nghiệm Concolic Tốt nhất