タグ

2015年5月16日のブックマーク (2件)

  • 契約による設計 - MonoBook

    契約による設計(英語:Design By Contract、でざいん・ばい・こんとらくと)とは、ソースコードの中にプログラムが満たすべき仕様(契約)についての記述を盛り込み、設計の安全性を高めるプログラミングの技法のひとつ、またはプログラミング言語の機能のひとつである。 契約プログラミング(Programming By Contract)や、Design by Contract の頭文字であるDbC (でぃーびーしー) とよばれることもある。 概要[編集 | ソースを編集] たとえば、あるサブルーチンに引数があるとして、その引数がぬるぽやぬるりになることを防ぐためにサブルーチンの先頭部分でnullチェックや境界チェックを行う、などというコーディング規約に近いものを、プログラミング言語の仕様として半ば強制することで、静的コード解析やドキュメント生成、単体テスト(のテンプレート生成)などを的確

  • 単体テスト - MonoBook

    単体テスト(英語:unit testing)とは、プログラミングにおいてクラスや関数などのごく小さな単位(ユニット)で、その動作に誤りがないか行うテストのことである。 概要[編集 | ソースを編集] 単体テストはプログラミングにおいてクラスや関数などのごく小さな単位(ユニット)で、その動作に誤りがないか行うテストのことである。これは各種プログラミング言語でよく行われるプリント分を挿入してデバッグするという原始的な行為も含まれる。もう少し大きい視点では契約プログラミングと静的解析ツールの組み合わせに近い概念を、もう少し踏み込んで動的にテストしたい場合などに用いられる。またそもそも契約プログラミングを利用できないプログラミング言語や環境で似たようなことを行いたい場合にも用いられる。 今日日ではxUnitといったテスト自動化ツールを用いて行われるのが主流となっており、「単体テスト」という言葉自体