タグ

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

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

    ソフトウェアテストや日常業務を自動化するTipsを集めています。 「○○で自動化できる」とか「○○は自動化できる?」という情報がありましたら掲示板までお願いします。 自動化できたら追記します。 ソフトウェアテストでは単体テストではxUnitなどのテスティングフレームワークが導入されていますが、システムテスト、受け入れテストの段階になると実際にソフトや製品を動かしてのテストになり大変です。そういった所を自動化できるTipsをまとめています。

    ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
  • GWT - とりあえず雑記帳(跡地)

    構成要素 Module Organizing Projects - Google Web Toolkit - Google Code GWTアプリケーションの構成単位。GWTアプリケーション=1つ以上のModuleの集まり。1アプリケーションを1つのModuleで表すのも可能だけど、それだとModule定義が肥大化するので、サブシステム単位でModuleを分割するんですよね、きっと →Moduleは、UIフォームに対応していると考えたほうが良いか? →Moduleは基的に[slim3.rootPackage]直下に置け、とのこと。そうなると、あまり数を増やすわけにもいけないので、やっぱサブシステム単位で? Moduleは[モジュール名].gwt.xmlファイルで定義される。定義を構成する要素として下記のものがある。継承元のModuleクラス継承みたいな仕組みというよりは、importに近

    GWT - とりあえず雑記帳(跡地)
  • Unicode対応版Alloy - Alloy Analyzer で形式仕様記述

    #javascript(){{ }} *Unicode対応版Alloy #image(スクリーンショット(2010-12-09 23.01.00).png, width=600) #image(スクリーンショット(2010-12-09 23.01.04).png, width=500) ** 説明 Alloy4.1.10をUnicodeに対応させました。~ Alloyの記述 (sig名とか、pred名など) で日語などが使えます。~ 注意:Alloyのインターフェースはは英語のままです。~ ~ 対応しているUnicode文字は、既存の文字のほかに0x0080~0xFFFFまでです。~ 注意:文字以外のコード(0xFFFF)などを入力したときに、何が起きるかは検証してません。~ 自己責任でご利用ください。~ ~ サロゲートペアは対応していません。~ サロゲートペアの文字を含むUTF-8形式

    Unicode対応版Alloy - Alloy Analyzer で形式仕様記述
  • Alloy Analyzer で形式仕様記述

    仕様を形式的に記述/検査することのできる言語やツールは、VDM, B, Z, Isabelle など他にも色々ありますが、 Alloy はそれらにくらべてより軽いフットワークで記述/検査することができるツールです。 それらのツールと Alloy との比較も、機会があればご紹介したいと思います。 2. Alloy を使った形式仕様記述の特徴 数理論理学+集合論をベースとした Alloy の言語で仕様を記述します。 書いた仕様を、簡単に検査することができます。 難しい論理式の証明などは必要ありません。 検査結果は図で表示してくれるので、結果を目視で直感的に理解することができます。 仕様で書いた振る舞いをシミュレーションすることができます。 3. このページのスコープ ここでは仕様のうち、概要レベルの仕様や、重要な部分だけを抜き出した仕様といった、抽象度の高い仕様をスコープとしています。 抽象度

    Alloy Analyzer で形式仕様記述
  • Cocoaリファレンス日本語化計画 - Foundation Framework

    Tags:コアサービス フレームワーク リファレンス 未完 トップ> フレームワーク > Foundation Framework Foundation Frameworkリファレンス 翻...

    Cocoaリファレンス日本語化計画 - Foundation Framework
  • 携帯・PHS関連@Wiki

    ここに記載している情報の中には、ネット上に出ている話を拾ってきているものもあり、必ずしも正しい情報ではない可能性もあります。(できるだけソースは記載していますが) ですので他サイト(特にwikipedia)への転載はお控えください。 ただし、携帯電話基地局免許数に関しては細心の注意を払い正しい値を記載するよう心がけています。

    携帯・PHS関連@Wiki
  • Mac/開発環境/trac - 開店休業中

    先にGenshiは入れておく Genshiのダウンロードページをみてみると、現状Leopard版はi386しかありません。 i386版で動かしても特に問題は無いようなのですが、Core2Duoなマシンの場合x86_64版を探しに行くのかTracのsetup.pyで途中でeggファイルが無いと言われてこけてしまいます。 で、Genshiは先に入れておくとそいつを使うので、Tracのsetup.pyを走らせる前に別途入れておきます。 GenshiのダウンロードページのSource Tarballsの所から適当な形式のファイルを取ってきます。 今回、私はzipを取りましたが、たぶんtar.bz2の方が小さかったかも… で、こいつを解凍してできたフォルダの中に入り、 python setup.py install とすればOKです。 Tracのインストール Tracの日語版はインタアクト株式会社

    Mac/開発環境/trac - 開店休業中
  • 1