15 / 36 · 概念
比較器と境界条件
等値・大小比較を境界テストにつなげます。
レッスンは無料で読めます。受講登録すると進捗を保存できます。
学習目標
- 等値・大小比較を境界テストにつなげます。
仕様から条件を決める
a==bは等値、a<bは大小比較です。上限判定がcount==limitかcount>=limitかは仕様で決めます。増分が上限を飛び越えるなら、等値だけの判定では停止条件を見逃す場合があります。
幅と符号をそろえる
1111と0001の比較は符号なしで15>1、符号付きで−1<1です。0同士、最大値同士、隣接値、符号境界の両側を試します。ここでは0/1だけを扱い、X/Zの4状態比較は対象外です。
自分で考えてみましょう
0から2ずつ増え、limit=3なら等値で止まる？
解説を見る
0,2,4と進むので3を飛び越えます。上限以上で停止する仕様なら、範囲と>=を検討します。
✓ 学習済み