Java言語仕様 Java SE 7版 日本語訳 - akios @ ウィキ
注意 訳の元文はJava Language Specificationです。 ですます調です。 権利関係の詳細を確認していないので、この訳が問題になることがあります。 この訳は個人的なものなので、間違いが多々あります。 内容を勝手に解釈した上で意訳をすることが多々あります。 理解しやすいように語を補足することがあります。 wiki書式に合わせるため書式等を変えることがあります。 使用されている用語に対しできるだけ単一の訳語を割り当てます。 訳者はこの訳を利用したことによる損害の責任を一切負いません。 全部やりきるかどうか分かりません。 3.10.5-1. 文字列リテラル 4.2.2-1. 整数演算 4.2.4-1. 浮動小数点演算 4.3.1-1. オブジェクト作成 4.3.1-2. プリミティブと参照の同一性 4.4-1. 型変数のメンバー 4.5.1-1. ワイルドカード 4.5.1-
テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
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) テストツールではないが
日本語化 - TEF有志によるTestLink日本語化プロジェクト
２．Test Linkをインストールします。 以下を参照のこと Test Link インストール&使用方法 http://swproject.g.hatena.ne.jp/keyword/testlink?kid=3
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ダウンロード - SofTalk【7/1更新】
技術メモ
