富士通研究所など、Javaプログラムを網羅的に検証する新技術－NASA製ツールを拡張
Fujitsu Laboratories of Americaと株式会社富士通研究所は1月12日、Javaプログラムを網羅的に検証する新技術を開発し、Webアプリケーション数万行の検証に成功したと発表した。米NASAが開発したJavaプログラム向け検証ツール「Java PathFinder」を拡張し、数値型の入力データだけでなく、文字列型の入力データを効率よく扱えるようにすることで実現している。開発した技術の一部は、オープンソースとして公開される。 Java PathFinderでは、与えられたJavaプログラムのソースコードに対して、具体的なテストデータを与えなくても、入力データのさまざまなバリエーションによって引き起こされる動作を自動的に実行する「シンボリック実行モード」を備えている。これによって、動作条件をすべて効率的に実行するテストデータの生成や、プログラムが指定されたアプリケーシ
TEF有志によるTestLink日本語化プロジェクト - TestLinkJP
How to Write a Thesis on T-Building A strong introductory paragraph starts with a hook that grabs the reader’s attention. Then, it provides details that lead to the thesis statement. The T Building—formerly the Triboro Tuberculosis Hospital in Queens, New York —is now affordable and supportive housing. It’s also a model for adaptive reuse of historic buildings. Adaptive Reuse of an Historic Buildi
連載：きちんと学びたいテストエンジニアのためのTestLink入門｜gihyo.jp … 技術評論社
第3回次期バージョン1.8に見るTestLinkの過去・現在・未来 TestLink日本語化部会 2008-10-17
Page not found - ファイヤープロジェクト
The page you are trying to reach does not exist, or has been moved. Please use the menus or the search box to find what you are looking for.
ウノウラボ Unoh Labs: 「２流のテスター」は要らない！(2)
こんにちは！ やまもと＠テスト番長です。 その1を書いてから間が空いてしまいました。 No More Second Class Testers! という面白いコラムを、引き続きご紹介しましょう。 なぜ１流のテスターでなければいけないか テスターは商品開発における重要な役割を果たします。 テスターは開発中の製品の情報とテストに関する情報を提供します。 テスターには少なくとも3種類の相手（客）がいます。 ・開発者には、分かりにくい箇所、テスタビリティ、そして動作しない箇所について報告します。 ・ユーザーには、サポート係を通して製品の情報を提供します。 ・開発マネージャーには、リリースのリスクについて情報を提供します。 １流のテスターは、コードが書かれている前にシステムのデザインとアーキテクチャを評価することができるくらいクリエイティブです。 コーディングが進む間、テストの準備を整えます
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
InfoQ: コードカバレッジには要注意
IBM Developer
