This is the Verification Manual for ABAQUS. It contains a large number of test cases that serve as basic verification of these programs. Each test case verifies one or several well-defined options in the code. The test cases are sufficiently small that, in most cases, the correct results can be calculated by hand.

This manual is divided into chapters based on the type of capability that is tested. The problems in the element verification chapter test the element library extensively. Other chapters document tests of materials, procedures, user subroutines, miscellaneous options, and importing results from ABAQUS/Explicit into ABAQUS/Standard.

In addition to the Verification Manual, there are two other manuals that contain worked problems. The ABAQUS Benchmarks Manual contains benchmark problems (including the NAFEMS suite of test problems) and standard analyses used to evaluate the performance of ABAQUS. The tests in this manual are multiple element tests of simple geometries or simplified versions of real problems. The ABAQUS Example Problems Manual contains many solved examples that test the code with the type of problems that users are likely to solve. Many of these problems are quite difficult and test a combination of capabilities in the code.

The verification of ABAQUS consists of running the problems in the ABAQUS Example Problems Manual, the ABAQUS Benchmarks Manual, and the ABAQUS Verification Manual. Before a version of ABAQUS is released, it must run all verification, benchmark, and example problems correctly.

It is important that a user become familiar with the ABAQUS Benchmarks Manual, the ABAQUS Example Problems Manual, and the ABAQUS Verification Manual before any analysis is done to determine the level of verification that has been done of the capabilities that will be used. The user should then decide whether any additional verification is necessary before starting the analysis.

All input files referred to in the manuals are included with the ABAQUS release in compressed archive files. The ABAQUS/Fetch utility is used to extract these input files for use. For example, to fetch input file ec12afe1.inp for “Eigenvalue extraction for single unconstrained elements,” Section 1.2.1, type

abaqus fetch job=ec12afe1.inp

Parametric study script (.psf) and user subroutine (.f) files can be fetched in the same manner. All files for a particular problem can be obtained by leaving off the file extension. The ABAQUS/Fetch execution procedure is explained in detail in “Execution procedure for ABAQUS/Fetch,” Section 3.2.12 of the ABAQUS Analysis User's Manual.

It is sometimes useful to search the input files. The findkeyword utility is used to locate input files that contain user-specified input. This utility is defined in “Execution procedure for querying the keyword/problem database,” Section 3.2.11 of the ABAQUS Analysis User's Manual.