Corpus ID: 352775

Software verification and validation - a practitioner's guide

  title={Software verification and validation - a practitioner's guide},
  author={S. R. Rakitin},
From the Publisher: If you're a software quality professional, but lack formal training in software quality assurance, this practical reference will fill in the gaps. Based on the principles of continuous process improvement, this book offers practical solutions for performing verification and validation tasks throughout the entire software development life cycle. This logically organized book supplies common-sense techniques and up-to-date information that helps your organization produce… Expand
Software Quality Assurance (SQA) and Verification and Validation (V&V) are the major processes discussed in this KA, as they bear directly on the quality of the software product. The term “product”Expand
The Role of Software Verification and Validation in Software Development Process
The role of Verification and Validation (V&V), which goes beyond the role of QA and Testing, in different phases of the Software Development Life Cycle (SDLC), is described and the current state of practice for V&V is described. Expand
Improving software quality and management through use of service level agreements
Abstract : In this dissertation we explore the use of service level agreements (SLAs) to improve the quality and management of software intensive systems. SLAs are typically used in outsourcingExpand
Verification and Validation People Can Be More Than Technical Advisors
V&V is used as a convenience, even if a reader prefers use of the term Independent V&V (IV&V), and its relationship with other groups is provided, and how V&Vs can help in non-technical project areas is addressed. Expand
Software Testing & Diagnostics: Theory & Practice
The introduction into the field of software testing, automated software testing and diagnostics will be given together with explanation of fundamental terminology. The viewpoint of quality theoryExpand
Managing the maintenance of ported, outsourced, and legacy software via orthogonal defect classification
  • Kathryn Bassin, P. Santhanam
  • Engineering, Computer Science
  • Proceedings IEEE International Conference on Software Maintenance. ICSM 2001
  • 2001
A method to analyze the information contained in the form of defect data and arrive at technical actions to address explicit product and process weaknesses which can be feasibly addressed in the current effort is described. Expand
A Thesis for the Degree of Master Generating Test Cases from UML Activity Diagrams
We test software in order to check for the existence of defects or errors in a program or project, based up on some predefined instructions or conditions. One of the most important issues in theExpand
Inception of Software Validation and Verification Practices within CMMI Level 2
This PhD thesis will propose one approach to conciliate validation and verification practices with of CMMI maturity level 2 and by adopting ISO/IEC 29119 standard to fulfill a product lifecycle perspective. Expand
Software Quality model Analysis Program
The solution developed is called the quality model analysis program (QAP) and is a fuzzy system that weights the proposed model attributes according to certain rules that enables software project managers to better utilize their resources and take specific actions to better improve the quality of the software produced. Expand
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B
This paper provides a tool classification scheme that is based on four basic tool classification categories: "objectives", "methods", "metrics", and "attributes" for software verification tools. Expand