Integrated model for software component selection with simultaneous consideration of implementation and verification

Wu Zhiqiao, Chun Kit Kwong, Jiafu Tang, J. W.K. Chan

Research output: Journal article publicationJournal articleAcademic researchpeer-review

14 Citations (Scopus)


One important objective of component-based software engineering is the minimization of the development cost of software products. Thus, the costs of software component implementation and verification, which may involve substantial expenses while under development, should be reduced. In addition, the costs for these processes should not be considered individually, but in an integrated manner, to further reduce development cost. In the current paper, an integrated decision model is proposed to assist decision-makers in selecting reuse scenarios for components used for implementation and in simultaneously determining the optimal number of test cases for verification. An objective of the model is the minimization of development cost, while satisfying the required system and reliability requirements. The Lagrange relaxation decomposition (LRD) method with heuristics was developed to solve integrated decision problems. Based on LRD, the nonlinear model is condensed into a 0-1 knapsack problem for the subproblem on reuse scenario selection and an integer knapsack problem for the subproblem on the determination of the optimal number of tests. Combined with the Lagrange multiplier-determined heuristic, the proposed algorithm can determine the global optimum solution. Simulations of varying sizes for problems and sensitivity analyses were conducted, and the results indicate that LRD is more effective than previous methods in determining global optimal solutions for the integrated decision problem.
Original languageEnglish
Pages (from-to)3376-3393
Number of pages18
JournalComputers and Operations Research
Issue number12
Publication statusPublished - 1 Dec 2012


  • Component selection
  • Component-based software engineering
  • Lagrange relaxation
  • Optimization model
  • Reliability

ASJC Scopus subject areas

  • Computer Science(all)
  • Modelling and Simulation
  • Management Science and Operations Research


Dive into the research topics of 'Integrated model for software component selection with simultaneous consideration of implementation and verification'. Together they form a unique fingerprint.

Cite this