This 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 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
先日のShibuya.js Techtalk#2では開発手法の話とかは(前回話したので)あまりしなかったのですが、そういう話を知りたいという人も多いようなので適当に公開していこうと思います。 http://la.ma.la/misc/js/mechanize/ WWW::Mechanizeと似たインターフェースでIEを遠隔操作するライブラリです。htaから呼び出してテスト用のツールを作ったりします。wshからも使えると思います。 機能的には最低限のものしか実装してません。ファイルのアップロードとかはJS側からいじれなかったと思うので多分無理です。 この手のツールではseleniumというのが有名なのですが、多機能すぎて使い方が良くわからないので自作しました。単純な動作確認や連投に使ったりします。 これを使ってアレをナニしたりしているのですがとてもここには書けません。
Agnostic to any tech, browser, or platform, our no-code intuitive automation tool is designed to be used by anyone in the team. Save time and money by streamlining processes and identifying errors with our advanced visual recognition tool. Award-winning market leaders in Visual UI Test Automation, trusted by hundreds of companies and used by thousands of people for over 25 years. No-code access re
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く