Mercurial > hg > Papers > 2015 > atton-thesis

annotate introduction.tex @ 4:cc74def322a8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add introduction
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 06 Feb 2015 15:41:43 +0900
parents
children 76ce5bb18092
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \chapter{研究目的}
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 本研究ではプログラムの信頼性の向上を目標とする。
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 プログラムの信頼性とはプログラムが正しく動く保証性であり、信頼性は多くの原因により損なわれる。
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 例えば仕様が未定義の挙動によってプログラムが停止することや、プログラムに記述した誤った条件式よる異なる計算結果、実行環境やパラメタの変化に対応できずに正しくない動作が引き起されることなどがある。
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 信頼性を低下させる原因が増えるタイミングの多くはプログラムを変更した時であると考えた。
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 本研究ではプログラムの変更を Monad を用いて形式化する。
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 プログラムの変更を形式化することにより、プログラムの信頼性が損なわれる変更を定義する。
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 信頼性を保ちながら開発するための手法や、変更を形式的に行なうことによって可能となる信頼性の解析などを提案する。
cc74def322a8 Add introduction
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 また、形式化した論理の観点からプログラムの変更が持つ性質などを解析し、ソフトウェア開発手法の指針を提案する。