Navier Stokes Failure Analysis Report

Introduction

The SRS for Navier Stokes describes the system functional and non-functional requirements that describe the expected interactions that the software shall provide.

Dependencies

The Navier Stokes application is developed using MOOSE and is based on various modules, as such the SRS for Navier Stokes is dependent upon the following documents.

Framework Failure Analysis Report

Failure Analysis Requirements

The following is a complete list for all the requirements related to failure analysis for Navier Stokes.

navier_stokes: Bcs
10.1.2We shall error if the user provides less velocity components than the mesh dimension
Specification(s): check_too_few_components
Design: AdvectionBC
Issue(s): #13283
Collection(s): FUNCTIONALFAILURE_ANALYSIS
Type(s): RunException
27
10.1.3We shall error if the user provides more than 3 velocity components
Specification(s): check_too_many_components
Design: AdvectionBC
Issue(s): #13283
Collection(s): FUNCTIONALFAILURE_ANALYSIS
Type(s): RunException
27

navier_stokes: Ins
10.4.88The system shall allow MOOSE applications to specify nonzero malloc behavior; for the Navier-Stokes application, new nonzero allocations shall be errors.
Specification(s): malloc
Design: MooseApp
Issue(s): #7901
Collection(s): FUNCTIONALFAILURE_ANALYSIS
Type(s): RunException
18


[check_too_few_components]
  type = 'RunException'
  expect_err = 'Number of components of velocity_vector must be at least equal to the mesh dimension'
  input = '2d_advection_bc.i'
  cli_args = 'Outputs/exodus=false'
  requirement = 'We shall error if the user provides less velocity components than the mesh dimension'
[]


[check_too_many_components]
  type = RunException
  expect_err = 'You cannot supply more than 3 components for the velocity vector'
  input = 2d_advection_bc.i
  cli_args = "Outputs/exodus=false BCs/outflow_term/velocity_vector='1 0 0 0'"
  requirement = 'We shall error if the user provides more than 3 velocity components'
[]


[malloc]
  type = RunException
  input = test.i
  expect_err = 'New nonzero at.*caused a malloc'
  requirement = 'The system shall allow MOOSE applications to specify nonzero malloc behavior; for the Navier-Stokes application, new nonzero allocations shall be errors.'
  allow_test_objects = True
  executable_pattern = 'navier_stokes'
[]

Introduction
Dependencies
Failure Analysis Requirements

Install MOOSE

New Users

Examples and Tutorials

Application Usage

Physics and Syntax

Application Development

Framework Development

MOOSEDocs

Infrastructure

Questions

Information and Tools

INL Applications and Remote Access

Navier Stokes Failure Analysis Report

Introduction

Dependencies

Failure Analysis Requirements