Mercurial > hg > Members > atton > seminar_slides

comparison template/slide.md @ 49:0ca8c6a6d0dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update template
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 01 Jul 2014 16:59:57 +0900
parents c7d57cf16fdb
children 8d98d8d5b471
comparison
equal deleted inserted replaced
48:6de640a3ede9 49:0ca8c6a6d0dd
2 author: Yasutaka Higa 2 author: Yasutaka Higa
3 cover: 3 cover:
4 lang: Japanese 4 lang: Japanese
5 5
6 6
7
7 # 研究目的(仮) 8 # 研究目的(仮)
8 9
9 * プログラムのデバッグは複雑になることがある 10 * プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
10 * 例えば、あるif文の条件を満たすには、必要な状態がある 11 * 挙動は予想されていた挙動と異なる場合があり、それはバグとなる
11 * そういった状態を自動で導出したい 12 * ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか
12 * model checking を使えばいける? 13 * 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する
14
13 15
14 # hoge 16 # hoge
15 17
16 * hoge 18 * hoge
17 * hogehoge 19 * hogehoge
20
18 21
19 # fuga 22 # fuga
20 23
21 * fuga 24 * fuga
22 * fugafuga 25 * fugafuga