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 :
بازگشت