「USBメモリに入れて持ち運べる便利なソフト」まとめ @Wiki
USBメモリに入れて持ち運べる便利なソフト インターネット Webブラウザ 2chブラウザ メーラー ブックマーク管理 ダウンローダ FTP メッセンジャー ネットラジオ メールサーバ 内部プロキシ 音楽・動画・画像 画像ビューア 画像編集 メディアプレイヤー 音声ファイル変換 その他（音楽・動画・画像） エディタ テキストエディタ HTMLエディタ その他（エディタ） アクセサリ ランチャ クリップボード拡張 パスワード管理 画面キャプチャ キーボード・マウス操作 情報表示 その他（アクセサリ） パーソナル カレンダー スケジューラ 付箋 時計 タイマー ファイル操作 ファイラ 圧縮・解凍 ファイル暗号化 ファイル復元 バックアップ 番外 OS等 インストール必須 現行スレ 【ポータブル】USBメモリで持ち運べるソフトPart10 http://potato.2ch.net/test/r
テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
