test-kitchenを使ってChefのレシピを複数環境でテストする方法
test-kitchenはopscodeが提供するChefのレシピをテストするための仕掛けで、Vagrantを使って複数のOSやOSのバージョンを立ち上げレシピをテストすることができる。(Vagrant以外も使える) テストはminitestやcucumberなどを使って記述する。 テストの流れは以下のようになる。 設定ファイルに記載されたOSをVagrantで起動する（既にOSが起動している場合はそのまま利用する。ひな形となるbaseboxが存在しない場合は、設定ファイルに記載された入手元からbaseboxをダウンロードする）Vagrant側とレシピが共用され、レシピが実行されるレシピ実行後、テストが実行されるテストが終了すると、OSの設定が複数あれば次のOSを使ってテストするでは早速設定を行なってみよう。まず１つのレシピをテストする場合だ。 1つのレシピをテストする場合まずトップディレ
MacBookAir欲しい日記改めSpinを使ったモデル検査入門 - nyanp::blog
明けましておめでとうございます．今日はMacBookが欲しいので日本語の情報がちょっと少ないので，修論関係で触っているモデル検査ツール，Spinについて軽くまとめてみます． モデル検査とは 厳密さに欠ける言い回しでアレですが，「間違いなく正しく動くソフトウェア」が欲しいときにどうするか．テストはバグの早期検出に有効ですが，テストで得られるのは 「テストで検査した範囲においてソフトウェアが仕様を満たす」 という結論であって，当然 「すべての範囲においてソフトウェアが仕様を満たす」 ことではありません．たとえば人工衛星みたいなクリティカルな組み込み分野だと，「そのコードで『人工衛星の角速度が発散しない』ことを証明できるのかねキミ？衛星はメンテナンスできないってこと位分かってるよね？」とか言われた日には，テストケースを書いた我が脳味噌の完璧さに全てを賭けるか，泣きながら宇宙服の調達を開始するかの
XSPINの操作手順
Copyright (C) 2007-2010 National Institute of Informatics, All rights reserved. 設計モデル検証（基礎編）講座 （第1回） 第2版 2010年6月7日 トップエスイープロジェクト Copyright (C) 2007-2010 National Institute of Informatics, All rights reserved. 2 設計モデル検証(基礎編) のゴール 検証とは何かを把握できる 検証には何が必要なのかを知っている 検証を行うツールとしてＳＰＩＮを使える 設計モデルの正しさを検証することが出来る 前提・条件・範囲を明確しつつ設計を具象化し、その検証 ができる 何を検証し、どのような性質が保証できたのかが把握でき る 対象システムの設計の意図を明確化し、そこに成り立
Spin - Formal Verification
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 30th International Spin Symposium was held April 10-11 2024 in Luxembo
連載: IBM Watson Workspace #鬼わか アプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか 解説（前編）
Titanium Mobile + Jasmine + Jenkins でiPhoneアプリの自動テスト組んでみたよ - ikeike443のブログ
Jenkins Advent Calendar jp 2011の3日目です。 Titanium Mobile + Jasmine + Jenkins でiPhoneアプリの自動テスト組んでみた、っちゅう話をします。 本当はプラグインを作りたかったんですが、そこまで行かなかったので（言い訳だよ！）、せめて自動テストをどう組んだかの話をしますね。 Titaniumの自動テストを組みたい 最近Titanium Mobileを使ってiPhoneアプリなど作ってます。 Titanium Mobileについてはもう説明もいらないと思いますが、Javascriptを使ってスマートフォンアプリ（特にiPhoneとandroid）を開発することができるプラットフォームですね。 で、Jenkins野郎な私としては、Titaniumでも自動テストを組みたいんですよね。 Javascriptでテストってどう書くん
List of unit testing frameworks - Wikipedia
2.48 OpenEdge Advanced Business Language (ABL), Progress 4GL
負荷試験ツール「インターネット破壊」を公開しました : DSAS開発者の部屋
負荷試験ツール インターネット破壊を公開しました。 こちらはずっと社内で負荷試験に使用していたツールです。社内で使用していたものなので、ソーシャルアプリ向けの機能などが多少追加されていますが、もちろんんそれ以外のWebアプリケーションでも使用できます。 基本的にはApache JMeterのようなWebアプリケーションむけのシナリオ負荷試験ツールです。コマンドラインオペレーションだけで実行でき、サーバー上で簡単に負荷試験を実施できるのが特徴です。POSTリクエストなどはもちろん、レスポンスのチェックやUserAgentの偽装、ランダムな値をパラメーターにセットする機能も実装しています。 注意: 当然ながら自分の管理下にないサイトに向けて負荷試験ツールを実行するのは絶対にやめてください。非常に危険です。 物騒な名前がついていますが、これは完全にわたしの小児的感性の趣味によるところです。地震で
Buildbot
Explore ScreenShots SuccessStories Press FAQ HowToHelp Support (and Paid Support) Utilities Security Licensing Plugins StatisticsCollection Documentation Buildbot Tutorial Buildbot Manual (latest release - see other versions) NineMigrationGuide -- help for migrating from 0.8.x to 0.9.x HelpfulPages Development and Administrivia Development (@ GitHub) Nine - work on the next generation GSoC and
kSar : a sar grapher
ksar is a java application that graph sar outputkSar Version 5 is a java application that graph your sar data. It can graph sar text output from Solaris,Linux,AIX,HPUX,Mac OS/X. It also permit to export data to PDF/JPG/PNG/CSV. You can load dat from three method : local file, local command excetion, and remote command execution via SSH :) Automatic collect & graph data at startup CSV export Line c
Final Builds Site - IE Collection
Nederlandstalige versie, Main, Sitemap, News, Download links, Frequently Asked Questions and Answers, K-Lite Codec Pack, VideoLAN, DivX, Xvid, TreeSize Free, TreeSize Professional, Nero CD-DVD Speed, Nero DiscSpeed, IE Collection, McAfee VirusScan, 7-Zip, B1 Free Archiver, WinRAR, WinZip, DirectX, Tweak UI, IrfanView, Ad-Aware, Spybot Search & Destroy, Skype, PuTTY, KeePass Password Safe, Mozilla
万が一に備えてサイトの負荷テストを行ってくれる『Load Impact』 | 100SHIKI
万が一に備えてサイトの負荷テストを行ってくれる『Load Impact』 March 10th, 2009 Posted in その他 Write comment こういうツールはすでにあるのだろうが、わかりやすいインターフェースが良かったのでご紹介。 Load Impactはサイトの負荷テストを行ってくれるツールだ。規模によっては有料であるが、お試しサービスもあるので覗いてみるといいだろう。 ウェブでビジネスを行っているサイトにとって、負荷対策は言うまでもなく重要だ。サイトが1時間落ちただけで売上げがガクンと減ってしまうこともあるだろう。 そうした事態に備えるためにも、今のサイトがどこまでの負荷に耐えうるのかを調べ、十分な対策を練っておくべきだろう。 もちろんテスト後には詳細なレポートを見ることができる。ちゃんと見方も教えてくれるので勉強になる。 現在そこまで負荷対策が重要ではなくても、
iPhone用ユニットテストフレームワーク·iUnitTest MOONGIFT
ソフトウェアの品質を高めるのにテストは欠かすことができない。プロジェクトの後半になってテストに十分な時間を費やすのは難しいことも多いので、テストを自動化する仕組みをあらかじめ考えておく必要がある。有名なものとしてはユニットテストが挙げられる。 iPhoneアプリケーション開発者はぜひ 実際の動作までユニットテストで補うのは難しいが、それでもテストしやすいようにシステムを組み上げることでシステムの広範囲なテストと修正を容易にするだろう。iPhone向けアプリケーション開発者の方は、iUnitTestを使おう。 今回紹介するオープンソース・ソフトウェアはiUnitTest、iPhone向けユニットテストフレームワークだ。 iUnitTestの面白い点は、iUnitTestで出来上がるのもまたiPhone向けアプリケーションであるという点だ。コンパイルされたアプリケーションを実行するとiPhon
C(++)言語: valgrindの使い方
ubuntu% uname -a Linux ubuntu 2.6.12-10-386 #1 Sat Mar 11 16:13:17 UTC 2006 i686 GNU/Linux ubuntu% valgrind --version valgrind-3.0.1 (0) 目次 Valgrindに含まれるツール Memcheck: メモリエラーを検出する(default) Cachegrind: キャッシュミスを検出する Massif: ヒーププロファイラを使う まとめ valgrindの使い方とエラーメッセージを整理してみた。「valgrind --leak-check=full command」というコマンドラインをよく用いる。これによりメモリ周りのバグを検出出来る。 --tool=cachegrindではプログラム実行時のキャッシュミス率を測定する事が出来る。cg_annotateを
xbug.co.uk -
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
thoughts from the test eye » The Little Black Book on Test Design
日本語 : Jenkins
IBM Developer
トップページ
Google Code Archive - Long-term storage for Google Code Project Hosting.