Nguồn:John Hatcliff, 785-532-6350,hatcliff@k-state.edu;
và Robby, 785-532-6350,robby@k-state.edu
Phát hành tin tức được chuẩn bị bởi:Torline Jennifer, 785-532-0847,jtorline@k-state.edu

Thứ Tư, ngày 29 tháng 9 năm 2010

tỷ số bóng đá tây ban nha nhà nghiên cứu được vinh danh vì những đóng góp có ảnh hưởng cho lĩnh vực kỹ thuật phần mềm

3237_3397

Một nhóm nghiên cứu gồm bảy thành viên bao gồm John Hatcliff của K-State, Giáo sư Khoa học Máy tính và Thông tin, và Robby, Phó Giáo sư Khoa học Máy tính và Thông tin, đã đặt ra vào năm 1998 để minh họa cách tỷ số bóng đá tây ban nha công nghệ khác nhau có thể kiểm tra tỷ số bóng đá tây ban nha vấn đề phát sinh khi tỷ số bóng đá tây ban nha chương trình máy tính đa nhiệm. Nhóm đã xuất bản "Bandera: Trích xuất tỷ số bóng đá tây ban nha mô hình trạng thái hữu hạn từ mã nguồn Java" Năm 2000.

Ấn phẩm gần đây đã nhận được giải thưởng giấy có ảnh hưởng nhất từ ​​Hội nghị quốc tế về Kỹ thuật tỷ số bóng đá tây ban nha, Hội nghị kỹ thuật tỷ số bóng đá tây ban nha học thuật lớn nhất thế giới. Giải thưởng vinh danh ấn phẩm có ảnh hưởng lớn nhất đến lý thuyết và thực tiễn về kỹ thuật tỷ số bóng đá tây ban nha trong 10 năm kể từ khi nó được xuất bản.

"Đóng góp chính của chúng tôi là minh họa cách kiểm tra mô hình, một kỹ thuật dựa trên toán học riêng biệt và logic chính thức, có thể được áp dụng cho tỷ số bóng đá tây ban nha hệ thống phần mềm để lý luận về tỷ số bóng đá tây ban nha hệ thống đa nhiệm trong tự nhiên", Hatcliff nói. "Bởi vì nó cung cấp lý luận có hệ thống về một hệ thống máy tính, việc kiểm tra mô hình có thể phát hiện ra tỷ số bóng đá tây ban nha lỗi khó phát hiện bằng tỷ số bóng đá tây ban nha kỹ thuật hiện có, chẳng hạn như thử nghiệm thông thường và kiểm tra mã nguồn thủ công."

tỷ số bóng đá tây ban nha thành viên khác của nhóm nghiên cứu của Hatcliff và Robby bao gồm: James Corbett, một giảng viên tại Đại học Hawaii tại thời điểm viết và hiện là nhân viên của Google; Matthew Dwyer, một giảng viên K-State vào thời điểm đó và hiện là giảng viên tại Đại học Nebraska-Lincoln;

Trích dẫn học tập cho thấy ảnh hưởng liên tục của công việc của nhóm. Ấn phẩm này là bài báo được trích dẫn nhiều nhất được xuất bản trong lịch sử hội nghị 30 năm và được trích dẫn nhiều thứ hai trong số hơn 10.000 bài báo được xuất bản bởi Hiệp hội máy tính SIGSoft, hiệp hội kỹ thuật tỷ số bóng đá tây ban nha chuyên nghiệp hàng đầu.

"Điều thú vị về dự án này là nó đã tập hợp một số công nghệ khác nhau, và đó thực sự là một trong những điều khiến bài báo này nổi bật", Robby nói.

Ý tưởng dự án được phát triển vào những năm 1990 với sự tăng sinh của hệ thống nhúng. Vì phần mềm máy tính có thể đa nhiệm, nên việc kiểm tra và dự đoán tỷ số bóng đá tây ban nha lỗi trở nên khó khăn hơn.

"Để kiểm tra mô hình để làm việc cho phần mềm, chúng tôi đã phải phát triển rất nhiều kỹ thuật tinh vi, tự động khám phá tỷ số bóng đá tây ban nha thuộc tính quan trọng của mã nguồn của hệ thống", Hatcliff nói. "Mục tiêu của tỷ số bóng đá tây ban nha kỹ thuật này là làm cho tất cả tỷ số bóng đá tây ban nha tính năng phức tạp của phần mềm xuống một mô hình toán học tương đối sạch mà chúng ta có thể phân tích với công nghệ kiểm tra mô hình."

Kể từ khi tỷ số bóng đá tây ban nha nhà nghiên cứu xuất bản tác phẩm của họ, tỷ số bóng đá tây ban nha tổ chức như Microsoft và NASA đã xây dựng nó và tỷ số bóng đá tây ban nha nhóm khác đang làm việc để thiết kế tốt hơn để lập trình đồng thời và xây dựng phần mềm theo những cách khác nhau. Khi dự án kiểm tra mô hình công cụ tìm đường dẫn Java của NASA nhận được tỷ số bóng đá tây ban nha mục tiêu biến uy tín của NASA thành giải thưởng thực tế năm 2003, tỷ số bóng đá tây ban nha nhà nghiên cứu K-State đã được liệt kê là thành viên của dự án vì những đóng góp có ảnh hưởng và hợp tác từ ấn phẩm năm 2000 của họ.

Mặc dù tỷ số bóng đá tây ban nha nhà nghiên cứu không còn làm việc trong cùng một dự án, nhiều người trong số họ tiếp tục làm việc trên tỷ số bóng đá tây ban nha công nghệ liên quan. Họ đã nhận được tổng cộng hơn 12 triệu đô la từ tỷ số bóng đá tây ban nha cơ quan tài trợ khác nhau - bao gồm Văn phòng Nghiên cứu Quân đội, Văn phòng Nghiên cứu Khoa học Không quân, Lockheed Martin Corp, Boeing Co., Intel Corp, IBM Corp, Fujitsu Limited và Rockwell Collins Inc. - tiếp tục nghiên cứu dựa trên ấn phẩm ban đầu.