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
Link To Document