タグ

ブックマーク / w.atwiki.jp (4)

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

    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) テストツールではないが

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

    LAMEをインストールする : ターミナルを使う場合 上記リンク先からLAMEのソースファイルをダウンロードする。 ダウンロードしたファイルをホームディレクトリに置く。 Terminal.appを起動し、以下のように叩く。(LAME 3.98の場合) % cd / % tar xzf lame-398.tar.gz % cd lame-398 % ./configure % make % sudo make install % rehash

    Tips - iTunes for Mac まとめ
    morygonzalez
    morygonzalez 2009/03/10
    iTunesでLAMEエンコーダを使う方法。
  • Mobile for Life × Life for Mobile

    @saibakho からのツイート #weblog(2)プラグインが正常に動作していないようなので、廃止。 代わりに#blog()を設置。 この機能は、「新しい記事を追加する」からページを新規作成し、 それらのページ名が自動でプラグインの()内へ記述されるといった動作を行うらしい。 2017年07月22日(土) #blog()も正常に動作していないようなので、廃止。 代わりに#twitter_widget_profile2()を設置。 2017年07月27日(木)

    Mobile for Life × Life for Mobile
  • rep2Phone導入ガイド - iPhone Note

    *P2を使って2chを見よう!for MacOSX 10.5 Leopard &space(100)&sizex(1){10.4以前のOSでの設定方法は[[こちら>rep2phone導入(~10.4)]]} ***P2の設置の基礎の基礎(Wi-fi編) -[[P2>http://akid.s17.xrea.com/]]をダウンロードして解凍。解凍して出来たフォルダを~/sites/に置く。 -~/sites/rep2/に新規フォルダを作成してdataにリネーム。 -Finderで~/sites/rep2/data/を選択後、「右クリック」>「情報を見る」>「所有権とアクセス権」を選択。ユーザ・staff・everyoneの3つ全てのアクセス権を「読み/書き」可能に変更する。 #image(center,akusesuken.jpg) -[[Pseudo>http://personalpag

    rep2Phone導入ガイド - iPhone Note
  • 1