Software EngineeringSoftware Engine

Software Engineering
Software Engineering is concerned with discovering techniques for improving the cost, correctness, and usability of software systems. Unfortunately, these goals are in continual tension with each other. Indeed, most commercial software systems fail on all counts, threatening the health of the software companies and the well-being of software users.

A critical component of achieving these three goals is reducing the complexity of software systems through improved reasoning techniques, system structures, and analysis. A less complex system is less costly to build correctly and more predictable in use. The Software Engineering Group's primary thrust is to cope with the crippling complexity of large systems and the processes that produce them.

Requirements Engineering
Empirical studies show that most of the difficulties in producing large complex systems stem from problems with the requirements, which define what the system is supposed to accomplish. Consequently, methods for acquiring and analyzing requirements can have very large economic leverage. Studies also show that social, political and cultural factors very often lie behind failures in large system development efforts. Our research in requirements is concerned with the use of social science methods and video to develop requirements that will allow the system to succeed in the environment where it will actually be used.

Software Design and Evolution
In the area of support for software development and evolution, the focus has been on the automation of key programming tasks to dramatically lower the bloated costs of software. To improve the programming task, a new generation of tools is using knowledge of a program's behavior to automate tasks. One example is a tool for assisting restructuring (remodularizing) a program without changing the program behavior, as a precursor to enhancement. Such a restructuring can localize future changes, hence lowering the cost of those changes. The current focus of this work is on visualization and user interfaces for high-level restructuring, and improving tool support for widely used programming like C, and automating other program enhancement tasks. These investigations are now pointing to new ways to think about software modularity.

Testing and Analysis
In the area of software testing and analysis the focus has been on the development of methods for ensuring the dependability of software. Previous work involved the development of a systematic, but informal method for analyzing software that was successfully used to verify the functional avionics on a Navy airplane. This project, called the QDA (Quick Defect Analysis) project is now involved in the analysis of Ada programs. Current work has also resulted in the development of a new approach to the measurement of software dependability called trustability. A program has trustability T if we can be T confident that it is free of faults. The trustability research has both theoretical and practical aspects, and includes the development of a trustability measurement support tool.

ผลลัพธ์ (ไทย) 1:

วิศวกรรมซอฟต์แวร์วิศวกรรมซอฟต์แวร์เกี่ยวข้องกับเทคนิคการค้นพบการปรับปรุงต้นทุน ถูกต้อง และการใช้งานของซอฟต์แวร์ระบบ อับ เป้าหมายเหล่านี้อยู่ในความตึงเครียดอย่างต่อเนื่องกัน จริง ระบบซอฟต์แวร์ส่วนใหญ่ล้มเหลวบนนับทั้งหมด การคุกคามสุขภาพของบริษัทซอฟต์แวร์และความเป็นอยู่ของผู้ใช้ซอฟต์แวร์ส่วนประกอบสำคัญของการบรรลุเป้าหมายที่สามเหล่านี้คือการลดความซับซ้อนของระบบซอฟต์แวร์ผ่านเทคนิคเหตุผลที่ดีขึ้น ระบบโครงสร้าง และวิเคราะห์ ระบบซับซ้อนน้อยกว่าคือลดค่าใช้จ่ายในการสร้างอย่างถูกต้อง และคาดการณ์มากขึ้นในการใช้ แรงผลักดันหลักของ กลุ่มวิศวกรรมซอฟต์แวร์คือการ รับมือกับความซับซ้อนทำให้หมดอำนาจของระบบขนาดใหญ่และกระบวนการที่ผลิตได้ข้อกำหนดทางวิศวกรรมการศึกษาเชิงประจักษ์แสดงว่า ความยากลำบากในการผลิตระบบที่ซับซ้อนขนาดใหญ่ส่วนใหญ่เกิดจากปัญหาความต้องการ ซึ่งกำหนดระบบควรจะทำอะไร จึง วิธีการวิเคราะห์ความต้องการและสามารถใช้ประโยชน์ทางเศรษฐกิจมาก การศึกษายังแสดงว่าสังคม การเมือง และปัจจัยทางวัฒนธรรมมากมักจะอยู่เบื้องหลังความล้มเหลวในความพยายามพัฒนาระบบขนาดใหญ่ งานวิจัยของเราในข้อกำหนดเกี่ยวข้องกับการใช้วิธีการวิทยาศาสตร์สังคมและวิดีโอเพื่อพัฒนาความต้องการที่จะอนุญาตให้ประสบความสำเร็จในสภาพแวดล้อมระบบ ที่มันจะใช้จริง ๆSoftware Design and EvolutionIn the area of support for software development and evolution, the focus has been on the automation of key programming tasks to dramatically lower the bloated costs of software. To improve the programming task, a new generation of tools is using knowledge of a program's behavior to automate tasks. One example is a tool for assisting restructuring (remodularizing) a program without changing the program behavior, as a precursor to enhancement. Such a restructuring can localize future changes, hence lowering the cost of those changes. The current focus of this work is on visualization and user interfaces for high-level restructuring, and improving tool support for widely used programming like C, and automating other program enhancement tasks. These investigations are now pointing to new ways to think about software modularity.Testing and AnalysisIn the area of software testing and analysis the focus has been on the development of methods for ensuring the dependability of software. Previous work involved the development of a systematic, but informal method for analyzing software that was successfully used to verify the functional avionics on a Navy airplane. This project, called the QDA (Quick Defect Analysis) project is now involved in the analysis of Ada programs. Current work has also resulted in the development of a new approach to the measurement of software dependability called trustability. A program has trustability T if we can be T confident that it is free of faults. The trustability research has both theoretical and practical aspects, and includes the development of a trustability measurement support tool.

ผลลัพธ์ (ไทย) 2:

วิศวกรรมซอฟต์แวร์
วิศวกรรมซอฟต์แวร์ที่เกี่ยวข้องกับการค้นพบเทคนิคในการปรับปรุงค่าใช้จ่ายที่ถูกต้องและการใช้งานของระบบซอฟต์แวร์ แต่น่าเสียดายที่เป้าหมายเหล่านี้อยู่ในความตึงเครียดอย่างต่อเนื่องกับแต่ละอื่น ๆ อันที่จริงมากที่สุดระบบซอฟต์แวร์เชิงพาณิชย์ล้มเหลวในทุกข้อหาคุกคามสุขภาพของ บริษัท ซอฟต์แวร์และความเป็นอยู่ของผู้ใช้ซอฟแวร์. เป็นองค์ประกอบที่สำคัญของการบรรลุทั้งสามเป้าหมายคือการลดความซับซ้อนของระบบซอฟแวร์ผ่านเทคนิคการให้เหตุผลการปรับปรุงโครงสร้างระบบ และการวิเคราะห์ เป็นระบบที่ซับซ้อนน้อยเป็นค่าใช้จ่ายน้อยกว่าการสร้างอย่างถูกต้องและคาดการณ์มากขึ้นในการใช้งาน กลุ่มวิศวกรรมซอฟแวร์ของแรงผลักดันหลักคือการรับมือกับความซับซ้อนทำให้หมดอำนาจของระบบที่มีขนาดใหญ่และกระบวนการที่ผลิตพวกเขา. วิศวกรรมความต้องการการศึกษาเชิงประจักษ์แสดงให้เห็นว่าส่วนใหญ่ของความยากลำบากในการผลิตระบบที่ซับซ้อนที่มีขนาดใหญ่เกิดจากปัญหาที่เกิดขึ้นกับความต้องการที่กำหนดสิ่งที่ระบบ ควรจะประสบความสำเร็จ ดังนั้นวิธีการในการซื้อและการวิเคราะห์ความต้องการสามารถมีการใช้ประโยชน์ทางเศรษฐกิจที่มีขนาดใหญ่มาก การศึกษายังแสดงให้เห็นว่าปัจจัยทางสังคมการเมืองและวัฒนธรรมมากมักจะอยู่เบื้องหลังความล้มเหลวในความพยายามพัฒนาระบบงานขนาดใหญ่ การวิจัยของเราในข้อกำหนดที่เกี่ยวข้องกับการใช้วิธีการทางสังคมศาสตร์และวิดีโอในการพัฒนาความต้องการที่จะช่วยให้ระบบที่จะประสบความสำเร็จในสภาพแวดล้อมที่มันจะนำมาใช้จริง. การออกแบบซอฟแวร์และวิวัฒนาการในพื้นที่ของการสนับสนุนสำหรับการพัฒนาซอฟต์แวร์และวิวัฒนาการ โฟกัสที่ได้รับในระบบอัตโนมัติของงานเขียนโปรแกรมกุญแจสำคัญที่จะลดลงอย่างมากค่าใช้จ่ายป่องของซอฟต์แวร์ เพื่อปรับปรุงงานเขียนโปรแกรมรุ่นใหม่ของเครื่องมือที่จะใช้ความรู้ในการทำงานของโปรแกรมที่จะทำงานโดยอัตโนมัติ ตัวอย่างหนึ่งคือเครื่องมือสำหรับการให้ความช่วยเหลือการปรับโครงสร้าง (remodularizing) โปรแกรมโดยไม่ต้องเปลี่ยนการทำงานของโปรแกรมที่เป็นสารตั้งต้นในการเพิ่มประสิทธิภาพได้ เช่นการปรับโครงสร้างสามารถ จำกัด การเปลี่ยนแปลงในอนาคตดังนั้นการลดค่าใช้จ่ายของการเปลี่ยนแปลงเหล่านั้น ให้ความสำคัญในปัจจุบันของงานนี้อยู่ในการมองเห็นและการเชื่อมต่อของผู้ใช้สำหรับการปรับโครงสร้างในระดับสูงและการปรับปรุงการสนับสนุนเครื่องมือสำหรับการเขียนโปรแกรมใช้กันอย่างแพร่หลายเช่น C และอัตโนมัติงานการเพิ่มประสิทธิภาพของโปรแกรมอื่น ๆ ตรวจสอบเหล่านี้อยู่ในขณะนี้ชี้ไปที่รูปแบบใหม่ที่จะคิดเกี่ยวกับซอฟต์แวร์ต้นแบบ. การทดสอบและการวิเคราะห์ในพื้นที่ของการทดสอบซอฟต์แวร์และการวิเคราะห์โฟกัสที่ได้รับในการพัฒนาวิธีการในการตรวจสอบความน่าเชื่อถือของซอฟต์แวร์ งานก่อนหน้านี้ที่เกี่ยวข้องกับการพัฒนาวิธีการที่เป็นระบบ แต่ไม่เป็นทางการสำหรับการวิเคราะห์ซอฟแวร์ที่ใช้ประสบความสำเร็จในการตรวจสอบการทำงานในการบินเครื่องบินกองทัพเรือ โครงการนี้เรียกว่า QDA (ด่วนวิเคราะห์ข้อบกพร่อง) โครงการที่มีส่วนเกี่ยวข้องในขณะนี้ในการวิเคราะห์ของโปรแกรม Ada การทำงานในปัจจุบันนอกจากนี้ยังมีผลในการพัฒนาวิธีการใหม่ในการวัดความเชื่อถือซอฟต์แวร์ที่เรียกว่า trustability โปรแกรมมี trustability T ถ้าเราสามารถมั่นใจได้ทีว่ามันเป็นความผิดพลาดของฟรี การวิจัย trustability มีทั้งด้านทฤษฎีและการปฏิบัติและรวมถึงการพัฒนาเครื่องมือสนับสนุนการวัด trustability