ヤマタニの変更点

追加された行はこの色です。
削除された行はこの色です。
ヤマタニへ行く。
ヤマタニの差分を削除
*Memo [#p0156d66]
#ls

**データ置き場 [#s32e5fa7]
Journal（&attachref();）
Journal（&attachref(Journal.zip);）

**卒研までの流れ [#va0baf31]

&attachref(test.csv);

*Schedule[#m3472741]
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|c
| |''Mon'' |''Tue'' |''Wed''  |''Thu''|''Fri''|h
|1|        |        |         |       |       |
|2|        |        |         |　    |       |
|3|        |  IER |         |       |       |
|4|        |        |         |       |       |
|5|        |        |         |       |       |
~



~
*Theme [#e08276c5]
-OSSの共進化

*Goal [#r65e4c35]
-OSSの進化を予測する
-OSSの進化研究のええとこどりする
-OSSの進化の要因を明らかにする

*Approach [#tead7348]
-プロアクティブマイニング
-遅延相関分析
-シーケンシャルパターンマイニング

*Keyword [#w84ac6ec]
-Software Evolution
-Data Mining
-OSS

*Symposium [#k39e1c54]
**2013年度（B4） [#c1f378ea]
-[[ヤマタニ/DICOMO2013]]
-[[ヤマタニ/SIGSE@白浜]]
-[[ヤマタニ/SES2013]]

*Part-Time job [#v3102687]

*Paper I've read [#hbd7bd3c]


*Reference [#x8f1e7f1]
**Study [#uac101db]

**Papers [#i6f37f94]

*Tools [#o3880c30]

**CREST [#t2a3d6da]
VMBox上で,ubuntu14.04.64,ubuntu14.04.32,CentOS6.5の３つについて動作を確認し， それぞれにCREST.0.1.2をインストールして確認しました．

先ず，「VirtualBox?+Vagrantを使いUbuntu 14.04を動かす」のは，ここを参考にしてください． http://blog.kondoyoshiyuki.com/2014/06/12/windows7-vagrant-ubuntu14-04/ （Perl本の翻訳などを行っている近藤さん解説）

これを参考に32ビットの場合， ?VirtualBox?のインストール

?Vagrantのインストール

?ubuntuのインストール コマンドプロンプトから vagrant box add ubuntu14.04.32 https://cloud-images.ubuntu.com/vagrant/trusty/current/trusty-server-cloudimg-i386-vagrant-disk1.box

適当な作業ディレクトリを作り mkdir myhost32 cd myhost32

vagrant init ubuntu14.04.32

デフォルトメモリーでは小さいので，このディレクトリに作られたVagrantfile のメモリー設定を変更 ４５行目からコメントアウト

 config.vm.provider "virtualbox" do |vb|
    # Don't boot with headless mode
    vb.gui = true
 
    # Use VBoxManage to customize the VM. For example to change memory:
    vb.customize ["modifyvm", :id, "--memory", "1024"]
  end
ホストコマンドプロンプトから vagrant up vagrant ssh これでubuntuにログインできる

?crestの設定 （vagreant ssh　後） ここから，ubuntuの中です． sudo apt-get install unzip m4 sudo apt-get install opam opam init

opam install cil　　　　　＃なぜかfindlibがインストールされていない

cd 
wget http://download.camlcity.org/download/findlib-1.5.1.tar.gz tar zxvf findlib-1.5.1.tar.gz cd findlib-1.5.1/ ./configure make all sudo make install

cd 
wget https://github.com/jburnim/crest/archive/v0.1.2.zip unzip v0.1.2.zip cd crest-0.1.2/ cd cil ./conffigure make make install

cd 
ここでホスト側での作業 http://yices.csl.sri.com/cgi-bin/yices-newlicense.cgi?file=yices-1.0.38-i686-pc-linux-gnu-static-gmp.tar.gz からlicense Termsに合意してDL これを　myhost32/にコピーすると　ubuntuの/vagrant/にコピーされている

ゲスト側

cp  /vagrant/yices-1.0.38-i686-pc-linux-gnu-static-gmp.tar.gz ./  
tar zxvf yices-1.0.38-i686-pc-linux-gnu-static-gmp.tar.gz これでyicesが展開される

Makefileの修正 cd crest-0.1.2/ cd src cp Makefile /vagrant/

ホストPC側のエディターで　myhost32/Makefike のパス変更 最初の行を書き換える YICES_DIR=/home/vagrant/yices-1.0.38 格納後 ゲスト側で cp /Vagrant/Makefile ./ make make install

cd .. cd test

ここで確認

../bin/crestc uniform_test.c 何やらワーニングが出るが Read 8 branches. Read 13 nodes. Wrote 6 branch edges.

次は実行 $ ../bin/run_crest ./uniform_test 10 -dfs Iteration 0 (0s): covered 0 branches [0 reach funs, 0 reach branches]. Iteration 1 (0s): covered 1 branches [1 reach funs, 8 reach branches]. Iteration 2 (0s): covered 3 branches [1 reach funs, 8 reach branches]. Iteration 3 (0s): covered 5 branches [1 reach funs, 8 reach branches]. Iteration 4 (0s): covered 7 branches [1 reach funs, 8 reach branches]. GOAL! Iteration 5 (0s): covered 8 branches [1 reach funs, 8 reach branches].

以上，ネットの状況にもよりますが，１?２時間で出来ます．
-[[ヤマタニ/Understand]]
ヤマタニ の変更点

ヤマタニの変更点
