Search-Based Software Engineering:

Search-Based Software Engineering: Trends, Techniques and Applications 11:9

manner is a highly expensive solution to the problem of robustness and fault tolerance;
it can and has only been used in highly safety-critical situations, where the expense
might be justified. Though it was not directly the intention of the work, Feldt’s work
also showed that by using GP to evolve the required diverse solutions to the same
problem, there is the potential to use SBSE techniques to overcome the expense that
was previously inherent in N -version computing.
Work on SBSE techniques for design has grown in prevalence in the last three years,
with many new and interesting SE design problems emerging. Amoui et al. [2006] ap-
plied GAs to optimize OO metrics and find the best sequence of system transformations
in order to improve the quality of the transformed design. This approach shares some
similarities with work on refactoring using SBO to find good sequences of refactoring
steps. Barlas and El-Fakih [2008] presented a GA-based method for mapping client-
server problems to optimize the delivery of applications to multiple clients by multiple
servers. Bowman et al. [2008] applied the Strength Pareto Evolutionary Algorithm 2
(SPEA2) multiobjective optimization algorithm to provide-decision support system for
the Class Responsibility Assignment (CRA) problem. Cao et al. [2005b] addressed the
cost-driven Web service selection problem by using GAs. Chardigny et al. [2008b] pro-
posed a search-based approach to the extraction of component-based architectures of
OO systems. As with other work in this section, this work could be categorized as de-
sign or as redesign, highlighting the interplay in SE between design, maintenance, and
evolution of software systems. Sharma and Jalote [2008] proposed a heuristic approach
for deploying software components that maximizes performance.

6. SOFTWARE/PROGRAM VERIFICATION AND MODEL CHECKING

Model checking is an area of research that could well benefit from more research on
SBSE techniques, because model checking throws up enormous search spaces and
there are candidate metrics to guide a search. Software/Program Verification (ACM:
D.2.4) is given in Table VIII. Godefroid was the first to apply SBO to explore the state
space used in model checking [Godefroid 1997]. Where the state space is too large to be
fully checked, search-based optimization can be used to identify isomorphic subgraphs
and to seek out counterexamples. Alba et al. [Alba and Chicano 2007a, 2007b, 2007c;
Alba et al. 2008; Chicano and Alba 2008a, 2008b, 2008c] also showed how Ant Colony
Optimization (ACO) can be used to explore the state space used in model checking to
seek counterexamples. Mahanti and Banerjee [2006] also proposed an approach for
model checking, using ACO and Particle Swarm Optimization (PSO) techniques.
Other authors have also explored the relationship between SBSE and model check-
ing. For instance, Johnson [2007] used model checking to measure fitness in the evo-
lution of finite state machines, while Katz and Peled [2008a, 2008b] provided a model-
checking-based GP approach for verification and synthesis from specification. They
present an approach that combines Hoare-logic-style assertion-based specifications
and model checking within a GP framework [He et al. 2008].

7. DISTRIBUTION, MAINTENANCE AND ENHANCEMENT

Software maintenance is the process of enhancing and optimizing deployed software
(software release), as well as remedying defects. It involves changes to the software in
order to correct defects and deficiencies found during field usage as well as the addition
of new functionality to improve the software’s usability and applicability.
Much of the work on the application of SBSE to these topics has tended to focus on
two strands of research, each of which has attracted a great deal of interest and around
which a body of work has been produced.
The first topic to be addressed is search-based software modularization. More
recently, there have also been several developments in search-based approaches to

Kết quả (Việt) 1:

Tìm kiếm dựa trên công nghệ phần mềm: Xu hướng, kỹ thuật và ứng dụng 11:9 cách là một giải pháp rất tốn kém cho vấn đề mạnh mẽ và lỗi khoan dung; nó có thể và chỉ được sử dụng trong các tình huống rất an toàn quan trọng, nơi chi phí có thể là justified. Mặc dù nó đã không trực tiếp là mục đích của công việc, công việc của Feldt cũng đã chỉ ra rằng bằng cách sử dụng bác sĩ gia đình để phát triển các giải pháp đa dạng yêu cầu tương tự vấn đề, có là khả năng sử dụng SBSE kỹ thuật để vượt qua các chi phí đó là trước đây vốn có trong N-Phiên bản máy tính. Làm việc trên SBSE kỹ thuật cho thiết kế đã phát triển trong phổ biến trong ba năm qua, với nhiều vấn đề mới và thú vị thiết kế Tây đang nổi lên. Amoui et al. [2006] ap- sau khí để tối ưu hóa số liệu OO và nhiều trình tự tốt nhất của hệ thống biến đổi để cải thiện chất lượng thiết kế chuyển. Cách tiếp cận này chia sẻ một số điểm tương đồng với các công việc trên refactoring sử dụng SBO để nhiều tốt trình tự của refactoring bước. Barlas và El-Fakih [2008] trình bày một phương pháp dựa trên GA để lập bản đồ khách hàng- vấn đề máy chủ để tối ưu hóa việc phân phối các ứng dụng cho nhiều khách hàng bằng nhiều máy chủ. Bowman et al. [2008] áp dụng những sức mạnh Pareto tiến hóa thuật toán 2 Thuật toán tối ưu hóa multiobjective (SPEA2) để hệ thống hỗ trợ quyết định cung cấp cho vấn đề lớp trách nhiệm chuyển nhượng (CRA). Cao et al. [2005b] giải quyết các chi phí-driven Web dịch vụ lựa chọn vấn đề bằng cách sử dụng khí. Chardigny et al. [2008b] pro- Đặt ra một cách tiếp cận dựa trên tìm kiếm để khai thác thành phần dựa trên kiến trúc của Hệ thống OO. Như với công việc khác trong phần này, công việc này có thể được phân loại là de- đăng nhập hoặc như thiết kế lại, làm nổi bật hổ tương tác dụng trong SE giữa thiết kế, bảo trì, và tiến triển của hệ thống phần mềm. Sharma và Jalote [2008] đề xuất một phương pháp heuristic cho triển khai cấu phần phần mềm tối đa hóa hiệu suất. 6. PHẦN MỀM/CHƯƠNG TRÌNH XÁC MINH VÀ MÔ HÌNH KIỂM TRA Mô hình kiểm tra là một lĩnh vực nghiên cứu có thể cũng chứa từ nghiên cứu thêm ngày SBSE kỹ thuật, bởi vì mô hình kiểm tra ném lên rất lớn tìm tại và không có ứng cử viên số liệu để hướng dẫn một tìm kiếm. Chương trình/phần mềm Verification (ACM: D.2.4) được đưa ra trong bảng VIII. Yêu là chính để áp dụng SBO để khám phá nhà nước không gian được sử dụng trong mô hình kiểm tra [yêu 1997]. Nơi không gian trạng thái là quá lớn để tối ưu hóa hoàn toàn kiểm tra, tìm kiếm dựa trên có thể được sử dụng để xác định đẳng cấu subgraphs và để tìm ra counterexamples. Alba et al. [Alba và & g 2007a, 2007b, 2007c; Alba et al. 2008; & g và Alba 2008a, 2008b, 2008 c] cũng cho thấy như thế nào Ant Colony Tối ưu hóa (ACO) có thể được sử dụng để khám phá không gian trạng thái được sử dụng trong mô hình kiểm tra Tìm kiếm counterexamples. Mahanti và Banerjee [2006] cũng đề xuất một cách tiếp cận cho Mô hình kiểm tra, bằng cách sử dụng kỹ thuật ACO và hạt Swarm tối ưu hóa (PSO). Các tác giả khác cũng đã khám phá mối quan hệ giữa SBSE và mô hình phòng - ing. Ví dụ, Johnson [2007] sử dụng mô hình kiểm tra để đo fitness trong evo- lution finite nhà nước máy, trong khi Katz và Peled [2008a, 2008b] cung cấp một mô hình- kiểm tra dựa trên GP phương pháp tiếp cận cho verification và tổng hợp từ sinh. Họ trình bày một cách tiếp cận mà kết hợp phong cách Hoare-logic dựa trên khẳng định specifications và mô hình kiểm tra trong một khuôn khổ GP [ông et al. 2008]. 7. PHÂN PHỐI, BẢO TRÌ VÀ NÂNG CAO Phần mềm bảo trì là quá trình tăng cường và tối ưu hóa triển khai phần mềm (phát hành phần mềm), cũng như khắc phục khiếm khuyết. Nó liên quan đến các thay đổi để các phần mềm để khắc phục khiếm khuyết và deficiencies tìm thấy trong quấn sử dụng cũng như việc bổ sung chức năng mới để cải thiện khả năng sử dụng của phần mềm và ứng dụng. Nhiều công việc về việc áp dụng SBSE để các chủ đề có xu hướng tập trung vào hai sợi của nghiên cứu, mỗi trong số đó đã thu hút rất nhiều quan tâm và xung quanh thành phố một cơ thể của công việc đã được sản xuất. Chủ đề chính phải được giải quyết là mô-đun tìm kiếm dựa trên phần mềm. Hơn gần đây, có cũng đã là nhiều phát triển trong tìm kiếm dựa trên phương pháp tiếp cận để

Kết quả (Việt) 2:

Tìm kiếm dựa trên Kỹ thuật phần mềm: Xu hướng, kỹ thuật và ứng dụng 11: 9 cách là một giải pháp rất tốn kém cho vấn đề của sức mạnh và khoan dung lỗi, nó có thể và đã chỉ được sử dụng trong các tình huống rất an toàn quan trọng, mà chi phí có thể là justi fi ed. Mặc dù nó không phải là trực tiếp ý định của công việc, công việc của Feldt cũng cho thấy bằng cách sử dụng GP để phát triển các giải pháp đa dạng cần thiết để cùng vấn đề, ​​có khả năng sử dụng các kỹ thuật SBSE để vượt qua những chi phí mà trước đây vốn có trong N -version máy tính. Làm việc trên các kỹ thuật SBSE cho thiết kế đã phát triển tỷ lệ hiện nhiễm trong ba năm qua, với nhiều vấn đề thiết kế SE mới và thú vị đang nổi lên. Amoui et al. [2006] cận khí chạy dọc để tối ưu hóa số liệu OO và fi nd trình tự tốt nhất của biến đổi hệ thống để nâng cao chất lượng của thiết kế chuyển đổi. Cách tiếp cận này chia sẻ một số điểm tương đồng với công việc trên refactoring sử dụng SBO fi chuỗi thứ tốt refactoring bước. Barlas và El-Fakih [2008] trình bày một phương pháp GA để lập bản đồ khách hàng- vấn đề máy chủ để tối ưu hóa việc cung cấp các ứng dụng cho nhiều khách hàng bởi nhiều máy chủ. Bowman et al. [2008] áp dụng Sức Mạnh Pareto tiến hóa Algorithm 2 (SPEA2) thuật toán tối ưu hóa multiobjective để cung cấp ra quyết định hệ thống hỗ trợ cho Trách nhiệm lớp chuyển nhượng (CRA) vấn đề. Cao et al. [2005b] giải quyết các dịch vụ Web vấn đề lựa chọn chi phí do sử dụng khí. Chardigny et al. [2008b] trình đặt ra một cách tiếp cận dựa trên tìm kiếm để khai thác các kiến trúc dựa trên thành phần của hệ thống OO. Như với các công việc khác trong phần này, tác phẩm này có thể được phân loại như triển dấu hiệu hoặc thiết kế lại, làm nổi bật sự tương tác trong SE giữa thiết kế, bảo trì, và sự tiến hóa của hệ thống phần mềm. Sharma và Jalote [2008] đề xuất một phương pháp phỏng đoán cho việc triển khai các thành phần phần mềm nhằm tối đa hóa hiệu suất. 6. SOFTWARE / XÁC MINH CHƯƠNG TRÌNH VÀ MÔ HÌNH KIỂM TRA mẫu kiểm tra là một lĩnh vực nghiên cứu mà có thể cũng bene fi t từ nghiên cứu thêm về kỹ thuật SBSE, bởi vì mô hình kiểm tra ném lên không gian tìm kiếm rất lớn và có số liệu ứng cử viên để hướng dẫn một tìm kiếm. Phần mềm / chương trình VERI fi cation (ACM: D.2.4) được đưa ra trong Bảng VIII. Godefroid là đầu tiên fi để áp dụng SBO để khám phá những trạng thái không gian được sử dụng trong mô hình kiểm tra [Godefroid 1997]. Trường hợp không gian trạng thái là quá lớn để được kiểm tra đầy đủ, tối ưu hóa dựa trên tìm kiếm có thể được sử dụng để xác định đồ thị con đẳng cấu và để tìm ra counterexamples. Alba et al. [Alba và Chicano 2007a, 2007b, 2007c; Alba et al. Năm 2008; Chicano và Alba 2008a, 2008b, 2008c] cũng cho thấy làm thế nào Ant Colony Optimization (ACO) có thể được sử dụng để khám phá những không gian trạng thái được sử dụng trong mô hình kiểm tra để tìm kiếm counterexamples. Mahanti và Banerjee [2006] cũng đề xuất một cách tiếp cận để mô hình kiểm tra, sử dụng ACO và Particle Swarm Optimization (PSO) kỹ thuật. Các tác giả khác cũng đã khám phá mối quan hệ giữa SBSE và mô hình phòng nhanh ing. Ví dụ, Johnson [2007] được sử dụng kiểm tra để đo fi tness trong evo- mô hình lution của máy trạng thái hữu hạn, trong khi Katz và Peled [2008a, 2008b] cung cấp một model- cách tiếp cận GP kiểm tra dựa trên cho veri fi cation và tổng hợp từ Speci fi cation. Họ trình bày một cách tiếp cận kết hợp Hoare logic kiểu khẳng định dựa trên các cation fi đặc hiệu và mô hình kiểm tra trong khuôn khổ GP [Ông et al. 2008]. 7. PHÂN PHỐI, BẢO DƯỠNG VÀ NÂNG CAO bảo trì phần mềm là quá trình tăng cường và tối ưu hóa phần mềm triển khai (phát hành phần mềm), cũng như khắc phục các khiếm khuyết. Nó liên quan đến những thay đổi trong phần mềm để sửa chữa khiếm khuyết và thiếu sót fi de tìm thấy trong fi sử dụng tuổi già cũng như việc bổ sung các chức năng mới để cải thiện khả năng sử dụng và ứng dụng của phần mềm. Phần lớn các công việc trên các ứng dụng của SBSE đến các chủ đề này có xu hướng tập trung vào hai sợi nghiên cứu, mỗi trong số đó đã thu hút được rất nhiều sự quan tâm và xung quanh do một cơ quan làm việc đã được sản xuất. Các chủ đề fi đầu tiên được giải quyết là phần mềm tìm kiếm dựa trên mô-đun hóa. Hơn thời gian gần đây, cũng đã có một số tiến triển trong phương pháp tiếp cận dựa trên tìm kiếm để