連載
» 2022年01月18日 10時00分 公開

テストでバグ発見!(7)状態遷移モデルで扇風機シミュレーターのバグを摘出せよ【出題編】山浦恒央の“くみこみ”な話(149)(4/5 ページ)

[山浦恒央 東海大学 大学院 組込み技術研究科 非常勤講師(工学博士),MONOist]

付録その1:環境構築とコンパイルの手順

 今回の問題のプログラムはC言語であるため、環境がない人は下記に従って、環境構築をお願いします。

1.環境構築

 MinGWのダウンロードページにアクセスし、インストーラーをダウンロードします。

 インストーラーを起動し、「Next」を選択します。

図4 図4 インストーラーの起動画面

 「Settings」画面が現れたら、「Architecture」をx86_64に変更し、Nextを選択します。

図5 図5 「Settings」の画面

 「Installation Folder」画面が出てきたら、インストールしたいフォルダを選択し、「Next」を選択します。

図6 図6 「Installation Folder」の画面

 インストールが完了したら、「Finish」を選択します。

図7 図7 インストール完了画面

 次に環境パスの設定をする。コントロールパネルを開き、「システム環境変数の編集」を開き、「環境変数(N)」を開く。

図8 図8 コントロールパネルの「詳細設定」タブから「環境変数」画面を開く

 「システム環境変数」にある「Path」に先ほどインストールしたmingwのbinまでのパスを入れます。筆者の環境では、「C:\Program Files\mingw-w64\x86_64-8.1.0-posix-seh-rt_v6-rev0\mingw64\bin」を入れました。

図9 図9 「システム環境変数」のPathを編集する

2. コンパイル手順

 Cコードがあるファイルのパスに移動し(cdコマンドなどで)、コンパイルは、下記のコマンドで実行します。

 「gcc ElectricFan.c」でコンパイルを実行します。エラーがない場合は、「a.exe」という実行可能形式のファイルを作成します。

 実行する場合は、「input.csv」というファイルをexeファイルと同じ階層においておき、「a.exe」で実行します。「input.csv」がパスにない、既に開いているなどのファイルオープンがうまくいかない場合は、エラー処理が入り、途中でプログラムが終了する場合がありますので注意してください。

Copyright © ITmedia, Inc. All Rights Reserved.