Which of the Following Attempts to Prove That an Algorithm

question 20

Multiple Choice

Which of the following attempts to prove that an algorithm behaves as intended?

• A) Inspection
• B) Requirement
• C) Specification
• D) Walk-through
• E) Formal verification

---

Definitions:

Mixed Cost

A cost composed of a mixture of fixed and variable components. Costs are fixed for a set level of production or consumption, becoming variable with further production or consumption.

Fixed Expenses

Regular expenses that do not vary in total over a wide range of activity levels.

Contribution Margin

The amount remaining from sales revenue after variable expenses have been deducted; indicates the contribution towards covering fixed expenses and generating profit.

Net Income

The income a company retains after deducting all costs, taxes, and expenses from its total revenue.