テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
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) テストツールではないが
Lyrics Master - Liquid Melody
Lyrics Master の最新バージョン 2.5.5.1 では、Windows 11 の正式サポート、Genius.com への対応、歌詞サイトの最新仕様への対応を含む様々な改善とバグフィックスが行われています。 (macOS 版のみ、macOS Catalina 以前の OS との互換性問題を解消した v2.5.5.2 が最新版となります。上記の v2.5.5.1 のリンクからダウンロードできます。 (2022-05-15)) すべての変更点のリストは更新履歴をご覧ください: Mac / Windows バージョン 2.4 から、ボーカロイドの歌詞検索 (初音ミクWiki)にも対応しています。
ソースコードを読むための技術
$Id: readingcode.html,v 1.13 2003/12/06 00:01:08 aamine Exp $ 2006-05-02 gonzui 追加。thanks: 冨山さん 2003-12-03 ltrace と sotrace を追加 2003-12-03 ツールのところに DDD を追加。thanks: 和田さん 2003-05-27 VCG, SXT などについて追加。thanks: 梅沢さん 2003-05-27 これもすっかり忘れていた strace, ktrace, truss, etags などについて追加 2002-08-30 すっかり忘れていた ctags を追加 2002-07-07 匿名希望さんからメールでいただいた情報を追加 (動的コールグラフ) 2002-06-13 日記経由でいただいた意見をもとに文章を追加。thanks: 柳川さん、まつもとさ
Doxygen
ソースコード・ドキュメンテーション・ツール Doxygen は、C++、C、Java、Objective-C、Python、IDL (Corba、Microsoft 風)、Fortran、VHDL、PHP、C# 向けのドキュメンテーション・システムです。 D にもある程度対応しています。 Doxygen には、次の３つの利点があります。 文書化されたソースファイルのセットから、 オンライン・ドキュメント・ブラウザ (HTML形式) やオフラインのリファレンス・マニュアル (形式) を生成することができます。 RTF (MS-Word)、PostScript、ハイパーリンク PDF、圧縮 HTML、Unix man ページ形式の出力もサポートされています。ドキュメントは、ソースから直接抽出されます。これにより、ドキュメントとソースコードの一貫性を保つことがとても容易になります。 Doxyge
Brava! Reader - 無料で使えるPDF、TIFF、CSFビューワ
PDF、TIFF、XPS、そしてCSFファイルに対応した無料ビューワソフト Brava! Reader Brava! Reader（ブラバ！リーダー）は、PDF、TIFF、XPS、そしてCSF(Content Sealed Format)の表示、印刷ができる、無料のビューワソフトです。起動や動作は非常に高速、操作は簡単ですので、快適にお使い頂けます。 Brava! Readerで、TIFFもPDFも高速・軽快に表示。虫眼鏡で拡大表示。 Brava! Reader有償版 PDF、TIFF、XPS、CSFに加えて、JPGやDWGファイルに対応したビューワ製品として、Brava! Reader有償版も用意しております。 業務用の標準ビューワとしての導入や、既存システムへのビューワ組み込みなどにご利用いただけます。 主な機能: 直感的な操作性 PDF、TIFF、XPS、CSFフ
旧・Macの手書き説明書 - FC2 BLOG パスワード認証
ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ https://mac-tegaki.comへ移転中 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.
| ＾＾ |秒刊SUNDAY | ０円でWebデザイナーになれる、オープンソースウェブ制作アプリ集30個
2009年01月30日 ０円でWebデザイナーになれる、オープンソースウェブ制作アプリ集30個 カテゴリ：WEBデザイン ウェブデザイナーになる為には、非常に高いアプリケーションやら、パソコンスペックなどが必要となりますが、たった０円でそれらを揃えることが可能です。 オープンソースHTMLエディタ ◆Bluefish Editor ■Bluefish Editor : Home 軽量のオープンソースHTMLエディタ。MACとLinuxに対応。 ◆Quanta Plus ■Quanta Plus Home CSS編集が楽になるオープンソースHTMLエディタ。 Linux用 ◆Amaya ■Amaya Home Page W3Cによる、オープンソースHTMLエディタ。バリデートもこれで万全。 Windows、MAC,Linuxと、すべてのプラットフォームに対応 ◆CSSED ■CSSED I
ネクスト研究日記 » TCPコネクション最大値 変更 windowsXP sp3
windowsXPSP２からスパム対策としてTCPコネクション最大値が10個に制限されているが、アプリケーションでゲームサーバを立てるときやwebサーバ、複数P2Pソフトウェアの同時起動をするとき等に不便な点がある。これを変更するためにはレジストリをいじるだけではできないようにMicrosoftは設計している。 メモリ常駐で監視しているため、メモリデータを常に書き換えておく必要があるが、面倒だ。windowsの修正パッチを適用するとたまに変更設定が強制的に10に戻されるため、常時変更する必要がある。そこで便利なのが常駐ツール。有名なのはshareBOTに含まれているBIOTだ。 １．TCP/IP.sysのバイナリ書き換え ２．BIOTなどの常駐監視ソフトウェアを起動 しかし、BIOTの最新版はwindowsXP SP3には対応していない。 そこで今回のtcpip-patcher-hwrms
Giraffe Windows ケータイアプリカタログ
このサイトでは Windows Mobile (Windowsケータイ) のアプリ情報をまとめています。 このサイトで紹介されているアプリは、専用のアプリカタログツールを使って Windows ケータイから直接ダウンロードできます。 このサイトのアプリ情報は有志の手によりまとめられています。 編集に協力してくれる方を常に募集しています。 >>Giraffe アプリカタログのダウンロード 最新のアプリ Frother 1.4.2 機能追加＆障害修正 MZ3.i Ver.1.6.0 ** MZ3.i/MZ4 Ver.1.6.0 (2013.06.23) McdCouponWM ver1.0.0.5 クーポン用のデータが解析できなくなっていたのを修正しました。 ちーたん Ver 1.06 Twitter API の変更により動作しなくなった点を修正 OperaMiniTweakWM ver.1.
画面キャプチャ
コメントでのアプリに対する希望・要望は受け付けていません。 また、不具合報告は歓迎ですが、その際はこちらでも再現できるだけの環境（使用機種、OS、言語など）、詳細な再現手順などをお願いします。
WkTASK
WkTASKの紹介 軽快な動作・多機能を目指して作られたWindows Mobile用のタスク管理&ランチャソフトウェアです。 PC版Windowsのようにタスクバーによるアプリケーション切り替え操作や、[×]ボタンで前面のアプリケーションの終了などを行うことができます。またタップ操作だけではなく、ハードウェアキーに本ソフトウェアを割り当てて二重起動させることにより、キー入力によるタスク切り替え操作や別アプリケーション起動などを行うことができます。 その他にもWindows Mobileを快適に利用するための多数の機能を備えています。 ※本ソフトウェアはフリーウェアです。 主な機能 上部のバーに起動中のタスク一覧表示 [×]ボタンタップで前面アプリケーション終了、タップ＆ホールドでメニュー表示 スタイラスジェスチャーによるTODAY表示、最小化 二重起動によるキー操作モード （シアノン氏作
Freeware for Pocket PC
AndroidFreeware, The Free APK Store for AndroidAndroidFreeware is the ultimate source for downloading the latest versions of popular Android mobile games and apps available in (APK) Android Package Kit format. With the AndroidFreeware APK Mirror Downloader, you can easily bypass any country or device restrictions and enjoy the best Android experience ever!
[開発]ニコナビ for WM: いっちゅうスタヂヲ.NET
※2009/04/14 21:00 更新 寒いですね～冬ですね～ ニコニコ動画も冬になってますね～ｗ ってことでまた取得できなくなったとコメントで報告頂いたので対応しました。 （実は最近ニコニコが重くなってきたのであまり使わなくなってきたんですよね・・・。） ほぼ1ヶ月ごとにタグを変えられちゃって、その都度プログラム対応だと面倒なのでHTML解析を外部ファイルで記述できるようにしました。 インストールすると新たに「Def」というフォルダができます。この下にHTML解析用の定義ファイルを置いてあります。 （ランキングだけは全く別の取得方法なのでありませんが、XMLなのでたぶん仕様変更にあまり影響受けません。今回ランキングだけ生きてたのはそのため） 正規表現が分かる人なら、ニコニコ仕様変更で取得できなくなってもよっぽど大幅な仕様変更でなければ自力で対応できると思います。 実はこの対応でちょっと
スマホの通話料金が高額にならないための節約方法 – スマートフォンユーザーのための情報共有サイト
月々の携帯料金を如何に高額にならない様にする方法としては、最初に有料のサイトの課金や従課金サイトに登録は行わない事です。特に気を付けたいのが初月無料とされているサイトなどで一旦登録すると初月は完全に無料にはなるのですが翌月になると料金が発生する事になります。 そこで初月無料のサイトを多数登録するとうっかり解約するのを忘れてしまったり中には解約の仕方が分からないなどの問題が発生したりする事もあります。 次に主にスマホなどを使われている方には誰もが該当する事になりますがスマホのゲームアプリになります。これらは基本無料で遊べるアプリですが一旦ハマりだしてしまうと中には課金などもして強くなりたいと思う方も出て来ると思います。 そこで気をつけたいのが各キャリアの決済で手軽に課金を行えるのですがここで一歩間違えるととんでもない金額になったりするのでオススメは出来ません。 次に各キャリア決済におけるネッ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
WinMerge 日本語版
サービス終了のお知らせ
できるネット
PQzII for WindowsMobile
Google Code Archive - Long-term storage for Google Code Project Hosting.
Brins0.net