タグ

testingとdevelopmentに関するjjzakのブックマーク (4)

  • Unit Testing in Clojure

    Unit Testing in Clojure One thing I love about Clojure is the built in unit tests. Unit tests are great for making sure your code does what it needs to do and introducing new features or bug fixes doesn't break anything. You can refactor your code anytime you want and be sure that you did not break anything. Unit tests also serve as a living documentation for your code base, newcomers can look at

  • プログラミングWiki - CUnit

    Cのためのユニットテスティングフレームワーク SF.netの方じゃなくてこっち 特長は,以下の通り. テストは共有ライブラリにする テストを起動するプログラム(CUnitTester)がある CUnitTesterは指定したディレクトリの下にあるlibtest_*.soという共有ライブラリをロードしてテストを実行する ちなみに,環境変数TERMが?termでない時はエスケープシーケンスを使わないように改造していたりします.パッチはこちら.cunit-0.6.8-term.diff ついでに,UTEST_ASSERT_*(UTEST_ASSERT_EQUAL_INTとか)を追加するパッチはこちら. cunit-0.6.8-term-and-assersions.diff CUnitTesterのために,パスに~h12j37/local/binを加えます. 例えば,~/.cshrcを以下のよう

  • C言語・C++言語用テスティングフレームワーク - Cutter

    最新リリース 2019-09-13にリリースされた1.2.7が最新です。 [ダウンロード] [変更点] Cutterとは Cutterは書きやすさ・デバッグのしやすさを重視したC言語・C++言語用のテスティングフレームワークです。メンテナンスしやすく、利用効果の高い単体テスト(ユニットテスト)の開発を支援します。 また、テストを苦痛ではなく、楽しいものにすることも重視しています。スクリーンショットはテスト結果の通知機能を利用している様子です。文字としてテストのパス・失敗を伝えるだけではなく、視覚的にも通知することで、テスト結果をわかりやすくします。わかりやすいので、頻繁にテストを実行したくなります。この機能はnotify-sendコマンド(Linuxや*BSDなどの場合)またはgrowlnotifyコマンド(macOSの場合)を利用します。 動作環境 CutterはDebian GNU/L

  • テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト

    1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが

    テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
  • 1