Skip to main content

Integrity-Enhanced Verification Scheme for Software-Intensive Organizations

  • Conference paper
Automated Technology for Verification and Analysis (ATVA 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3299))

  • 361 Accesses

Abstract

The current trend of software quality assurance has been heavily considered in various software projects due to the increasing complexity of either the system scale or the diversity of technologies. Meanwhile, there exist many international standards and development guides such as DO-178B, EN50128, ISO/IEC 12207, ISO/IEC 15504, etc., that may be referenced during project development in different application domains. In this paper, we investigate the issue of process improvement in a software-intensive organization and establish a quality-enhanced system scheme for emphasizing software verification and validation (V&V) in the aspects of capability levels and its integrity levels. Considering the practical resources at a middle-scale software-intensive organization in Taiwan area, we propose a feasible, efficient and economical roadmap for software process improvement, no matter the companies is ISO 9001:2000 registered or not yet, which then provides a shortcut to enhance V&V tasks for the ISO-9001 registered software organizations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Ahern, D.M.: Aaron Clouse and Richard Turner. In: CMMI Distilled, p. 157. Addison-Wesley, Reading (2001)

    Google Scholar 

  2. Brinkman, S., Lawrence, T.: Implementing CMM Level 2 and 3 in a Small Project Environment. In: SEPG 1998 (1998)

    Google Scholar 

  3. Carter, L., Graettinger, C., Patrick, M., Wemyss, G., Zasadni, S.: The Road to CMMI: Results of the First Technology Transition Workshop, CMU/SEI-2002-TR-007, Pittsburgh, PA: Software Engineering Institute (February 2002)

    Google Scholar 

  4. Chrissis, M.B., Konrad, M., Shrum, S.: CMMI: Guidelines for Process Integration and Product Improvement. Addison Wesley, Reading (2003)

    Google Scholar 

  5. Dikenellli, O.: Process Improvement towards ISO 9001 Certification in a Small Software Organization. In: ICSE 1998 (1998)

    Google Scholar 

  6. Hoyle, D.: ISO 9001 Quality Systems Handbook, 4th edn., Woburn. Butterworth- Heinemann, MA (2001)

    Google Scholar 

  7. Ibrahim, L., Deloney, R., Gantzer, D., LaBruyere, L., Laws, B., Malpass, P., Marciniak, J., Reed, N.: The Federal Aviation Administration Integrated Capability Maturity Model (FAA-iCMM), Version 2.0, September 2001. FAA, Washington (2001)

    Google Scholar 

  8. IEEE, Std 1012-1998, IEEE Standards for software Verification and Validation p.7, pp. 42–55 (1998)

    Google Scholar 

  9. ISO, ISO/IEC 12207: Information technology—Software Life Cycle Processes (1995)

    Google Scholar 

  10. ISO, ISO/IEC TR 15504-2:1998. Information Technology-Software Process Assessment-Part 2: A Reference Model for Process and Process capability, Geneva, ISO

    Google Scholar 

  11. ISO, Quality management systems—Fundamentals and vocabulary, ISO 9000:2000, Geneva, Switzerland: ISO (December 2000)

    Google Scholar 

  12. ISO, Quality management—Guidelines for quality plans, ISO 10005, Geneva, Switzerland: ISO (1995)

    Google Scholar 

  13. ISO, Software and Systems Engineering—Guidelines for the Application of ISO 9001:2000 to Software, TC/SC SC7 WG18N61, ISO/IEC CD 9000-3, Version for FCD Ballot, Geneva, Switzerland: ISO (December 2001)

    Google Scholar 

  14. Mutafelija, B.: Software Process Improvement: Synergy between ISO 9001:2000 and CMMI, paper presented at the SEPG Conference, New Orleans, LA (2001)

    Google Scholar 

  15. Paulk, M.C.: How ISO 9001 Compares with the CMM. IEEE Software, 74–83 ( January 1995)

    Google Scholar 

  16. Sanders, M.: Software Process Improvement in Small Organizations. IEEE Software Process Improvement (2001)

    Google Scholar 

  17. SEI, Capability Maturity Model Integration (CMMI-SE/SW/IPPD/SS, V1.1), Continuous Representation, CMU/SEI-2002-TR-011, Pittsburgh, PA: Software Engineering Institute (March 2002)

    Google Scholar 

  18. SEI, CMMI Product Team, CMMI for Systems Engineering, Software Engineering, Integrated Product and Process Development, and Supplier Sourcing (CMU/SEI-2002-TR-012), Pittsburgh, Pa. Software Engineering Institute, Carnegie Mellon University (2002)

    Google Scholar 

  19. SEI, Mapping of the CMMI v1.1 to SW-CMM v1.1, http://www.stsc.hill.af.mil/consulting/cmmi/cmmiseswippdv11.pdf , Hill AFB, Utah: Software Technology Support Center

  20. Singh, R.: Introduction to International Standard ISO/IEC 12207: Software Life Cycle Processes, tutorial slides (October 2, 1995)

    Google Scholar 

  21. Weszka, J.: CMMI: Evolutionary Path to Enterprise Process Improvement, Crosstalk, pp. 8–10 (July 2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chang, WK., Chen, CY. (2004). Integrity-Enhanced Verification Scheme for Software-Intensive Organizations. In: Wang, F. (eds) Automated Technology for Verification and Analysis. ATVA 2004. Lecture Notes in Computer Science, vol 3299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30476-0_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30476-0_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23610-8

  • Online ISBN: 978-3-540-30476-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics