Chiến thắng vang dội tại Amazon dành cho Trưởng bộ phận Khoa keo nha cai 5 Máy tính của MDX

Suy luận tự động là khả năng của máy móc đưa ra những suy luận logic. Một dự án quan trọng của Tập đoàn là tạo ra các công cụ xác minh - một ứng dụng suy luận tự động, để kiểm tra các chương trình máy tính thực hiện những gì chúng phải làm - nhằm giúp các nhà phát triển tin tưởng hơn vào mã họ viết. Sự phức tạp của ứng dụng Prime Video, về số lượng thành phần được phát triển bởi các nhóm độc lập khác nhau và phạm vi cấu hình phần cứng rộng lớn mà nó cần để chạy khiến ứng dụng này trở thành một trường hợp đặc biệt khó khăn đối với lý luận tự động.

Franco và đồng nghiệp đã phát triểnbot suy luận tự động BugBear, tiến hành đánh giá mã tự động, cung cấp phản hồi trong vòng 15 phút, xác định cả vấn đề chung và hành vi vi phạm các thuộc tính kinh doanh dành riêng cho Prime Video. Trong quá trình thử nghiệm, BugBear đã xác định được các vấn đề tiềm ẩn ở khoảng 100 trong số hơn 1000 lượt đánh giá mã tự động. Các nhà phát triển coi 80% trong số này là có liên quan.

Dựa trên công việc của anh ấy với Amazon Prime Video, Franco cho biết: "Các giả định ẩn là nguyên nhân phổ biến gây ra lỗi trong phần mềm, đặc biệt là trong các tổ chức lớn. Việc thiếu sự rõ ràng về ranh giới của các thành phần và thiếu hiểu biết về những giả định đằng sau mỗi thành phần có thể dẫn đến trải nghiệm tiêu cực cho khách hàng."

"Nhóm Lý luận tự động Prime Video hoạt động để trao quyền cho khách hàng của Amazon khả năng xác định giao diện giữa các thành phần có hợp đồng mạnh mẽ, được kiểm tra bằng công cụ. Tôi rất ấn tượng với kỹ năng của đồng nghiệp cũng như khả năng chuyển nhanh chóng từ các cuộc thảo luận thiết kế cấp cao sang chi tiết kỹ thuật của hệ thống nhiều thành phần. Thật thú vị khi thấy nghiên cứu của tôi có tác động tích cực ngay lập tức cho khách hàng".

Trước khi gia nhập MDX vào năm 2009, Franco đã làm việc tại Imperial College London, King's College London và UCL, đồng thời anh đã cộng tác với một số công ty và trung tâm nghiên cứu trên toàn thế giới, bao gồm cả NASA Ames. Ông trở thành Phó Giáo sư về Logic và Xác minh tại MDX vào năm 2013 và Giáo sư Khoa keo nha cai 5 Máy tính vào năm 2016.

Trưởng khoa Khoa keo nha cai 5 và Công nghệ, Giáo sư Balbir Barn cho biết: "Khoa Khoa keo nha cai 5 Máy tính của Middlesex luôn khuyến khích các keo nha cai 5 giả định hướng nghiên cứu và thực hành xoay quanh các yêu cầu liên quan đến kinh doanh.

"Ngoài thời gian nghỉ phép của Giáo sư Raimondi tại Amazon, các keo nha cai 5 giả của MDX còn dành thời gian làm việc tại Phòng nghiên cứu của Facebook và Phòng thí nghiệm nghiên cứu của Samsung. Thông qua những hoạt động tương tác này, sinh viên Khoa keo nha cai 5 Máy tính có thể thực sự hiểu rằng môn keo nha cai 5 của họ là về giải quyết vấn đề nói chung.”

Hình chính: Một cảnh trong phim của Spike LeeLàm điều đúng đắn, một trong những Phim hay nhất do The New York Times bình chọn trên Amazon Prime Video cho tháng 1 năm 2022

Khoa nhận định keo nha cai và tin nhận định keo nha cai máy tính | Đại nhận định