静的解析 | 静的解析・単体テストツール C++test | テクマトリックス株式会社
近年の大規模・複雑化したプログラムにおいて、不具合の検出はますます困難になっています。 特にオーバーフローや未初期化変数の使用などのバグは、致命的な不具合につながるだけでなく、それに加えて複数のファイルにまたがる「特定のパス」を実行した時にのみ発生することもあり、デバッグでの検出には労力を要します。 さらに、どんなに時間をかけても目視によってすべての実行パスを検証することは、現実的ではありません。 静的解析ツールC++testでは、このような致命的なバグが潜んでいる場合でも、静的解析の「フロー解析」機能で、プログラムのあらゆるパスをシミュレートし、バグを早期に発見します。また、ソースコード品質の底上げに貢献する「コーディング規約チェック」機能を搭載しているため、バグの作りこみを抑制し、ソースコードの可読性と保守性を強化します。 静的解析とは静的解析は、ソフトウェアの解析手法の一種で、コード
退屈なブラウザ作業はSeleniumにやらせようーーはじめてでもできるブラウザ操作自動化 | メルカリエンジニアリング
こんにちは、メルカリのQA-SETチームで自動化をぶりぶりしている tadashi0713 です。 これまではモバイルアプリ・WebアプリのE2Eテストを中心に自動化をしていましたが、最近ではプロダクト部門・カスタマーサポート部門・コーポレート部門の業務自動化にも挑戦しています。 今回はSelenium WebDriver (以下 Selenium) を使って簡単にできるブラウザ作業自動化についてご紹介します。 10/25にGitHub JapanでLT発表した資料もありますので、合わせてご覧ください。 english-lt.connpass.com 意外と多い、ブラウザを使った繰り返し作業 社内の色々な職種・チームの方々とコミュニケーションをしていると、ブラウザを使った繰り返し作業が多く感じました。 例えば 社内で使用しているWebサービスのアカウントを社員に付与する Chartio(h
Sandboxieで動作検証を行なう
システムを不安定にしたくない場合、慎重に検証を行なう必要があります。しかし何か問題が起こってしまった場合に、テストしたいアプリケーションを入れる前に戻すためにシステムの復元を行なうのは手間がかかります。テスト目的であれば、システムを仮想化するSandboxieを利用するのがよいでしょう。自分はWindows7がBSODしまくった時に検証で使いました。あると便利なシステム系のツールだといえます。まあ、明らかに動かないものはWindows XPモードを利用するべきだと思いますが、Windows7に対応しているか微妙なものはWindows7で動けば儲け物なわけですから、検証に時間がかなり必要となるかもしれませんが試してみるだけのメリットはおそらくあるでしょう。 Sandboxie上のSandboxで実行すると、ファイルへの書き込みはすべてC:¥Sandbox¥%USER%¥%SANDBOX%に行
メモリーリークの検出：mtrace , valgrind：プログラマー社長のブログ：オルタナティブ・ブログ
以前の記事にもLinuxでのメモリーリークの検出に関する事を書いたのですが、もう少し一般的なやり方を紹介しましょう（というより、自分で毎回忘れるので備忘録として・・・）。 【mtraceを使う方法】 まず、mtraceを使う方法です。リークのテストを開始したい場所でmtrace()をコールし、終了したい場所でmuntrace()をコールするようにします。 #include <stdio.h> #include <stdlib.h> char *test() { char *test=malloc(10); return(test); } int main() { char *ptr; mtrace(); ptr=test(); //*(ptr+10)='\0'; //free(ptr); muntrace(); return(0); } -gつきでコ
イチから分かる、テスト自動化とSelenium | MagicPod Tech Blog | MagicPod: AIテスト自動化プラットフォーム
今日は、テスト自動化と、ブラウザ自動テストツールSeleniumについて、知らない方でも分かるようイチから解説したスライドを作ったのでご紹介します。 このスライドは、2014年2月28日に開催された「Enterprise × HTML5 Conference」の発表スライドに、時間の関係で省略した多数の未発表ページを加えたものです。 イチから分かる解説についてはこれで終わりですが、せっかくですのでスライドの見どころをご紹介しましょう。
CppCheckでC言語/C++のメモリリーク（解放漏れ）を静的解析で検出する。 · Futurismo
2 Oct, 2012 · by admin · Read in about 3 min · (1044 Words) CppCheck cygwin OSS 組込み 静的解析 メモリ解放漏れ・メモリ二重解放は組込みエンジニアにとって、背筋が凍る単語だ。 それは、即、残業しなさいという意味に転じる。 そこから、泥沼のデバッグにハマることがよくある。 そんな課題をスマートに解決するために、メモリ解放漏れやメモリ二重解放を検出するツール調べてみたので、メモメモ。 オープンソース CppCheckのインストールをしよう Cppcheckを使うことでメモリ解放漏れを静的解析で見つけることが可能だ。CppCheckはその他にも、アロケーション(確保と解放)の不一致（メモリ二重解放），バッファオーバーランの検出ができる。OSSなので、誰でも無料で利用可能。 CppCheckのダウンロードはココから C
意外と知らない Windows OS 標準の「ステップ記録ツール」
操作の手順を記録したいWindows 7 からアプリケーションの操作をステップごとに記録してくれる便利なツールが付属しています。それが、「ステップ記録ツール」です。 Windows 7 では、「問題ステップ記録ツール」という名称でした。Windows 8, 8.1, 10 では、「ステップ記録ツール」という名称で統一されています。 スタートメニューに表示されないため、知らない人も多いツールです。エンドユーザーで知っている人はまずいないでしょう。 このツールを利用することで、操作を記録して、その様子をまとめたレポートを作成してくれます。アプリケーションのユーザーさんから問い合わせがあったときに、手順を教えてもらったり、不具合の再現方法をいただく際に重宝します。 起動Windows の検索にて、「記録」や「ステップ」と入力してみましょう。「ステップ記録ツール」が検索結果に表示されます。 上図は
cppcheck 日本語情報トップページ - OSDN
C/C++用の静的解析ツールです。メモリリーク、アロケーション(確保と解放)のミスマッチ、バッファオーバーラン、さらに多くのチェックを行います。目標は、0%の誤認識としています。 ダウンロード 最新ダウンロードファイル cppcheck-2.7-x64-Setup.msi (日付: 2022-02-05, サイズ: 21.55 MB) readme.txt (日付: 2022-02-05, サイズ: 294 B ) cppcheck-2.7.zip (日付: 2022-02-05, サイズ: 4.06 MB) cppcheck-2.7.tar.gz (日付: 2022-02-05, サイズ: 3.76 MB) cppcheck-2.7.tar.bz2 (日付: 2022-02-05, サイズ: 3.07 MB)
AdLint
AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99. AdLint is written in Ruby. So, it is available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. Features Can poin
開発時に。送信内容が確認できるダミーのSMTPサーバ·smtp4dev MOONGIFT
smtp4devはWindowsローカル上に立てるダミーのSMTPサーバです。 システム開発においてメール送信を行う時はよくあります。SMTPサーバを立てたとして、間違って送信してしまうと大変な事態につながるかも知れません。そこで使ってみたいのがローカルで使えるダミーのSMTPサーバ、smtp4devです。 起動しました。まずはセキュリティ警告が出ます。 メイン画面です。この時点でポートは開いています。 オプションです。UIに関する設定です。 サーバ設定です。ポート番号はデフォルトで25です。 アップデートチェッカーもあります。 こんな感じで常駐します。 こんな感じでPHPからメールを送ってみます。 送信しました。すぐに反映されます。 さらに日本語件名のメールを送ってみました。文字化けせずに送信されています。 メーラーでメールの内容を確認できます。 さらに詳細を確認できます。 メッセージソ
テクマトリックス、ビルド自動化に組み込めるJava静的解析ツール新版を出荷
テクマトリックスは2011年12月20日、Javaソースコードの静的解析/単体テストツールの新版「Jtest 9.1」（写真）を出荷した。新版では、ビルドプロセスにJtestのテスト機能を組み込めるようにした。価格は、開発者向けの最下位版「Professional Edition」で49万8000円（税別）。開発会社は米Parasoft。 Jtestは、Javaアプリケーションを対象とした単体テストツール。あらかじめ設定されている1000個以上のコーディングルールを用いてソースコードを静的解析する（ルールの追加やカスタマイズも可能）。テストケースの作成/実行機能やカバレッジ機能、実行時エラーの検出機能なども提供する。 今回の新版では、コンパイル/リンクなどのビルドのプロセスにJtestのテスト機能を組み込めるようにした。具体的には、ビルド自動化ツールであるAntやMavenの組み込み機能（
入門ガイド — Google Test ドキュメント日本語訳
はじめに：なぜ Google C++ Testing Frameworkを使うのか¶ Google C++ Testing Framework を上手に活用すれば，より良い C++ のテストを書くことができます． Linux，Windows，そして Mac，あなたが C++ のコードを書いているこれらの環境に関係なく Google Test を利用できます． では，優れたテストを書くにはどうすればよいのでしょうか？Google C++ Testing Framework は，どのように役立つのでしょうか？我々は次のように考えています： テストには， 独立性 と 再現性 が必要です．別のテストの結果に依存して成功したり失敗したりするテスト，をデバッグするのは非常に面倒な作業です．Google C++ Testing Framework は，各テストを異なるオブジェクト上で実行することによって
C言語・C++言語用テスティングフレームワーク - Cutter
最新リリース 2019-09-13にリリースされた1.2.7が最新です。 [ダウンロード] [変更点] Cutterとは Cutterは書きやすさ・デバッグのしやすさを重視したC言語・C++言語用のテスティングフレームワークです。メンテナンスしやすく、利用効果の高い単体テスト（ユニットテスト）の開発を支援します。 また、テストを苦痛ではなく、楽しいものにすることも重視しています。スクリーンショットはテスト結果の通知機能を利用している様子です。文字としてテストのパス・失敗を伝えるだけではなく、視覚的にも通知することで、テスト結果をわかりやすくします。わかりやすいので、頻繁にテストを実行したくなります。この機能はnotify-sendコマンド（Linuxや*BSDなどの場合）またはgrowlnotifyコマンド（macOSの場合）を利用します。 動作環境 CutterはDebian GNU/L
革命の日々！ 静的解析ツール
Slashdotで静的解析ツールの話題がでていたので忘れないうちに転載。もう完全に自分用 静的解析ツールはそこそこ役に立つ． FindBugs [sourceforge.net] PMD [sourceforge.net] Lint4j [jutils.com] codewizard [techmatrix.co.jp] DevPartner Studio Professional Edition [compuware.co.jp] COReTOOL/PGRelief [fujitsu.com] QAC [toyo.co.jp] QAC++ [toyo.co.jp] などなど… C/C++向けで自由にルールが作成できるオープンソースの実装は無いものか． オープンソースの静的解析ツールでしたら、 Splint [splint.org] RATS [securesoftware.com] Un
Debian -- Error
ウェブサイトの問題を報告するには、debian-www@lists.debian.org にメールを送ってください。その他の連絡先に関する情報は、Debian のコンタクトページをご覧ください。 Content Copyright © 1997 - 2024 SPI Inc.; ライセンス条項をご覧ください。 Debian は SPI Inc. の登録商標です。 このサイトについてさらに詳しく知るには.
ブラウザ入力を自動化するスクリプト「OperaWatir」登場 | エンタープライズ | マイコミジャーナル
Opera’s newest Web browser introduces a new technology platform. Opera Softwareは20日(米国時間)、WebページやWebアプリケーションの自動試験を実施するためのツール「OperaWatir」を公開した。WebページやWebアプリケーションの動作試験は最終的に人の手によって実施されることが多い。これは試験の負荷になるのみならず、自動化できず開発効率を悪化させる原因にもなっている。 OperaWatirはこうした手動で実施している試験を自動化するためのツール。JRubyで動作させるRubyスクリプトになっている。OperaWatirのチュートリアルに掲載されているもっとも簡単なスクリプトは次のとおり。このスクリプトで、指定したURLを開くという操作が自動で実施されることになる。 require 'rubygems
C言語の単体テスト、いろいろ - ソフトウェアテストの勉強室
ある意味、餃子ブームだ。 == メールサーバってCだから、C向けのテスト手法はいろいろと調べたりすることが多いし、自分でツールを作ったりします。せっかく調べたので、C言語をターゲットとした単体テスト/ユニットテストツールを枚挙してみる。 CUnit http://sourceforge.net/projects/cunit/によるユニットテストフレームワーク。出力に「__FILE__」「__LINE__」を記載して、分析しやすく結果を表現する。XML出力モード（Automatedモード）で実行し、DTDとXSLスタイルシートによって、統計情報が見やすくなる。 CUnit for Mr.Ando 安藤利和さんによる「言語技術者のC言語技術者によるC言語技術者のための C言語テスティングフレームワーク」。ソースはhttp://sourceforge.jp/projects/cunitforan
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
cqual freecode日本語情報ページ - OSDN
Cppcheckで静的解析して、Jenkinsで表示してみる。 · Futurismo
cppcheck 日本語マニュアル | 一人ぼっちの共鳴
