nDiki : 不変表明
スポンサード リンク
Related term
2004年8月1日 (日)
■ 契約による設計と状態遷移モデルの抽出とか 
スポンサード リンク
事前条件/事後条件/不変表明で宣言できる仕様はプログラムの仕様の一部であるので、カバーできる範囲を明確にしつつ議論するのが重要。
@ テストフェーズとの連携
assertion による実行時検出の場合は、実際にそこを制御が通過しなければならない。テストフェーズとの連携があると実用的(単体テストスケルトンの自動生成など)。
@ 表明状態数
事前条件/事後条件/不変表明から内在的な表明状態を抽出できたとして、状態数はどれぐらいになるのだろう? 1〜3ぐらいだと面白くない。かといって多すぎる場合は設計上の誤りがある可能性が高い。
@ 過去の話題
- assertion (2004-05-16)
- テスト駆動開発入門 (2004-08-02)
- 過去の今ごろ (2004-03-11)
- cron 呼び出しから D-Bus (Net::DBus) 使おうとしたら... (2008-02-26)
- [ DiKicker ] 実装作業 (2004-02-21)
■注目キーワード
購入 買った 発売日 フリー 無料 価格 値段 作り方 選び方 使い方 方法 設定 サンプル ダウンロード 限定 在庫 予約 穴場 比較 検証 レビュー 感想 評価 評判 使用感 使ってみた 口コミ 噂 最新 MP3 動画 意味 お薦め お勧め おすすめ 便利 Blog ブログ mixi 修理 デザイン ビックカメラ
Process Time: 0.014969s / load averages: 0.40, 0.35, 0.28
nDiki by WATANABE Yoshimasa (profile)
Powered by DiKicker
Base theme by Nana (for tDiary)
◇ Twitter やってます。この記事が気にいったらぜひ twitter.com/Naney の follower になってください。
◇ 2GB 無料のオンラインストレージサービス Dropbox に次のリンク先から登録すると今なら 250MB プラス! → Dropbox