InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

TypemockがIsolator 5.1.1およびRacerを発表

作者 James Vastbinder , 翻訳者 編集部 投稿日 2008年11月6日

セクション
デベロップメント
トピック
.NET ,
Artifacts & Tools ,
ユニットテスト

Typemock(リンク)は、その最新のツールであるIsolatorおよびRacerを発表した。それは、単体テストを記述する際に経験が浅いプログラマと熟練 のプログラマのギャップを埋めるものである。Typemockの製品は、Microsoft Visual Studio 2005、Visual Studio 2008およびVisual Studio Team System 2008をサポートし、あらゆるテストフレームワークと動作する。すべてのレベルのデベロッパが、コードをより迅速かつ容易に改善し、テストすることを可 能にする。

Typemock Isolatorを使えば、Microsoft SharePointか らWindows FormsやASP.NETにいたるまで、どんな種類の.NETアプリケーションテクノロジーに関わっていようとも、Microsoft Visual C#やVisual Basic .NETデベロッパは、単純なコンセプトおよびAPIを使用し、データベースやWebサービスまたはクラウドのリソースのようなコードの依存性を分離させ ることで、コードの単体テストを開始することができる。Isolatorは世界中の数千人のユーザによって実証済みのソリューションである。
 
Typemock Racerは、品質パラレルコードの開発を可能にする。デベロッパは非常にシンプルなAPIを使用して、ほとんど再作成やデバッグができないデッドロック や品種条件などの複雑なパラレルマルチスレッドコードの問題を検出し、視覚化し解決することができる。
 
「Typemockツールで、ユーザは単体テストがいかに単純であるかに気付き始め、テスト主導の開発(TDD)が開発プロセスの重要な一部となることを 感じている」 とTypemockの製品マネージャのGil Zilberfeld氏は言った。「ツールを単純にし、使用しやすくすることは、われわれがここでおこなっていることの大部分を占める。またそれが、デベ ロッパにおおいに役立つものになることを確信している」。

「Typemockの最新のリリースは、テストが開発ライフサイクルに統合されることがいかに重要かを示す最高の例である」とMicrosoft Corpのデベロッパ部門のVisual Studio Team Systemのグループ製品マネージャであるMatt Nunn氏は語った。「Typemockのツールは、Visual Studio Team Systemがすでに顧客に提供している拡張テストツールキットの上に構築する」。

Typemockツールのトライアル版(リンク)はここでダウンロードできる。

 

原文はこちらです:http://www.infoq.com/news/2008/11/typemock-isolator-racer

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。