of the potential maximization of an

of the potential maximization of another, resulting in a bias guiding the search to a
certain part of the solution space.
Zhang et al. [2007b] provided a multiobjective formulation of the NRP to optimize
value and cost. They present the results of an empirical study into the suitability of
multiobjective search techniques.
Early work on integration by Saliu and Ruhe [2007] showed how implementation
objectives and requirements objectives could be simultaneously optimized using a mul-
tiobjective optimization approach. Like Zhang et al. [2007b], this work also formu-
lated the problem as a two-objective Pareto-optimal problem, but in this case with
implementation-level and requirement-level objectives, where as Zhang et al. [2007b]
use cost and value as their two objectives.
Finkelstein et al. [2008] showed how a multiobjective optimization approach can be
used to explore fairness of outcomes in requirements assignments. There are differ-
ent definitions of fairness. For example, each customer might wish to receive equal
spend from the developers, or they might prefer that they receive an equal number of
their desired requirements compared to other customers. Finkelstein et al. show how
these different definitions of fairness can be considered to be different objectives to be
optimized.
The application of SBSE optimization techniques to requirements analysis prob-
lems provides one example of an SE application that is often regarded as inherently
imprecise, qualitative, and informal. However, using SBSE it can be formalized as a
quantitative multiobjective optimization problem. A position paper on recent trends in
requirements analysis optimization was provided by Zhang et al. [2008].

5. DESIGN TOOLS AND TECHNIQUES

In other engineering disciplines SBO is widely used as a means of developing better
designs. Where there are widely accepted metrics, such as cohesion and coupling, there
has been much work on optimizing these [Doval et al. 1999; Harman et al. 2002, 2005;
Mahdavi et al. 2003b; Mancoridis et al. 1999, 1998; Mitchell and Mancoridis 2002,
2003, 2008; Mitchell et al. 2002, 2004]. However, this previous work on cohesion and
coupling is not concerned with design per se. Rather, it is concerned with the problem
of reconstructing the module boundaries of a system after implementation. As such,
this previous work is categorized as work on maintenance, rather than work on design
¨ ¨
in this survey. Raiha [2010] provided a recent detailed survey of SBSE techniques for
both design problems and redesign (maintenance) problems in SE.
Clearly, there is a relationship between redesign (for software maintenance) and
design (as a part of the initial design phase of the lifecycle). This relationship is
borne out naturally in the literature on software design, where some of the SBSE
techniques from software maintenance also have been adapted for software design.
Simons and Parmee [2006, 2007, 2008a, 2008b] proposed multiobjective GAs to
address Object-Oriented (OO) software design. Like the previous work on cohesion and
coupling for software maintenance [Harman et al. 2002, 2005; Mancoridis et al. 1999,
1998; Mitchell and Mancoridis 2003, 2008] the fitness function is inspired by similar
SE goals. However, the goal is upstream software design rather than more downstream
´
´
maintenance. O’Keeffe and O Cinneide [2003, 2004] converted OO software design to
an optimization problem using SA. A set of metrics is used for evaluating the design
quality. This is a development of work by the same authors on refactoring OO systems
according to metrics (that is described in Section 7.2).
It would be natural to suppose that work on design patterns [Gamma et al. 1995]
could and should form a foundation for a strand of work on SBSE for design. This possi-
¨ ¨ ¨ ¨
bility has recently been explored in detail by [Raiha 2008a, 2008b; Raiha et al. 2008a],

ACM Computing Surveys, Vol. 45, No. 1, Article 11, Publication date: November 2012.

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

của tối đa hóa tiềm năng của người khác, kết quả là một thiên vị hướng dẫn tìm đến một phần nhất định của không gian giải pháp. Trương et al. [2007b] cung cấp một công thức multiobjective của NRP để tối ưu hóa giá trị và chi phí. Họ trình bày các kết quả của một nghiên cứu thực nghiệm vào sự phù hợp của kỹ thuật tìm kiếm multiobjective. Đầu làm việc trên hội nhập bởi Saliu và Ruhe [2007] cho thấy làm thế nào thực hiện mục tiêu và mục tiêu yêu cầu có thể được đồng thời tối ưu hóa bằng cách sử dụng một mul- tiobjective tối ưu hóa phương pháp tiếp cận. Như trương et al. [2007b], điều này làm việc cũng formu- lated vấn đề như là một vấn đề tối ưu Pareto hai mục tiêu, nhưng trong trường hợp này với mục tiêu thực hiện cấp và yêu cầu cấp, nơi như trương et al. [2007b] sử dụng chi phí và giá trị như là hai mục tiêu của họ. Finkelstein et al. [2008] cho thấy làm thế nào một cách tiếp cận multiobjective tối ưu hóa có thể được sử dụng để khám phá công bằng của kết quả trong yêu cầu bài tập. Có được khác nhau- ent definitions về sự công bằng. Ví dụ, mỗi khách hàng có thể mong muốn nhận được bằng chi tiêu từ các nhà phát triển, hoặc họ có thể thích rằng họ nhận được một số lượng tương đương yêu cầu mong muốn của họ so với các khách hàng khác. Finkelstein et al. Hiển thị như thế nào Các definitions khác nhau về sự công bằng có thể được coi là các mục tiêu khác nhau để tối ưu hóa. Việc áp dụng các SBSE tối ưu hóa kỹ thuật để yêu cầu phân tích prob- lems cung cấp một ví dụ về một ứng dụng Nam thường được coi như là vốn không chính xác, chất lượng, và không chính thức. Tuy nhiên, bằng cách sử dụng SBSE nó có thể được chính thức hóa như là một vấn đề định lượng tối ưu hóa multiobjective. Một giấy vị trí trên các xu hướng gần đây trong tối ưu hóa công cụ yêu cầu phân tích được cung cấp bởi trương et al. [2008]. 5. THIẾT KẾ CÔNG CỤ VÀ KỸ THUẬT Trong các lĩnh vực kỹ thuật SBO sử dụng rộng rãi như là một phương tiện để phát triển tốt hơn thiết kế. Nơi có số liệu được chấp nhận rộng rãi, chẳng hạn như gắn kết và khớp nối, có đã làm việc nhiều về tối ưu hoá các [Doval et al. 1999; Harman et al. 2002, 2005; Mahdavi et al. 2003b; Mancoridis et al. 1999, 1998; Mitchell và Mancoridis năm 2002, 2003, 2008; Mitchell ctv. 2002, 2004]. Tuy nhiên, công việc này trước ngày gắn kết và khớp nối không có liên quan với thiết kế cho một se. Rather, nó là có liên quan với vấn đề của xây dựng lại các ranh giới mô-đun của một hệ thống sau khi thực hiện. Như vậy, này công việc trước đây được phân loại như là các công việc về bảo trì, chứ không phải là làm việc trên thiết kế ¨ ¨ trong cuộc khảo sát này. Raiha [2010] cung cấp một cuộc khảo sát chi tiết tại SBSE kỹ thuật cho cả hai vấn đề thiết kế và thiết kế lại (bảo trì) vấn đề ở SE. Rõ ràng, đó là một mối quan hệ giữa thiết kế lại (để bảo trì phần mềm) và thiết kế (là một phần của giai đoạn thiết kế ban đầu của vòng đời). Mối quan hệ này là sinh ra tự nhiên trong các tài liệu trên phần mềm thiết kế, nơi một số SBSE các kỹ thuật từ phần mềm bảo trì cũng đã được điều chỉnh cho phần mềm thiết kế. Simons và Parmee [2006, 2007, 2008a, 2008b] đề xuất multiobjective khí để địa chỉ Object-Oriented (OO) phần mềm thiết kế. Thích làm việc trước ngày gắn kết và bộ kéo cho phần mềm bảo trì [Harman et al. 2002, 2005; Mancoridis et al. 1999, năm 1998; Mitchell và Mancoridis 2003, 2008] chức năng fitness là cảm hứng của tương tự Ðông-Ðông Nam mục tiêu. Tuy nhiên, mục tiêu là thượng nguồn phần mềm thiết kế chứ không phải là nhiều hơn nữa ở hạ nguồn ´ ´ bảo trì. O'Keefe và O Cinneide [2003, 2004] chuyển đổi thiết kế phần mềm OO một vấn đề tối ưu hóa bằng cách sử dụng SA. Một tập hợp các số liệu được sử dụng để đánh giá thiết kế chất lượng. Đây là một sự phát triển của công việc của tác giả cùng ngày refactoring OO hệ thống theo số liệu (mà được mô tả trong phần 7.2). Nó sẽ là tự nhiên để giả sử rằng làm việc trên mẫu thiết kế [Gamma et al. 1995] có thể và nên hình thức một nền tảng cho một sợi làm việc trên SBSE cho thiết kế. N- ¨ ¨ ¨ ¨ bility gần đây đã được khám phá trong chi tiết bởi [Raiha 2008a, 2008b; Raiha et al. 2008a], ACM Computing Surveys, Vol. 45, No. 1, điều 11, ngày phát hành: tháng 12 năm 2011.