nDiki
2004年8月1日 (日)
■ 契約による設計と状態遷移モデルの抽出とか 
事前条件/事後条件/不変表明で宣言できる仕様はプログラムの仕様の一部であるので、カバーできる範囲を明確にしつつ議論するのが重要。
@ テストフェーズとの連携
assertion による実行時検出の場合は、実際にそこを制御が通過しなければならない。テストフェーズとの連携があると実用的(単体テストスケルトンの自動生成など)。
@ 表明状態数
事前条件/事後条件/不変表明から内在的な表明状態を抽出できたとして、状態数はどれぐらいになるのだろう? 1〜3ぐらいだと面白くない。かといって多すぎる場合は設計上の誤りがある可能性が高い。
@ 過去の話題
- assertion (2004-05-16)
- テスト駆動開発入門 (2004-08-02)
- カシオ トラベルクロック PQ-60-1JF (2004-10-23)
- xDピクチャーカード対応 USBリーダ/ライタ MAUSB-100 (2005-04-23)
- パルディオ・ホームアンテナ HA-2S 動作チェック (2004-12-26)
Related term
■よく検索されるキーワード
torrent(86) windows(43) x31(42) perl(39) 書き方(37) linux(29) mp980(27) 提案書(24) アジェンダ(24) 設定(24) usb(23) 手帳(21) thinkpad(21) 使い方(21) ドラマ(21) ganttproject(21) debian(19) gtd(19) 画像(18) cvs(16) 壁紙(14) 動画(13) ヨドバシカメラ(13) subversion(13) a6(13) dropbox(13) ssh(12) svn(12) 日本語(12) make(12) tc-1(12) java(12) 修理(12) インストール(11) ノート(10) mp3(10) 方眼(10) rcs(10) サンプル(10) ヨドバシ(10) ボールペン(9) c#(9) ダイソー(9) web(9) nsis(9) アジェンダとは(9) centos(9) メモリ(9) 評判(9) pdumpfs(8) ダウンロード(8) フィルム(8) リフィル(8) アレグラ(8) truecrypt(8) クラリチン(7) cgi(7) 無印(7) バッグインバッグ(7) 印刷(7) thinkingrock(7) hhkb(7) ai(7) デジカメ(7) 無線lan(7) google(7) コンポ(7) pixus(7) xampp(7) tortoisesvn(7) dvd(7) porter(7) af(6) ファイル(6) ガントチャート(6) xp(6) gmail(6) smtp(6) 生年月日(6) リポジトリ(6)■注目キーワード
購入 買った 発売日 フリー 無料 価格 値段 作り方 選び方 使い方 方法 設定 サンプル ダウンロード 限定 在庫 予約 穴場 比較 検証 レビュー 感想 評価 評判 使用感 使ってみた 口コミ 噂 最新 MP3 動画 意味 お薦め お勧め おすすめ 便利 Blog ブログ mixi 修理 デザイン ビックカメラ2009|01a|
Process Time: 0.05896s / load averages: 0.54, 0.39, 0.34
nDiki by WATANABE Yoshimasa (profile)
Powered by DiKicker
Base theme by Nana (for tDiary)
スポンサード リンク