ソフトウェアテストや日常業務を自動化するTipsを集めています。 「○○で自動化できる」とか「○○は自動化できる?」という情報がありましたら掲示板までお願いします。 自動化できたら追記します。 ソフトウェアテストでは単体テストではxUnitなどのテスティングフレームワークが導入されていますが、システムテスト、受け入れテストの段階になると実際にソフトや製品を動かしてのテストになり大変です。そういった所を自動化できるTipsをまとめています。
構成要素 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に近
#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形式
仕様を形式的に記述/検査することのできる言語やツールは、VDM, B, Z, Isabelle など他にも色々ありますが、 Alloy はそれらにくらべてより軽いフットワークで記述/検査することができるツールです。 それらのツールと Alloy との比較も、機会があればご紹介したいと思います。 2. Alloy を使った形式仕様記述の特徴 数理論理学+集合論をベースとした Alloy の言語で仕様を記述します。 書いた仕様を、簡単に検査することができます。 難しい論理式の証明などは必要ありません。 検査結果は図で表示してくれるので、結果を目視で直感的に理解することができます。 仕様で書いた振る舞いをシミュレーションすることができます。 3. このページのスコープ ここでは仕様のうち、概要レベルの仕様や、重要な部分だけを抜き出した仕様といった、抽象度の高い仕様をスコープとしています。 抽象度
ここに記載している情報の中には、ネット上に出ている話を拾ってきているものもあり、必ずしも正しい情報ではない可能性もあります。(できるだけソースは記載していますが) ですので他サイト(特にwikipedia)への転載はお控えください。 ただし、携帯電話基地局免許数に関しては細心の注意を払い正しい値を記載するよう心がけています。
先に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の日本語版はインタアクト株式会社
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く