A survey of component based system quality assurance and assessment

Information and Software Technology

Volumn 47, Issue 10, 2005, Pages 693-707

  Mahmood, Sajjad ^a   Lai, Richard ^a   Kim, Yong Soo ^b   Kim, Ji Hong ^b   Park, Seok Cheon ^b   Oh, Hae Suk ^b  

^a LA TROBE UNIVERSITY   (Australia)

^b Gachon University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONSTRAINT THEORY; INFORMATION RETRIEVAL; SOFTWARE ENGINEERING; SURVEYS; SYSTEMS ANALYSIS;

COMPONNET BASED SYSTEMS; PROJECT CONSTRAINTS; QUALITY SYSTEMS; REASONING;

QUALITY ASSURANCE;

EID: 21244433139     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2005.03.007     Document Type: Article

References (96)

1. A. Cechich, A. Vallecillo, and M. Piattini Assessing component based systems Component Based Software Quality LNCS 2693 2003 1 20
2. R.P.S. Simao, and A.D. Belchior Quality characteristics for software components Component Based Software Quality LNCS 2693 2003 184 206
3. M. Woodman, Issues of CBD product quality and process quality, In Proceedings of Fourth ICSE Workshop on Component Based Software Engineering, 2001.
4. J. Gao, Challenges and problems in testing software components, In Third International Workshop on Component Based Software Engineering (ICSE 2000), 2000, Limerick, Ireland.
5. G.T. Heineman, and W.T. Councill Component-Based Software Engineering: Putting the Pieces Together 2001 Addison-Wesley
6. P.S.C. Alencar, D.D. Cowan, The role of formal methods in component-based software engineering, In Proceedings of 21st International Conference on Software Engineering, 1999, Los Angeles, CA, USA.
7. R. Ibrahim, C. Szyperski, Formalization of component object model (COM) - the COMEL language, In Proceedings of 12th European Conference on Object-Oriented Programming, 1998, Brussels, Belgium.
8. K.J. Sullivan, M. Marchukov, and J. Socha Analysis of a conflict between aggregation and interface negotiation in Microsoft's Component Object Model IEEE Transactions on Software Engineering 25 4 1999 584 599
9. A. Diller Z: An Introduction to Formal Methods 1994 Wiley
10. J. Hatcliff Cadena: an integrated development, analysis, and verification environment for component-based systems, In Proceedings of 25th international conference on Software engineering IEEE Computer Society 2003 160 173
11. B.P. Upadhyaya, Z. Liu, A design level formal model for Javabeans, In Proceedings of Eighth World Multi-Conference on Systemics, Cybernetics and Informatics, 2004, Orlando, Florida, USA.
12. B.P. Upadhyaya, Z. Liu. Formal support for development of javabeans component systems, In Proceedings of 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), 2004, Hong Kong.
13. B. Long, P. Strooper, A classification of concurrency failures in Java components, In Proceedings of International Parallel and Distributed Processing Symposium, 2003.
14. P.T. Cox, B. Song, A formal model for component-based software, In Proceedings of IEEE Symposium on Visual/Multimedia Approaches to Programming and Software Engineering, 2001, Stresa, Italy, p. 304-311.
15. F. Arbab, Abstract behaviour types: a foundation model for components and their composition, In Proceedings of International Symposium on Formal Methods for Components and Objects, (FMCO 2002), 2002, Leiden, The Netherlands, p. 33-70.
16. J.-J. Jeng, B.H.C Cheng, A formal approach to reusing more general components, In Proceedings of Ninth Knowledge-Based Software Engineering Conference, 1994, p. 90-97.
17. B.H.C. Cheng, and J.J. Jeng Reusing analogous components IEEE Transactions on Knowledge and Data Engineering 9 2 1997
18. Y. Chen, B.H.C. Cheng, Formalizing and automating component reuse, In Proceedings of Ninth IEEE International Conference on Tools with Artificial Intelligence, 1997, p. 94-101.
19. E.A. Addy, and M. Sitaraman Formal specification of COTS-based software: a case study, In Proceedings of 1999 symposium on Software reusability 1999 ACM Press pp. 83-91
20. C.D.T. Cicalese, and S. Rotenstreich Behavioural specification of distributed software component interfaces Computer 32 7 1999 46 53
21. R. Kramer, iContract the Java Design by Contract Tool, In Tools 98, 1998.
22. G.T. Leavens, A.L. Baker, C. Ruby, JML: a notation for detailed design, In Proceedings of Behavioural Specifications for Businesses and Systems, 1999, Kluwer, Dordetch, p. 175-188.
23. R. McKegney, T. Shepard. Techniques for embedding executable specifications in software component interfaces, In Proceedings of Second International Conference, (ICCBSS 2003), 2003, Ottawa, Canada, p. 143-156.
24. J.-R. Abrial The B Book 1996 Cambridge University Press
25. O. Kouchnarenko, A. Lanoix, Refinement and verification of synchronized component based systems, In Proceedings of International Symposium of Formal Methods Europe, 2003, Pisa, Italy.
26. J. Plosila, K. Sere, M. Walden. Design with asynchronously communicating components, In Proceedings of International Symposium of Formal Methods Europe, 2003, Pisa, Italy, p. 424-442.
27. O. Nierstrasz, F. Achermann, A calculus for modelling software components, In Proceedings of First International Symposium, (FMCO 2002), 2002, p. 339-360.
28. G. Gossler, J. Sifakis, Composition for component based modelling, In Proceedings of First International Symposium, (FMCO 2002), 2002: p. 443-466.
29. I. Rodriguez, M. Nunez, and F. Rubio A formal framework for analysing reusability complexity in component based systems Information And Software Technology 4 2004 791 804
30. R.H. Reussner, I.H. Poernomo, and H.W. Schmidt Reasoning about software architectures with contractually specified components Component Based Software Quality 2003 287 325 LNCS 2693
31. H.Y. Kim, K. Jerath, and F. Sheldon Assessment of high integrity software components for completeness, consistency, fault-tolerance and reliability Component Based Software Quality 2003 259 286 LNCS 2693 2693
32. R.P. Diaz-Redondo, J.J. Pazos-Arias, and A. Fernandez-Vilas Reuse of formal verification efforts of incomplete models Component Based Software Quality 2003 326 351 LNCS 2693
33. ISO/IEC Standard 9126-1 Software Engineering-Product Quality-Part 1: Quality Model, 2001.
34. P. Botella, and X. Burgues Towards a quality model for the selection of ERP systems Component Based Software Quality 2003 225 245 LNCS 2693
35. S. Sedigh-Ali, A. Ghafoor, R.A. Paul. Metrics and models for cost and quality of component-based software, In Proceedings of Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003, p. 149-155.
36. S. Sedigh-Ali, A. Ghafoor, and R.A. Paul, Metrics-based framework for decision making in COTS-based software systems, In Proceedings of Seventh IEEE International Symposium on High Assurance Systems Engineering, 2002, p. 243-244.
37. S. Sedigh-Ali, A. Ghafoor, R.A. Paul, Metrics-guided quality management for component-based software systems, In Proceedings of 25th Annual International on Computer Software and Applications Conference, (COMPSAC 2001), 2001, p. 303-308.
38. S. Sedigh-Ali, A. Ghafoor, and R.A. Paul Software engineering metrics for COTS-based systems IEEE Computer 34 5 2001 44 50
39. N.S. Gill, and P.S. Grover Component based measurement: few useful guidelines SIGSOFT Software Engineering Notes 28 6 2003 1 6
40. N.S. Gill, and P.S. Grover Few important considerations for deriving interface complexity metric for component-based systems SIGSOFT Software Engineering Notes 29 2 2004 4
41. J.Z. Gao, H.-S.J. Tsao, and Y. Wu Testing and quality assurance for component based software 2003 Artech House
42. W.T. Councill Third-party testing and the quality of software components IEEE Software 16 4 1999 55 57
43. M. Sparling Lessons learned through six years of component-based development ACM Communication 43 10 2000 47 53
44. N.F., Schneidewind, Software metrics model for quality control, In Proceedings of Fourth International on Software Metrics Symposium, 1997, p. 127-136.
45. J.E. Gaffney Software measurement guidebook 1995 International Thomson Computer Press
46. E. J. Gaffney, Jr, Metrics in software quality assurance, In Proceedings of ACM'81 conference, 1981, ACM Press.
47. J.J. Dolado A validation of the component-based method for software size estimation IEEE Transactions on Software Engineering 26 10 2000 1006 1021
48. E.S. Cho, M.S. Kim, S.D. Kim. Component metrics to measure component quality, In Proceedings of Eighth Asia-Pacific Software Engineering Conference. 2001, p. 419-426.
49. A.J.A Wand, Reuse metrics and assessment in component based development, In Proceedings of Sixth International Conference on Software Engineering and Applications, 2002, p. 583-588.
50. H. Washizaki, H. Yamamoto, Y. Fukazawa. A metrics suite for measuring reusability of software components, In Proceedings of Nineth International Software Metrics Symposium (METRICS'03), 2003, Sydney, Australia.
51. V.L. Narasimhan, B. Hendradjaya. A new suite of metrics for the integration of software components, In Proceedings of Workshop on Object Systems and Software Architectures, 2004, Victor Harbor, South Australia.
52. R. Stutzke, Costs impact of COTS volatility, In Proceedings of Workshop on COCOMO 2.0. 1995, University of Southern California.
53. T. Ellis, COTS integration in software solutions - A cost model, In Proceedings of Systems Engineering in the Global Marketplace, NCOSE international symposium. 1995, St Louis, MO, USA.
54. D. Yakimovich, J.M. Bieman, V.R. Basili. Software architecture classification for estimating the cost of COTS integration, In Proceedings of International Conference on Software Engineering, 1999, 296-302.
55. C.M. Abts, B.W. Boehm, E.B. Clark. COCOTS: COTS software integration cost model: an Overview, In Proceedings of The California Software Symposium, 1998.
56. A.F. Minkiewicz, The real costs of COTS, In Proceedings of IEEE Aerospace Conference, 2001, 2863-2869.
57. Mili, A.etal. An integrated cost model for software reuse, In Proceedings of 22nd, 2000 157-166
58. A. Leicher, F. Bubl, External requirements validation for component based systems, In CAiSE 2002, LNCS 2348, 2002, Springer, Berlin.
59. S.A. Hissam, Packaging predictable assembly with prediction-enabled component technology. Technical Report CMU/SEI-2001-TR-024. 2001, Carnegie Mellon, Software Engineering Institute.
60. J. Stafford, L. Wolf, Annotating components to support component based static analysis of software systems. Technical Report CU-CS-896-99. 1999, University of Colorado at Boulder.
61. A. Cechich, M. Prieto, Comparing visual component composition environments, In Proceedings of XXII International Conference of the Chilean Computer Science Society, (SCCC 2002). 2002: IEEE Computer Society.
62. IEEE, Standard Glossary of software engineering terminology, 1991: p. 610.12-1990.
63. C.U. Smith Performance Engineering of Software Systems 1990 Addison Wesley
64. C.U. Smith, Performance engineering for software architectures, In Proceedings of the 21st Annual International Computer Software and Applications Conference, 1997, p. 166-167.
65. C.U. Smith, and L.G. Williams Software performance engineering: a case study including performance comparison with design alternatives IEEE Transactions on Software Engineering 19 7 1993 720 741
66. C.U. Smith, and L.G. Williams Performance Solutions: A practical Guide to Creating Responsive, Scalable Software 2002 Addison Wesley
67. L.G. Williams, C.U. Smith. Performance engineering evaluation of software architectures, In Proceedings of First International Workshop on Software and Performance. 1998.
68. S. Balsamo Model-based performance prediction in software development: a survey IEEE Transactions on Software Engineering 30 5 2004 295 310
69. L.G. Williams, C.U. Smith, PASA: A Method for the Performance Assessment of Software Architectures, In Proceedings of ACM International Workshop on Software and Performance, 2002.
70. C.U. Smith, C.M. Llado, Performance model interchange format (PMIF 2.0): XML definition and implementation, In Proceedings of First International Conference on the Quantitative Evaluation of Systems, 2004, p. 38-47.
71. S. Chen Performance prediction of component based applications Journal of Systems and Software 74 1 2005 35 43
72. S. Yacoub, Performance analysis of component based applications, In Proceedings of Second International Conference of Software Product Lines, (SPLC 2002), 2002, p. 229.
73. J.T. Russell, M.F. Jacome. Architecture-level performance evaluation of component-based embedded systems, In Proceedings of 40th conference on Design automation. 2003: ACM Press, p. 396-401.
74. A. Mos, J. Murphy. Performance management in component systems using a model driven architecture approach, In Proceedings of 6th IEEE International Enterprise Distributed Object Computing Conference. 2002. Switzerland.
75. V. Cortellessa Model-based performance risk analysis IEEE Transactions on Software Engineering 31 1 2005 3 20
76. J. Dolbec, T. Shepard, A component based software reliability model, In Proceedings of 1995 conference of the Centre for Advanced Studies on Collaborative research, 1995, Toronto, Canada, p. 19.
77. S. Krishnamurthy, A.P. Mathur. On the estimation of reliability of a software system using reliabilities of its components, In Proceedings of Eighth International Symposium On Software Reliability Engineering, 1997, 146-155.
78. S.M. Yacoub, B. Cukic, H.H. Ammar. Scenario-based reliability analysis of component-based software, In Proceedings of 10th International Symposium on Software Reliability Engineering, 1999, p. 22-31.
79. M. Xiaoguang, D. Yongjin. A general model for component-based software reliability, In Proceedings of 29th Euromicro Conference, 2003, p. 395-398.
80. Y. Zhu, J. Gao. A method to calculate the reliability of component-based software, In Proceedings of 12th Asian Test Symposium, (ATS 2003), 2003, p. 488-491.
81. H. Singh, et al. A Bayesian approach to reliability prediction and assessment of component based systems, In Proceedings of 12th International Symposium on Software Reliability Engineering (ISSRE 2001). 2001, p. 12-21.
82. J. Voas Maintaining component based systems IEEE Software 15 4 1998 22 27
83. M.R. Vigder, J.C. Dean. Building maintainable COTS based systems, In Proceedings of International Conference on Software Maintenance. 1998, p. 132-138.
84. D. Carney, S.A. Hissam, and D. Plakosh Complex COTS-based software systems: practical steps for their maintenance Journal of Software Maintenance 2000 357 376
85. A. Andrews, S. Ghosh, E.M. Choi, A model for understanding software components, In Proceedings of International Conference on Software Maintenance. 2002, p. 359-368.
86. J. Gergic, Towards a versioning model for component-based software assembly, In Proceedings of International Conference on Software Maintenance. 2003, p. 138-147.
87. M. Mari, N. Eila. The impact of maintainability on component-based software systems, In Proceedings of 29th Euromicro Conference. 2003, p. 25-32.
88. A. Arsanjani, H. Zedan, J. Alpigini. Externalizing component manners to achieve greater maintainability through a highly re-configurable architectural style, In Proceedings of International Conference on Software Maintenance. 2002, p. 628-637.
89. P. Ardimento, A. Bianchi, G. Visaggio. Maintenance-oriented selection of software components, In Proceedings of Eighth European Conference on Software Maintenance and Reengineering. 2004, p. 115-124.
90. B. Srivastava, A decision-support framework for component reuse and maintenance in software project management, In Proceedings of Eighth European Conference on Software Maintenance and Reengineering. 2004, p. 125-134.
91. Y. Wu, J. Offutt, Maintaining evolving component-based software with UML, In Proceedings of Seventh European Conference on Software Maintenance and Reengineering, p. 2003, 133-142.
92. Y. Wu, D. Pan, M.-H. Chen, Techniques of maintaining evolving component based software, In Proceedings of International Conference on Software Maintenance, 2000, p. 236-246.
93. R.S. Freedman Testability of software components IEEE Transactions on Software Engineering 17 6 1991 553 564
94. J.M. Voas, and K.W. Miller Semantic metrics for software testability Journal of Systems and Software 20 1993 207 216
95. T.B. Nguyen, M. Delaunay, C. Robach, Testability analysis for software components, In Proceedings of International Conference on Software Maintenance. 2002, p. 422-429.
96. A. Bertolino, and L. Strigini On the use of testability measures for dependability assessment IEEE Transactions on Software Engineering 22 2 1996 97 108