test123This domain is for use in illustrative examples in documents. You may use this domain in literature without prior coordination or asking for permission. More information...
Free software tools for formal verification of computer programs
Free software tools for formal verification of computer programs 1 . We should no longer make software as in the sixties or seventies, with a few tests. We are now able to make software without any bugs. This is possible using specialised tools called formal tools . Such tools are able to match a computer program against a specification, i.e. a formal description of the expected behavior of the pr
最速インターフェース研究会 :: IEの遠隔操作用ライブラリmechanize.js
先日のShibuya.js Techtalk#2では開発手法の話とかは(前回話したので)あまりしなかったのですが、そういう話を知りたいという人も多いようなので適当に公開していこうと思います。 http://la.ma.la/misc/js/mechanize/ WWW::Mechanizeと似たインターフェースでIEを遠隔操作するライブラリです。htaから呼び出してテスト用のツールを作ったりします。wshからも使えると思います。 機能的には最低限のものしか実装してません。ファイルのアップロードとかはJS側からいじれなかったと思うので多分無理です。 この手のツールではseleniumというのが有名なのですが、多機能すぎて使い方が良くわからないので自作しました。単純な動作確認や連投に使ったりします。 これを使ってアレをナニしたりしているのですがとてもここには書けません。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Test Automation for UI Testing | T-Plan
javaworld.jp