あなたのC/Cコードは不当な仮定をしていませんか?-C++-php.cn

あなたのC/Cコードは不当な仮定をしていませんか?

Mary-Kate Olsen

リリース： 2024-10-31 04:22:31

オリジナル

410 人が閲覧しました

Is Your C/C Code Making Unwarranted Assumptions?

C/C における不当な仮定の実証

この教育ツールをどのように改善できますか?

の効果を高めるにはこのツールを使用する場合は、次の提案を検討してください:

条件付きコンパイルを組み込む: 条件付きコンパイルを使用して、特定のプラットフォーム特性に基づいた仮定をテストします。たとえば、テストプログラムが特定のプラットフォーム依存機能に依存している場合、#ifdef または #if __GNUC__ を使用して、テストをさまざまなコンパイラ環境に合わせて調整できます。
テストケースを展開します。 プログラマが行うより一般的な仮定をカバーするために、より多様なテストケースを含めます。例としては、次のものが挙げられます。
- 「浮動小数点演算は結合的です」
- 「void* のサイズは、アドレス指定可能な最小単位のサイズと同じです」
- "負の数の符号は常に -"
テストを自動化する: テストを実行して結果を収集するためのスクリプトまたは自動ツールを作成します。異なるプラットフォーム。これにより、テストプロセスが合理化され、プラットフォームの違いのデータベースの保守が容易になります。

どのテストが適しており、どのように見えるべきですか?

1.文字の仮定:

テスト: すべてのプラットフォームで 'A' == 65 であることを確認します。
コード:
```
<code class="c">EXPECT("00 we have ASCII",('A'==65));</code>
```
ログイン後にコピー
ログイン後にコピー
テスト: 'a' < という仮定が成り立つかどうかを確認します。「A」は有効です。

コード:

<code class="c">EXPECT("02 big letters come before small letters",('A'<'a'));

ログイン後にコピー

テスト: テストchar のサイズが常に 8 ビットの場合。

コード:

<code class="c">EXPECT("04 a char is 8 bits",CHAR_BIT==8);
ログイン後にコピー

2.整数の仮定:

テスト: 整数が 2 の補数表現を使用し、ラップアラウンドするという仮定が有効かどうかを調べます。

コード:

<code class="c">EXPECT("06 integers are 2-complement and wrap around",(int_max+1)==(int_min));

ログイン後にコピー

テスト: int のサイズが a のサイズと同じであるかどうかを確認します。 void* はすべてのプラットフォームで true です。

コード:

<code class="c">EXPECT("05 int has the size of pointers",sizeof(int)==sizeof(void*));

ログイン後にコピー

3 。ポインターの仮定:

テスト: sizeof(void*) が常に sizeof(void(*)()) 以上であることを確認します。

コード:

<code class="c">EXPECT("10 void* can store function pointers",sizeof(void*)>=sizeof(void(*)()));</li>
</ul>
<p><strong>4.実行の仮定:</strong></p>
<ul>
<li>
<strong>テスト:</strong> スタックが常に下方向に成長するかどうかをテストします。</li>
<li>
<p><strong>コード:</strong></p>
<blockquote><pre class="brush:php;toolbar:false"><code class="c">EXPECT("12 the stack grows downwards",check_grow(5,0)<0);</code>

ログイン後にコピー