契約による設計 - 版の履歴

Administrator: /* 外部リンク */

2024-09-26T05:49:04Z

外部リンク

← 古い版		2024年9月26日 (木) 05:49時点における版
57行目:		57行目:
	<references/>		<references/>

	~~== 外部リンク ==~~		[[category: プログラミング]]

	~~{{stub}}~~

180.53.164.133: /* Eiffel */

2014-08-07T07:43:43Z

Eiffel

← 古い版		2014年8月7日 (木) 07:43時点における版
41行目:		41行目:
	まったく知らない。		まったく知らない。

	Eiffelの開発元であるEiffel Software（旧名：Interactive Software Engineering、略称：ISE）とマイクロソフト、オーストラリアのモナッシュ大学のグループが共同で[[共通言語ランタイム]]で動く[[Eiffel Sharp\|Eiffel#]]なるものを出している<ref>[http://msdn.microsoft.com/ja-jp/library/ms973898.aspx</ref>~~。Eiffelの一部なので別途パッケージがあるわけではない。~~		Eiffelの開発元であるEiffel Software（旧名：Interactive Software Engineering、略称：ISE）とマイクロソフト、オーストラリアのモナッシュ大学のグループが共同で[[共通言語ランタイム]]で動く[[Eiffel Sharp\|Eiffel#]]なるものを出している<ref>[http://msdn.microsoft.com/ja-jp/library/ms973898.aspx</ref>。Eiffelの一部なので別途パッケージがあるわけではなく、[[Eiffel]]を入れるとオマケで付いてくる感じである。

	== 関連項目 ==		== 関連項目 ==

180.53.164.133: /* 契約による設計をサポートする主な言語 */

2014-08-07T07:40:58Z

契約による設計をサポートする主な言語

← 古い版		2014年8月7日 (木) 07:40時点における版
19行目:		19行目:
	ここに記載する[[プログラミング言語]]はあくまで一例でありすべてではない。		ここに記載する[[プログラミング言語]]はあくまで一例でありすべてではない。

	=== [[.NET Framework 4.0]] ===		=== .NET Framework 4.0 ===
	[[.NET Framework 4.0]]では、[[コードコントラクト]]（[[Code Contracts]]）という名前の機能が追加され、[[プログラミング言語]]レベルではなく、[[ランタイム]]レベルで「契約による設計」に対応した。これにより[[.NET Framework]]系のすべての[[プログラミング言語]]が対応することとなった。		[[.NET Framework 4.0]]では、[[コードコントラクト]]（[[Code Contracts]]）という名前の機能が追加され、[[プログラミング言語]]レベルではなく、[[ランタイム]]レベルで「契約による設計」に対応した。これにより[[.NET Framework]]系のすべての[[プログラミング言語]]が対応することとなった。

	~~また、~~[[Visual Studio]]用のアドオンも提供されており、契約による設計のキモである[[静的チェック]]や[[ドキュメント]]の自動生成も行いえる。とくに[[静的チェック]]はとても重要な要素であり、これが使えないとただの[[コーディング規約]]程度の話で終わってしまい、契約による設計の魅力の99.9999%~~が失われる。~~		また[[Visual Studio]]用のアドオンも提供されており、契約による設計のキモである[[静的チェック]]や[[ドキュメント]]の自動生成も行いえる。とくに[[静的チェック]]はとても重要な要素であり、これが使えないとただの[[コーディング規約]]程度の話で終わってしまい、契約による設計の魅力の99.9999%が失われる。なお[[アドオン]]が使えない[[Visual Studio Express]]ではツール群が使えないので、ただの実行時のエラーチェックと化し、前述のように契約による設計の魅力の99.9999%が失われる。

	なお[[アドオン]]が使えない[[Visual Studio Express]]ではツール群が使えないので、ただの実行時のエラーチェックと化し、前述のように契約による設計の魅力の99.9999%が失われる。

	[[コードコントラクト]]を利用するための[[ライブラリ]]は[[System.Diagnostics.Contracts 名前空間]]にあり、[[事前条件]]、[[事後条件]]、[[不変条件]]などの表すための[[C Sharp/静的クラス\|静的クラス]]が用意されている。		[[コードコントラクト]]を利用するための[[ライブラリ]]は[[System.Diagnostics.Contracts 名前空間]]にあり、[[事前条件]]、[[事後条件]]、[[不変条件]]などの表すための[[C Sharp/静的クラス\|静的クラス]]が用意されている。
30行目:		28行目:
	* http://msdn.microsoft.com/en-us/devlabs/dd491992		* http://msdn.microsoft.com/en-us/devlabs/dd491992

	=== [[D言語]] ===		=== D言語 ===
			[[D言語]]の契約による設計機能は初の正式版リリースにあわせた目玉機能として大々的に宣伝されていた。
			しかし、プロジェクト自体のゴタゴタで正式リリースが遅れに遅れたことで[[.NET Framework 4.0]]に先を越されるという事態になった。
			残念賞である。

			=== Sather ===
			[[Sather]]は[[Eiffel]]から派生した[[サブセット]]であり、その後に独自の進化を遂げてものらしい。
			まったく知らない。

	=== Eiffel ===		=== Eiffel ===
	[[Eiffel]]は契約による設計を提唱およびサポートした一番最初の[[プログラミング言語]]~~だそうだ。まったく知らない。~~		[[Eiffel]]は契約による設計を提唱およびサポートした一番最初の[[プログラミング言語]]だそうだ。
			まったく知らない。

	Eiffelの開発元であるEiffel Software（旧名：Interactive Software Engineering、略称：ISE）とマイクロソフト、オーストラリアのモナッシュ大学のグループが共同で[[共通言語ランタイム]]で動く[[Eiffel Sharp\|Eiffel#]]なるものを出している<ref>[http://msdn.microsoft.com/ja-jp/library/ms973898.aspx</ref>。Eiffelの一部なので別途パッケージがあるわけではない。		Eiffelの開発元であるEiffel Software（旧名：Interactive Software Engineering、略称：ISE）とマイクロソフト、オーストラリアのモナッシュ大学のグループが共同で[[共通言語ランタイム]]で動く[[Eiffel Sharp\|Eiffel#]]なるものを出している<ref>[http://msdn.microsoft.com/ja-jp/library/ms973898.aspx</ref>。Eiffelの一部なので別途パッケージがあるわけではない。

	~~=== Sather ===~~
	~~[[Sather]]は[[Eiffel]]から派生した[[サブセット]]であり、その後に独自の進化を遂げてものらしい。~~
	~~まったく知らない。~~

	== 関連項目 ==		== 関連項目 ==

180.53.164.133: /* Eiffel */

2014-08-07T07:36:29Z

Eiffel

← 古い版		2014年8月7日 (木) 07:36時点における版
32行目:		32行目:
	=== [[D言語]] ===		=== [[D言語]] ===

	=== [[Eiffel]] ===		=== Eiffel ===
	[[Eiffel]]~~は契約による設計を提唱・サポートした一番最初の~~[[プログラミング言語]]だそうだ。まったく知らない。		[[Eiffel]]は契約による設計を提唱およびサポートした一番最初の[[プログラミング言語]]だそうだ。まったく知らない。

			Eiffelの開発元であるEiffel Software（旧名：Interactive Software Engineering、略称：ISE）とマイクロソフト、オーストラリアのモナッシュ大学のグループが共同で[[共通言語ランタイム]]で動く[[Eiffel Sharp\|Eiffel#]]なるものを出している<ref>[http://msdn.microsoft.com/ja-jp/library/ms973898.aspx</ref>。Eiffelの一部なので別途パッケージがあるわけではない。

	=== Sather ===		=== Sather ===

180.53.164.133: /* Sather */

2014-08-07T07:06:59Z

Sather

← 古い版		2014年8月7日 (木) 07:06時点における版
35行目:		35行目:
	[[Eiffel]]は契約による設計を提唱・サポートした一番最初の[[プログラミング言語]]だそうだ。まったく知らない。		[[Eiffel]]は契約による設計を提唱・サポートした一番最初の[[プログラミング言語]]だそうだ。まったく知らない。

	=== [[Sather]] ~~===~~		=== Sather ===
	[[Eiffel]]から派生した[[サブセット]]~~で独自の進化を遂げてものらしい。~~		[[Sather]]は[[Eiffel]]から派生した[[サブセット]]であり、その後に独自の進化を遂げてものらしい。
	まったく知らない。		まったく知らない。

180.53.164.133: /* 概要 */

2014-08-07T07:05:43Z

概要

← 古い版		2014年8月7日 (木) 07:05時点における版
4行目:		4行目:

	== 概要 ==		== 概要 ==
	たとえば、ある[[サブルーチン]]の[[引数]]~~があるとして、~~[[ぬるぽ]]や[[ぬるり]]~~を防ぐために引数の~~[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。		たとえば、ある[[サブルーチン]]に[[引数]]があるとして、その引数が[[ぬるぽ]]や[[ぬるり]]になることを防ぐためにサブルーチンの先頭部分で[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。

	== 条件の種類 ==		== 条件の種類 ==

2014年2月26日 (水) 01:22にimported>Fallout New Tokyoによる

2014-02-26T01:22:22Z

← 古い版		2014年2月26日 (水) 01:22時点における版
1行目:		1行目:
	'''契約による設計'''（[[英語]]：Design By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]~~の技法のひとつである。~~'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。		'''契約による設計'''（[[英語]]：Design By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつ、または[[プログラミング言語]]の機能のひとつである。

			'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。

	== 概要 ==		== 概要 ==

imported>Fallout New Tokyo: /* 契約による設計をサポートする主な言語 */

2014-02-26T01:20:35Z

契約による設計をサポートする主な言語

← 古い版		2014年2月26日 (水) 01:20時点における版
15行目:		15行目:

	== 契約による設計をサポートする主な言語 ==		== 契約による設計をサポートする主な言語 ==
	~~ここに記載するプログラミング言語はあくまで一例でありすべてではない。~~		ここに記載する[[プログラミング言語]]はあくまで一例でありすべてではない。

	=== [[.NET Framework 4.0]] ===		=== [[.NET Framework 4.0]] ===

2014年2月26日 (水) 01:20にimported>Fallout New Tokyoによる

2014-02-26T01:20:16Z

← 古い版		2014年2月26日 (水) 01:20時点における版
1行目:		1行目:
	'''契約による設計'''~~（英語：Design~~ By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつである。'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。		'''契約による設計'''（[[英語]]：Design By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつである。'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。

			== 概要 ==
	たとえば、ある[[サブルーチン]]の[[引数]]があるとして、[[ぬるぽ]]や[[ぬるり]]を防ぐために引数の[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。		たとえば、ある[[サブルーチン]]の[[引数]]があるとして、[[ぬるぽ]]や[[ぬるり]]を防ぐために引数の[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。

2013年4月11日 (木) 04:13に220.213.58.193による

2013-04-11T04:13:27Z

← 古い版		2013年4月11日 (木) 04:13時点における版
1行目:		1行目:
	'''契約による設計'''~~（Design~~ By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつである。'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。		'''契約による設計'''（英語：Design By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつである。'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。

	たとえば、ある[[サブルーチン]]の[[引数]]があるとして、[[ぬるぽ]]や[[ぬるり]]を防ぐために引数の[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]~~やドキュメント生成などを的確に行えるようにし、~~[[プログラム]]の品質を向上させようというものである。		たとえば、ある[[サブルーチン]]の[[引数]]があるとして、[[ぬるぽ]]や[[ぬるり]]を防ぐために引数の[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。

	== 条件の種類 ==		== 条件の種類 ==
	~~契約は、コードの利用条件が満たされることによって成立する。~~		契約は、コードの利用条件が満たされることによって成立する。それら条件は、満たすべきタイミングと主体によって以下の3種類に分けられる。
	~~それら条件は、満たすべきタイミングと主体によって、以下の3種類に分けられる。~~

	; [[事前条件]] (precondition) :[[サブルーチン]]~~の開始時に、これを呼ぶ側で保証すべき性質。~~		; [[事前条件]] (precondition) :[[サブルーチン]]の開始時に、これを呼ぶ側で保証すべき性質。たとえばというか、ほぼ引数の値のチェックである。
	; [[事後条件]] (postcondition) :[[サブルーチン]]が、終了時に保証すべき性質。たとえば「[[戻り値]]は絶対に[[null]]を返さない」などを決めておくことを言う。		; [[事後条件]] (postcondition) :[[サブルーチン]]が、終了時に保証すべき性質。たとえば「[[戻り値]]は絶対に[[null]]を返さない」などを決めておくことを言う。
	; [[不変条件]] (invariant) :[[クラス]]などの[[オブジェクト]]がその外部に公開しているすべての操作の開始時と終了時に保証されるべき、オブジェクト毎に共通した性質。		; [[不変条件]] (invariant) :[[クラス]]などの[[オブジェクト]]がその外部に公開しているすべての操作の開始時と終了時に保証されるべき、オブジェクト毎に共通した性質。