6. Glossary

Software reliability

Probability of a software product performing all the functions specified in its reference document, in a given environment and for a given operating time.

Forecasted software reliability.

Estimating reliability before software development.

experimental software reliability

Estimation of reliability when software is executable.

Software safety

A subset of safety that depends on the correct operation of safety-related software and external risk reduction devices.

Model-driven testing

Technique of using a model to generate test cases.