V&V and QA throughout the M&S Life Cycle

Similar documents
Principles of Verification, Validation, Quality Assurance, and Certification of M&S Applications

Experimentation / Exercise / Use

Measuring and Assessing Software Quality

Requirements Gathering using Object- Oriented Models

A Methodology for Certification of Modeling and Simulation Applications

Assessing an organization s capability to effectively implement its selected agile method

R.POONKODI, ASSISTANT PROFESSOR, COMPUTER SCIENCE AND ENGINEERING, SRI ESHWAR COLLEGE OF ENGINEERING, COIMBATORE.

Introduction To Software Testing. Brian Nielsen. Center of Embedded Software Systems Aalborg University, Denmark CSS

Subject : Computer Science. Paper : Software Quality Management. Module : Quality Management Activities Module No: CS/SQM/15

Course 3. Software Quality Assurance & Software Quality Models. S. Motogna - Software Quality

DEVELOP QUALITY CHARACTERISTICS BASED QUALITY EVALUATION PROCESS FOR READY TO USE SOFTWARE PRODUCTS

On Some Quality Issues of Component Selection in CBSD

MANUFACTURING PROCESS MANAGEMENT USING A FLEXIBLE MODELING AND SIMULATION APPROACH. Duilio Curcio Francesco Longo Giovanni Mirabelli

The Verification Company. Software Development and Verification compliance to DO-178C/ED-12C

Lecture 2: Software Quality Factors, Models and Standards. Software Quality Assurance (INSE 6260/4-UU) Winter 2016


KNOWLEDGE AREA: SOFTWARE QUALITY

Software Testing Principles and Strategies

A Realistic Approach: RTST to Reduce Cost & Time

Introduction to software testing and quality process

Developing Software Quality Plans a Ten Step Process. Phil Robinson Lonsdale Systems. Software Quality Plans. We all agree that you need one

Best Practice Information Aids for CMMI SM -Compliant Process Engineering

SOFTWARE QUALITY ASSURANCE (SQA) Chapter 1

QuEST Forum. TL 9000 Quality Management System. Requirements Handbook

Best Practices for the Architecture, Design, and Modernization of Defense Models and Simulations

Models in Engineering Glossary

Reuse Concepts. Portable. Reuse. Easily modifying a product as a whole to run under another compiler, OS, or hardware architecture

Associate Professor, FCA, Manav Rachna International University, Faridabad, Haryana, India

Cost-Effective Verification and Validation of Modeling and Simulation

ISO/IEC TR Software engineering Product quality Part 3: Internal metrics. Génie du logiciel Qualité des produits Partie 3: Métrologie interne

WELMEC European cooperation in legal metrology

Concurrent System Engineering in Air Traffic Management: Steering the SESAR Program

Software Quality Management

Audit and Risk Management Committee Charter

ISO/IEC INTERNATIONAL STANDARD. Systems and software engineering System life cycle processes IEEE

Software Quality. Lecture 4 CISC 323. Winter 2006

Participation of Testing to Attain a Degree of Quality of Software

Dimensions of Credibility in Models and Simulations

V&V of M&S: Past, Present and Future

Safety Standards a New Approach

M&S Leadership Summit. Technology

WORK PLAN AND IV&V METHODOLOGY Information Technology - Independent Verification and Validation RFP No IVV-B

Evaluation of the Software Requirement Tools

A Study on Software Metrics and Phase based Defect Removal Pattern Technique for Project Management

Capability Maturity Model the most extensively used model in the software establishments

Quality Assurance for Systems Engineering (INSE 6280/2-WW)

Planning Modeling and Simulation Support to Systems Engineering NDIA Systems Engineering Conference San Diego, CA October 24, 2006

Software Quality Factors

DEPARTMENT OF DEFENSE STANDARD PRACTICE

The Forgotten -ilities Balls Ford Road Balls Ford Road Manassas VA Manassas VA 20109

Detecting, Assessing and Mitigating Data inaccuracy-related Risks in Business Processes

RELEASE MANAGEMENT CHECKLIST

OUTCOMES REPORT EPEAT VERIFICATION ROUND IE

CONFORMITY ASSURANCE BODY MANUAL: EPEAT CONFORMITY ASSURANCE REQUIREMENTS

Software engineering Product quality Part 3: Internal metrics

AIRBORNE SOFTWARE VERIFICATION FRAMEWORK AIMED AT AIRWORTHINESS

Independent Verification and Validation (IV&V)

Chapter 24 - Quality Management. Chapter 24 Quality management

REQUIREMENTS ENGINEERING LECTURE 2018/2019. Dr. Jörg Dörr. Introduction. Fraunhofer IESE

PLM Investment Sustainability: Measuring Long-Term Resilience

Testing throughout the software life cycle. Software Testing: INF3121 / INF4121

Medical Device Directive

Loose ends Ragnhild Van Der Straeten - ULB - Software Engineering and Project Management /2013

Modern Auditing: Assurance Services and the Integrity of Financial Reporting, 8 th Edition

Software engineering Product quality Part 2: External metrics

Quality Assurance. Mr. Stephen Auburn & Ms. Andrea Bateman Bateman & Giles ADB, Manila, 1-2 Dec 2015

Managing Trust in Models

Introduction and Key Concepts Study Group Session 1

Safety-critical Certification of FPGA-based Platform against Requirements of U.S. Nuclear Regulatory Commission (NRC): Industrial Case Study

Pertemuan 2. Software Engineering: The Process

DATAMETRICS. With more standard features than any other SPC software on the market, DataMetrics is the most advanced quality solution available today.

Software Metrics & Software Metrology. Alain Abran. Chapter 14 Design of Standard Etalons: The Next Frontier in Software Measurement

Program Manager s Role in Verification, Validation and Accreditation (VV&A) of New Development

VERIFICATION, VALIDATION, AND ACCREDITATION IN THE LIFE CYCLE OF MODELS AND SIMULATIONS

Software metrics. Jaak Tepandi

The Forgotten -Ilities. James D. Willis, Jr. SPEC Innovations Balls Ford Road Suite 230 Manassas VA 20109

Estimating With Objects - Part III

Becoming a Testing Expert

Hanif Livani, PhD SEM 332, 1664 N. Virginia Street Reno, NV, Phone: (775)

Matthew Clark V&V of Autonomous Systems Autonomous Control Branch (AFRL/RQQA) Integrity Service Excellence

Assistant Professor, Integral University, Lucknow, India. Quality Parameters. Correctness. Efficiency. Portability. Usability.

version NDIA CMMI Conf 3.5 SE Tutorial RE - 1

Space Product Assurance

REQUIREMENTS ENGINEERING LECTURE 2015/2016. Dr. Jörg Dörr. Introduction. Fraunhofer IESE

2012 Ernst & Young ShinNihon LLC. All Rights Reserved.

Project Report Template (Sem 1)

Software Quality Engineering Courses Offered by The Westfall Team

R214 SPECIFIC REQUIREMENTS: INFORMATION TECHNOLOGY TESTING LABORATORY ACCREDITATION PROGRAM

Verification of Quality Requirement Method Based on the SQuaRE System Quality Model

CMMI-DEV V1.3 CMMI for Development Version 1.3 Quick Reference Guide

*Sustainability as a. Software Quality Factor

Simulation Based Acquisition for the. Artemis Program

Software Quality Engineering Courses Offered by The Westfall Team

Supply Chain Integrity Program. Delivering a stronger and more simple CoC system

International Journal of Software and Web Sciences (IJSWS) Optimal solution of software component selection by using software metric

OUTCOMES REPORT - UPDATED EPEAT VERIFICATION ROUND IE

6.1 Introduction Objective Acceptance Testing CHAPTER 7: Black Box Testing Introduction Objectives...

Department of Energy s Legacy Management Program Development

WEBINARS. Model Based Requirements Engineering (MBRE) Tuesday, 06 February 2018

Test Management Test Planning - Test Plan is a document that is the point of reference based on which testing is carried out within the QA team.

Transcription:

Introduction to Modeling and Simulation V&V and QA throughout the M&S Life Cycle OSMAN BALCI Professor Department of Computer Science Virginia Polytechnic Institute and State University (Virginia Tech) Blacksburg, VA 24061, USA https://manta.cs.vt.edu/balci Copyright Osman Balci

M&S Life Cycle Legend: Document Executable Model Results Quality Assurance (QA) Process Iteration Maintenance COI s Responsibility Organization s Responsibility

Model and/or Simulation = M/S Definitions of Terms Models and/or Simulations = Ms/Ss Modeling and Simulation = M&S M/S Quality Assurance (QA) refers to the planned and systematic activities that are established throughout the M&S life cycle to substantiate adequate confidence that a M/S possesses a set of characteristics needed and expected by the user for a set of intended uses. Testing is the process of designing a test, specifying test conditions and data, and determining a procedure to follow for the purpose of judging transformational accuracy (verity) and/or representational/behavioral accuracy (validity). Testing is conducted to perform verification and/or validation.

Definitions of Terms The terms Verification and Validation (V&V) are consistently defined for whatever entity they are applied to. Let X be that entity such as model, simulation, software, data, or a life cycle artifact (work product) such as requirements specification, conceptual model, design specification, or executable submodel. Then, V&V can be defined generically as follows: X Verification deals with the assessment of transformational accuracy of the X and addresses the question of Are we creating the X right? X Validation deals with the assessment of behavioral or representational accuracy of the X and addresses the question of Are we creating the right X? For whatever entity to be subjected to V&V, substitute the entity name in place of X above, the definitions will hold.

Importance of Quality Quality is a critically important issue in almost every discipline. Many associations have been established worldwide for quality. Examples: American Society for Quality http://www.asq.org Australian Organization for Quality http://www.aoq.asn.au European Organization for Quality http://www.eoq.org Society for Software Quality http://www.ssq.org Manufacturing companies have Quality Control departments, business and government organizations have Total Quality Management programs, and software development companies have Software Quality Assurance departments.

Accuracy versus Quality If our objective is to assess the accuracy of an M&S application by conducting V&V, why should we be concerned with M&S quality assessment? M&S Application

The Four Ps Influencing M/S Quality Quality is Job 1! The M/S Quality Assurance (QA) strategy should involve the measurement and assessment of a particular life cycle stage s 1. output work product (or artifact), 2. process used in creating the output work product, 3. quality of the people employed, and 4. project characteristics (e.g., configuration management, risk management, planning, documentation).

A Quality Model for M&S Applications Level 1 Level 2 Level 3 Level 4 Dependability Availability Reliability Safety Security Accuracy Mean Time to Failure Mean Time to Restore Recoverability Verity Validity Functionality Capabilities Detailedness Feature Set Generality Accuracy Verity Validity M&S Application Quality Performance Algorithmic Efficiency Architectural Efficiency Communication Efficiency Resource Use Efficiency Supportability Compatibility Configurability Conformity Installability Interoperability Localizability Maintainability Portability Testability Adaptability Correctability Extensibility Preventability Usability Documentation Quality Ease of Experimentation or Exercise Specification Ease of Input Specification Ease of Learning Output Understandability

O. Balci (2001), A Methodology for Certification of Modeling and Simulation Applications, ACM Transactions on Modeling and Computer Simulation, Vol. 11, No. 4 (Oct.), 352-377. O. Balci, R. J. Adams, D. S. Myers, and R. E. Nance (2002), A Collaborative Evaluation Environment for Credibility Assessment of Modeling and Simulation Applications, In Proceedings of the 2002 Winter Simulation Conference (San Diego, CA, Dec. 8-11). IEEE, Piscataway, NJ, pp. 214-220.

M&S Application Quality M&S Application Quality Level 1 Indicators Dependability Functionality Dependability is the degree to which the M&S application (a) delivers services when requested, (b) delivers services as specified, (c) operates without catastrophic failure, and (d) protects itself against accidental or deliberate intrusion. Functionality is the degree to which the M&S application completely captures all of the desired functional modules that need to be present. Performance Performance is the degree to which the M&S application executes its work in a speedy, efficient, and productive manner. Supportability Supportability is the degree to which the M&S application can be supported. Usability Usability is the degree to which the M&S application can easily be employed for its intended use.

Confidence Building Undoubtedly, accuracy is the most important quality characteristic of an M&S application, and is assessed by conducting V&V. However, under the current state of the art, we are unable to claim a level of accuracy of a reasonably large and complex M&S application with 100% confidence due to many reasons including M&S complexity, reliance on human judgment, qualitative measurements, lack of data, and lack of exhaustive testing. Hence, M&S V&V is viewed as a confidence building activity. For a reasonably large and complex M&S application, the confidence building activity must be performed by assessing not only the M&S accuracy, but also the other M&S quality characteristics such as the ones given in the quality model presented earlier. Successful assessment of the overall M&S application quality increases our confidence in M&S accuracy.