0

そこで現在、ASTを使ってBOR-CSET制約セットとBRO制約セットを勉強しています。私は本を​​読んでオンラインを見ましたが、私はまだそれらの違いを本当に理解していません.それらは私には同じように見えます.誰かがそれらの違いをより明確に説明できますか?

4

1 に答える 1

1

関係演算子で構成される述語があります。

  • >より大きい
  • < 未満
  • = に等しい

また、ブール演算子で構成されています。

  • と
  • また
  • いいえ

そして、述語が正しい結果を生成するかどうかを確認するためにテストを実行したいと考えています。数値と true/false 入力のすべての可能な組み合わせを述語に入れ、各回答 (無限の数の入力である可能性があります) をチェックする代わりに、述語のエラーを検出することが保証される入力のテスト セットを開発できます。 . テスト入力に問題がなければ、述語が期待どおりに機能していることを確認できます。

BORテスト セットは、間違ったブール演算子を使用して間違いを犯したかどうかを検出します (たとえば、本当に AND が必要なときに OR を入力したなど)。BROセットは、間違ったブール演算子を使用した場合と、間違った関係演算子を使用した場合 (たとえば、実際には小なり記号が必要な場所で大なり記号を使用した場合) を検出します。

于 2013-03-05T10:05:35.227 に答える