Towards an embedded software component quality verification framework

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2009, Pages 248-257

  Carvalho, Fernando ^a,b   Meira, Silvio R L ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SOFTWARE; QUALITY CONTROL; SOFTWARE RELIABILITY; VERIFICATION;

APPLICATION AREA; BUSINESS SUCCESS; COMPONENT-BASED SOFTWARE ENGINEERING; EMBEDDED SOFTWARE COMPONENTS; EMBEDDED-SYSTEM; HUMAN SAFETY; QUALITY VERIFICATION; SOFTWARE ENGINEERING LIFE-CYCLE; SOFTWARE-COMPONENT; VERIFICATION FRAMEWORK;

EMBEDDED SYSTEMS;

EID: 70350048795     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2009.26     Document Type: Conference Paper

References (36)

1. Stankovic J. and Ramamritham K., "Tutorial on Hard Real-Time Systems", IEEE Computer Society Press, 1998.
2. Crnkovic, I., Component-based software engineering for embedded systems I -27th ICSE, May , Missouri, USA,2005
3. M. Larsson, Predicting Quality Attributes in Component-based Software Systems, Phd Thesis, Mälardalen University Press, March 2004.
4. Krueger, C.W. Software Reuse, ACM Computing Surveys, Vol. 24, No. 02, June, 1992, pp. 131-183.
5. Jezequel, J.M., Meyer, B. Design by Contract: The Lessons of Ariane, IEEE Computer, Vol. 30, No. 2, pp. 129-130, 1997.
6. Alvaro, A., Almeida, E.S., Meira, S.R.L. A Software Component Certification: A Survey, 31st EUROMICRO (SEAA), (CBSE), 2005.
7. Wallnau, K.C. Volume III: A Technology for Predictable Assembly from Certifiable Components, (SEI), Technical Report, Vol. 03, April, 2003.
8. Meyer, B. The Grand Challenge of Trusted Components, 25th International Conference on Software Engineering (ICSE), USA, 2003.
9. Weber, K.C., Nascimento, C.J. Brazilian Software Quality 2002, In the Proceedings of 24th ICSE, EUA, pp. 634-638, 2002.
10. ISO 9126, Information Technology - Product Quality - Part1: Quality Model, International Standard ISO/IEC 9126, June, 2001.
11. McCall, J.A., Richards, P.K., Walters, G.F. Factors in Software Quality, Griffiths Air Base, Nova York, Rome Air Development Center (RADC) System Command, TR-77-369, Vol. I, II and III, 1977.
12. Boehm, B., Brown, J.R., Lipow, H., MacLeod, G.J., Merrit, M.J. Characteristics of Software Quality, Elsevier North Holland, 1978.
13. Goulão, M., Abreu, F.B. Towards a Component Quality Model, Work in Progress Session 28th Euromicro Conference, Dortmund, Germany, 2002.
14. Bertoa, M., Vallecillo, A. Quality Attributes for COTS Components, Proc. of the 6th International ECOOP Workshop on QAOOSE, Spain, 2002.
15. Goulao, M., Brito e Abreu, F. The Quest for Software Components Quality, 26th IEEE COMPSAC, England, 2002, pp. 313-318.
16. ISO/IEC 25000, Software engineering - Software product quality requirements and evaluation (SQuaRE), Guide to SQuaRE, July, 2005.
17. ISO 14598, Information Technology - Software product evaluation, Part 1: General Guide, International Standard ISO/IEC 14598, ISO, 1998.
18. Simão, R.P.S., Belchior, A. Quality Characteristics for Software Components: Hierarchy and Quality Guides, Component-Based Software Quality: Methods and Techniques, LNCS, Springer-V., Vol. 2693, 2003.
19. Torchiano, M., Jaccheri, L., Sørensen, C.-F., Wang, A.I. COTS Products Characterization, In 14th SEKE, 2002, pp. pp. 335-338.
20. Alvaro, A., Almeida, E.S., Meira, S.R.L. Towards a Software Component Quality Model, In the 31st IEEE EUROMICRO Conference on SEAA, Work in Progress Section, 2005.
21. Alvaro, A., Almeida, E.S., Meira, S.R.L. Quality Attributes for a Component Quality Model. In 10th International WCOP in Conjunction with the 19th ECOOP, Glasgow, Scotland. 2005.
22. Alvaro, A., Almeida, E.S., Meira, S.R.L. A Component Quality Model for Component Quality Assurance. In the 5th Brazilian Workshop on Component-Based Development, Short Paper, Juiz de Fora, Brazil. 2005.
23. Alvaro, A., Almeida, E.S., Meira, S.R.L. A Software Component Quality Model: A Preliminary Evaluation, In the 32st IEEE EUROMICRO Conference on SEAA, CBSE Track, Croatia, 2006.
24. Paulk, M., Curtis, B., Chrissis, M., Weber, C. Capability Maturity Model for Software, SEI/CMU, Technical Report ADA263403, February, 1993.
25. Boegh, J., Hausen, H.-L., Welzel, D. A Practioners guide to Evaluation of Software, IEEE Software Eng Standards Symposium, 1993.
26. Solingen, R. v. Product focused software process improvement: SPI in the embedded software domain, PhD Thesis, Technische Eindhoven, 2000.
27. Tian, J. Quality-Evaluation Models and Measurements, IEEE Software, Vol. 21, No.03, pp.84-91, May/June, 2004.
28. Alvaro, A., Almeida, E.S., Meira, S.R.L. A Software Component Maturity Model, 33rd EUROMICRO / SEAA, CBSE Track, Germany, 2007.
29. Ross, D.T. Structured Analysis (SA): A Language for Communicating Ideas, IEEE Transaction Software Eng., Vol. 03, No. 01, pp. 16-34, 1997.
30. Kogure, M., Akao, Y. Quality Function Deployment and CWQC in Japan, Quality Progress, 1983, pp. 25-29.
31. Basili, V.R. Software Modeling and Measurement: The Goal QuesATItion Metric Paradigm, University of Maryland, College Park, MD, 1992.
32. Boehm, W., Brown, J.R., Lipow, M. Quantitative Evaluation of Software Quality, In the 2th (ICSE), 1976, pp. 592-605.
33. Beus-Dukic, L., Boegh, J. COTS Software Quality Evaluation, In the 2nd Int.Conf. COTS-Based Software System (ICCBSS), LNCS, Canada, 2003.
34. Comella-Dorda, S., Dean, J., Morris, E., Oberndorf, P. A Process for COTS Software Product Evaluation, 1st International Conference COTS-Based Software System (ICCBSS), LNCS, Spring Verlag., USA, 2002.
35. Wijnstra, Jan Gerben. Quality Attributes and Aspects of a Medical Product Family. Proceedings of the 34th ICSS, Hawaii, 2001
36. M. Åkerholm; J. Fredriksson; K. Sandström; I. Crnkovic. Quality Attribute Support in a Component Technology for Vehicular Software. 4th Conference on Software Eng. Research and Practice, Sweden, 2004.