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

作者: Wu Zhiqiao , C.K. Kwong , Jiafu Tang , J.W.K. Chan

DOI: 10.1016/J.COR.2012.04.020

关键词:

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

参考文章(46)
Andrew Grace, Thomas Coleman, Mary Ann Branch, Optimization Toolbox User's Guide ,(1998)
Edward A. Addy, A framework for performing verification and validation in reuse-based software engineering Annals of Software Engineering. ,vol. 5, pp. 279- 292 ,(1998) , 10.1023/A:1018968222862
Torsten Fahle, Karsten Tiemann, An improved branch-and-bound algorithm for the test cover problem Lecture Notes in Computer Science. pp. 89- 100 ,(2005) , 10.1007/11427186_10
Robert V. Binder, Design for testability in object-oriented systems Communications of the ACM. ,vol. 37, pp. 87- 101 ,(1994) , 10.1145/182987.184077
C. Bliss, Build or buy Microprocessors. ,vol. 1, pp. 22- 24 ,(1976) , 10.1016/0308-5953(76)90102-1
J.M. Voas, K.W. Miller, Software testability: the new verification IEEE Software. ,vol. 12, pp. 17- 28 ,(1995) , 10.1109/52.382180
YI PENG, GANG KOU, GUOXUN WANG, WENSHUAI WU, YONG SHI, ENSEMBLE OF SOFTWARE DEFECT PREDICTORS: AN AHP-BASED EVALUATION METHOD International Journal of Information Technology and Decision Making. ,vol. 10, pp. 187- 206 ,(2011) , 10.1142/S0219622011004282
Ho-Won Jung, Byoungju Choi, Optimization models for quality and cost of modular software systems European Journal of Operational Research. ,vol. 112, pp. 613- 619 ,(1999) , 10.1016/S0377-2217(98)00169-6
Vittorio Cortellessa, Fabrizio Marinelli, Pasqualina Potena, An optimization framework for build-or-buy decisions in software architecture Computers & Operations Research. ,vol. 35, pp. 3090- 3106 ,(2008) , 10.1016/J.COR.2007.01.011
Avik Sinha, Carol Smidts, HOTTest: A model-based test design technique for enhanced testing of domain-specific applications ACM Transactions on Software Engineering and Methodology. ,vol. 15, pp. 242- 278 ,(2006) , 10.1145/1151695.1151697