Papers/2015/atton-thesis: introduction.tex annotate

annotate introduction.tex @ 26:de3397af1f8d

Temporary save

author	Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date	Tue, 10 Feb 2015 15:30:01 +0900
parents	76ce5bb18092
children	67d79c18a276

rev	line source
4 cc74def322a8 Add introduction Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1 \chapter{研究目的}
11 76ce5bb18092 Add Category definition Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: 4 diff changeset	2 \label{chapter:introduction}
76ce5bb18092 Add Category definition Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: 4 diff changeset	3
4 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 信頼性を低下させる原因が増えるタイミングの多くはプログラムを変更した時であると考えた。
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 本研究ではプログラムの変更を Monad を用いて形式化する。
cc74def322a8 Add introduction Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	11 プログラムの変更を形式化することにより、プログラムの信頼性が損なわれる変更を定義する。
cc74def322a8 Add introduction Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	12 信頼性を保ちながら開発するための手法や、変更を形式的に行なうことによって可能となる信頼性の解析などを提案する。
cc74def322a8 Add introduction Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	13 また、形式化した論理の観点からプログラムの変更が持つ性質などを解析し、ソフトウェア開発手法の指針を提案する。