• DocumentCode
    1952613
  • Title

    Applying Double Process Models for Verification in CMMI

  • Author

    Wenjie, Luo ; Peng, Liu ; Weiming, Zhang ; Bosheng, ZHOU

  • Author_Institution
    Coll. of Math. & Comput. Sci., HeBei Univ., Baoding
  • Volume
    2
  • fYear
    2008
  • fDate
    12-14 Dec. 2008
  • Firstpage
    247
  • Lastpage
    250
  • Abstract
    During the CMMI perform, quality assurance is realized by two aspects: monitor, control and review the development process of a product, and test product requirements. In order to insure the correctness and validity of the product quality assurance, this paper presents a product verification method which needs to build two process models: product development process model and product requirement process model by advanced modeling technology with visualization and simulation; standardize the description of the two processes by integrality check; validate and optimize them by simulation; and then acquire the review contents for each develop phase and system test use case by process slice technique.
  • Keywords
    Capability Maturity Model; formal verification; quality assurance; software quality; CMMI verification; double process models; product development process model; product quality assurance; product requirement process model; test product requirements; Capability maturity model; Computer science; Educational institutions; Logic; Product development; Quality assurance; Quality control; Software engineering; Software tools; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Software Engineering, 2008 International Conference on
  • Conference_Location
    Wuhan, Hubei
  • Print_ISBN
    978-0-7695-3336-0
  • Type

    conf

  • DOI
    10.1109/CSSE.2008.467
  • Filename
    4722045