身につけておきたいWebサイト高速化テクニック #2｜検証ツールとそもそもHTTPって何だ編 | DevelopersIO
第1回のアジェンダ編では、高速化に関わる要因と解決策の全体像を紹介しました。 アジェンダ編にもかかわらず多くのブックマーク、シェアをいただきありがとうございます！ 余談ですが、記事にブックマーク、シェアをしていただくと、このブログでは執筆者に経験値がたまるような仕組みになっています。 たくさん経験値を貯めると四半期ごとに良いことがあるかもしれないので、気が向いたらこの他の執筆者の記事もシェアしていただけるとうれしいです。 言葉にせずとも、わかっていただけると思いますが、この記事も・・・ね？ 右上にあるボタンをちょちょっと。 本題 余談はさておき、本題に入りましょう。 今回は「無駄なリクエストとレスポンスの削減」に視点を置き、解決策について調査、計測して紹介してみたいと思います。 と思ったのですが、長くなりすぎたため、まずは「検証ツールとHTTPについて」紹介することにしました。 この記事の
「見られない」の前に...マイクロソフト発のサイト検証ツール「modern.IE」が開発者を救う？ | ライフハッカー・ジャパン
考えた末に、IEの生みの親であるマイクロソフトは、ひとつのサービスを提供することに決めました。それがウェブサイトチェックツール「modern.IE」。先駆けて英語版をリリースしていましたが、本日4月4日より、日本語版の提供も開始されました。 とはいえ、このツールは決してデベロッパーだけのものではないと思います。開発者とやり取りする企業のウェブ担当者、あるいは一人ひとりのユーザーにも使い道があるようです。どのようなことができるのか、早速使ってみましょう。 modern.IEが「なんとかしてよ」を解決しやすくしてくれる メインの機能は2つ。まずは、最新版IEとの互換性や、多様化するブラウザ環境に適応できるかをチェックする「Webページをスキャンする」機能。もうひとつは、WindowsやMac、あるいはスマートフォンなどでの動作を「仮想環境で検証する」機能です。 「Webページをスキャンする」機
イベントフロー検証ツール | Diaspar Journal
松屋は、全国に1,100店舗以上を展開する牛丼・定食のチェーン店です。牛丼などの丼ものとカレーには味噌汁が無料で付いてくるのがうれしいサービスです。 松屋では券売機が導入されていますが、ｄ払いを利用することができます。 松屋で一番お得なクレジットカードは、ｄカード・ｄカード GOLDです。ｄ払いを利用することで、ポイントの3重どりができ2.0％還元を実現できます。 松屋 支払い方法では、クレジットカードや、電子マネー、バーコード・QRコード決済など多くのキャッシュレス決済を支払いで利用することができます。松屋 ペイペイも導入されています。 松屋の支払いで利用できる決済方法
はじめに 皆さん、SQLチューニングしてますか？（唐突） 私は仕事柄RDBMSのSQLチューニングをすることが多いのですが、たまにチューニングの一環で SQL文の書き換え をすることがあります。 その際に問題になるのが、書き換えたSQL文が等価であるかどうかの確認が大変なことです。 SQL文を書き換えた場合には、想定通りの結果を取得できるか確認するために、テストをやり直す必要があります。 これが開発早期のフェーズならまだましなのですが、結合テスト以降だと手戻りも多くかなりコストがかかりますし、既に本番運用が始まったシステムともなると、テスト自体が困難なこともあります。 また、複雑なSQL文だと網羅的なテストケースを作成すること自体が困難であるため、完全に正しいと確信することはできません。 なので、SQL文の書き換えの正しさを証明する良い手段はないかと考えていました。 SQLチューニングとは
はじめに タイトルにもある通り、最近 Web アクセシビリティ (以下アクセシビリティ) の検証ツールを作っています。この記事では作るにあたったモチベーションや、現時点での機能、今後の展望についてまとめます。 モチベーション アクセシビリティを評価しようとすると Lighthouse にも付随する axe のようなツールを用いることが多いと思います。axe は WCAG 2.0 や WCAG 2.1 に則った数多くのルールを持ち、アクセシビリティに関する問題発見を支援してくれます。Lighthouse 以外では、axe をモジュールとして使えることはもちろん、Chrome の Extension などからも実行可能で、ユースケースに合わせた柔軟な利用ができます。 ただ、検証精度はどうかというと少し物足りなさを感じる部分があります。例えば以下のような例です。 <div role="butto
公開日 : 2023年9月22日 カテゴリー : アクセシビリティ 「Stark」というウェブアクセシビリティ検証ツールがあります。各種ブラウザ (Chrome、Firefox、Safari、Edge) の拡張機能として、あるいは各種デザインツール (Figma、Sketch、Adobe XD) のプラグインとして、色覚シミュレーションや色のコントラスト比のチェックができるツールとして以前から知られていましたが、現在は、それ以外にもアクセシビリティに関する様々なチェックができるようになっています。 この記事では、Stark で可能なウェブアクセシビリティ検証について、Chrome 拡張機能を例に、無料プランで使える機能をご紹介します。 Chrome 拡張機能で Stark を開いたところ。 機能一覧 (Contrast、Typography、Alt-Text、Touch Targets、F
「TCP/IPに係る既知の脆弱性検証ツール」の公開
4/9をもちまして、本ツールの新規の貸出しを終了しました。 本件についてのご質問、お問合せは、本ページ下部の問合せ先までお願いします。 コンピュータをはじめとしたインターネットに接続する電子機器には、TCP/IPソフトウェアが組み込まれています。近年では、情報家電や携帯端末などの組込み機器にも使われるようになり、TCP/IPソフトウェアは広く利用されています。 IPAは、TCP/IP実装製品開発者向けに、TCP/IPを実装したソフトウェアの脆弱性を体系的に検証し、新たに開発されるソフトウェアでの既知の脆弱性“再発”防止のためのツール、「TCP/IPに係る既知の脆弱性検証ツール」を開発し、2008年2月6日より公開しています。 本ツールは、「TCP/IPに係る既知の脆弱性に関する調査報告書 改訂第5版」に記載している30項目の脆弱性のうち、IPv4(Internet Protocol Ver
リッチスニペットからリッチ検索結果（リッチリザルト）へ。構造化データの新しい検証ツールをGoogleが公開
[レベル: 上級] リッチスニペットにも使われる構造化データを検証するための新しいツールを Google は公開しました。 Introducing Rich Results & the Rich Results Testing Tool 名称を「リッチリザルト」に統一 構造化データを利用した検索結果の特別な表示形式の種類として、Google は複数の用語を用いていました。 リッチスニペット (rich snippets) リッチカード (rich cards) エンリッチ検索結果 (enriched results) 公式ドキュメントにおいては今後は、「リッチリザルト (rich results)」に名称を統一します。 【UPDATE】 この記事を公開した時点では日本語訳として「リッチ検索結果」が当てられていましたが、ほどなくして「リッチリザルト」に変更されました。 リッチリザルト テスト
米マイクロソフトが2013年1月31日に発表したWeb開発者向けのツールセット「modern.ie」について、日本語版を3月に公開することがわかった。日本マイクロソフトでInternet Explorerのマーケティングを担当するWindows本部 シニアプロダクトマネージャーの溝口宗太郎氏（写真1）が明らかにしたもの。 modern.ieは現時点では英語版のみが提供されている（写真2）。溝口氏によれば「現在日本語化を進めており、3月中には発表できる見込み」とのことだ。 溝口氏はmodern.ieの説明にあたって、Webサイト開発の現状を分析。「レガシーIEの存在」「対応プラットフォームの増加」「環境構築の困難さ」といった点がWeb開発者の負担になっていると指摘する。 マイクロソフトではInternet Explorerの「6・7・8」を「レガシーIE」と呼称し、現在のWindows 7に
World Wide Web Consortium（W3C）は、携帯機器向けWebサイトを検証できるツール「W3C mobileOK Checker」のα版を公開した。 「W3C mobileOK Checker」は、より多くの機器から携帯サイトを閲覧できるよう、コンテンツ制作を支援する目的で提供される。検証は、「W3C mobileOK Basic Tests 1.0」の勧告候補に基づいて検証されるが、その内容は2006年6月に発表された技術指針「Mobile Web Best Practices 1.0」をベースにしている。「W3C mobileOK Checker」はWebサービスとして公開されており、URLを入力する形になっている。テストを行なう際には対象となるページをWebサーバー上に掲載し、URLを指定すると、タグの記述などが検証される。 W3Cでは、今回公開した「W3C mo
JavaScriptの検証ツールJsTester 1.4が登場 - JDK6 javax.scriptをサポート | エンタープライズ | マイコミジャーナル
The JsTester teamは26日(米国時間)、JsTesterの最新版となる「JsTester 1.4」を公開した。JsTesterはJavaで実装されたJavaScriptソースコードバリデータ。JUnitに用意されているAssertのようなアサートメソッドを提供しているほか、Remedial JavaScriptにおいて記載されているバリデーションを実施することができる。もちろん、自身でバリデーションを規定して使うことも可能だ。 1.4は同アプリケーション5度目のパブリックリリース。JDK 6のjavax.scriptがサポートされたほか、JsTestCase/GroovyTestCaseが追加されている。ソースコードはApache License Version 2.0のもとにオープンソースソフトウェアとして公開されており、提供されている成果物には、ソースコードの形式のほか
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます Microsoftは、セキュリティチームが既知の攻撃シナリオを再現し、Microsoftの主なセキュリティ製品がどれだけ対応できるかをテストするためのオープンソースプロジェクト「SimuLand」を公開した。 SimuLandは、セキュリティ研究者がMicrosoft製品の守りをテストするための実験環境だ。研究者がこのフレームワークを使用すれば、「Microsoft 365 Defender」「Azure Defender」「Azure Sentinel」の攻撃検知能力をテストし、検証することができる。 Microsoftは、このプロジェクトの目的は、セキュリティチームが攻撃の手口を構成している行動や技術を理解し、攻撃者が取る行動の前提
ウェブアクセシビリティ検証ツール「axe」を用いた自動テスト実行スクリプト | Accessible & Usable
公開日 : 2021年2月23日 (2022年7月1日 更新) カテゴリー : アクセシビリティ Deque Systems, Inc. が開発、公開している、「axe」というウェブアクセシビリティ検証ツールがあります。Chrome、Firefox、Edge の拡張機能がリリースされており、各ブラウザの開発者ツールで使用することができます。 ウェブアクセシビリティ検証ツール「axe」(Chrome 拡張機能) の表示例 axe はとても便利なツールですが、ブラウザの拡張機能として使用する場合、1ページずつ開いてアクセシビリティを検証する、という形になります。検証対象サイトのページ数が多い場合、面倒に感じることもあるかもしれません。 axe では、コアエンジン「axe-core」もオープンソースで公開されているので、これを応用することで、ブラウザ自動操作ツールを介してウェブサイト (複数のウ
小池知事「核武装容認」サイトから削除？ 検証ツールで確認すると… 新党「希望の党」を立ち上げた小池百合子都知事が、自らのサイトから「核武装」の容認を含む過去の主張を削除した…？！ そんな情報が９月末、ネットを駆け巡りました。果たしてそれ、本当ですか？ 全世界のウェブページの過去を探ることができるWayback Machineで検証しました。
序論 Serverspec がmizzy氏によってリリースされたのは2013年3月のことです． そこから5年間でインフラエンジニアの皆さんはクラウド化やセキュリティの機運が高まって 仕事内容が大きく変わったという方も多いのではないでしょうか？？ Serverspecの誕生はインフラ構成の自動化の夢を見ていた人類にとって十分すぎるインパクトを与えたと思います． そして，Ansible,Chefなどの構成管理フレームワークの台頭と相まって運用には欠かせない最高のツールとなりました． サーバー構成のテストを目視確認で行う人類に比べると大きく進化しました． その自動化は複雑性を伴うものではなく自動化を加速させるほどシンプルで美しいものでした． テスト駆動インフラの流れ これから書くインフラコードに対するテストコードを記述する インフラコード適用前のVMに対してテストを実施し失敗することを確認する
日本マイクロソフトは2013年4月3日、Webサイト検証ツール「modern.ie」の日本語版サイトを公開した（写真1）。 modern.ieは、Internet Explorerのバージョン間の違いに起因するWebサイトの問題点を自動的にスキャンするツールや、Webサイトのデバッグやテストに利用できる仮想環境を提供するサービス。1月末に英語版サイトを公開していたが、同日より日本語版も利用できるようになった（関連記事：マイクロソフト、Webサイト検証ツール「modern.ie」の日本語版を3月に公開）。日本語版では、メニューやスキャン結果のメッセージ、Web標準やクロスブラウザに対応するためのTips集などが日本語化された（写真2）。 Internet Explorerについて、Microsoftが「レガシーIE」と位置付けるバージョン6～8と、現行世代のバージョン9～10の間には互換性の
概要 PHPでの開発は行なっているけどソースの品質を向上させるためのアプローチがけっこう停滞している。 unoh.github.com by unohを参考にさせてもらって そのためのソースに対して解析を行えるツールを試しに利用してみる。 環境 試した環境は、さくらのVPSで OSは、CentOS v5.5。 phpは、v5.3.8。 Apacheは、 v2.2.21。 導入してみたツール phpcpd sebastianbergmann/phpcpd · GitHub コードの中でコピー&ペーストで記述されている部分の検出してくれるツール。 phpdcd sebastianbergmann/phpdcd · GitHub どこからもコールされていないファンクションが無いかをチェックするためのツール phploc sebastianbergmann/phploc · GitHub phpの
Windows SQL Server 2005サポート終了の4月12日が迫る、報告済み脆弱性の深刻度も高く、早急な移行を
はじめに ProVerifとは、INRIAが開発したセキュリティプロトコルを形式検証するツールである。この記事ではProVerifによるプロトコルの形式検証のやり方の基礎を解説する。なお、この記事では2015年10月時点での最新版であるProVerif 1.91について解説する。 この文章を読んで何か気がついたことがあったら、コメントなどで気軽に指摘して欲しい。 インストールと入手 次のようにインストールできる。また、現在はEmacs用のモードが提供されているので、Emacsも併せてインストールするといいかもしれない1。 OS X
Rustの形式検証ツールCreusotを触ってみる
概要 Rustの形式検証ツールCreusotを触ってみた備忘的まとめ Creusotとは github 論文 CreusotはRustの形式検証、演繹的検証(Deductive Verification)のためのツールです。Rustのソースコード中にプログラムが満たす仕様を記述し、形式的に検証することができます。 形式検証では、proptestなどによるプロパティテストとは異なり、プログラムが仕様を満たすことを数学的に厳密に検証します。したがって、コーナーケースを見落とすようなことがありません。また、同様に厳密な検証を行うkaniなどのモデル検査よりも複雑な命題についての検証ができます。kaniのブログ記事に"subway map"という名前でRustのテスト・検証手法をいくつかまとめた図がありますが、この中ではPrustiと並んで最も右に位置する「重量級」の手法です。 CreusotはR
『ウィンドウズ』の安定性を高めるドライバー検証ツール 2005年11月16日 コメント： トラックバック (0) Simson Garfinkel 2005年11月16日 これまでに起こったウィンドウズのクラッシュの多くは、オペレーティング・システム(OS)自体ではなく、デバイスドライバーのバグに起因することがわかっている。デバイスドライバーとはプログラムの下層にあって、キーボードやハードディスク、モニター、ネットワークカードのような周辺機器とOSとのやりとりを可能にするコードだ。 デバイスドライバーはOSの中の深いところで動くため、コードを書くのも難しいし、デバッグも難しい。そしてデバイスドライバーが正しく動かないと、コンピューター全体が止まる場合もある。米マイクロソフト社の基礎研究部門であるマイクロソフトリサーチの研究員トム・ボール氏は「デバイスドライバーが正常に動かなければ、OS全体
「WAVE」には、オンライン版、Firefoxアドオン（ツールバー）、Dreamweaver機能拡張（ベータ版）、という3つの形式が用意されています。個人的には、Firefoxアドオン（ツールバー）を愛用していますが、開発/検証環境やシチュエーションに応じて、使いやすいものをチョイスすればよいでしょう。 数あるアクセシビリティ検証ツールの中で、「WAVE」の特長を挙げるとすれば、以下のようなことが言えると思います。 特定の仕様やガイドライン（WCAGやリハビリテーション法508条など）に対する適合性をバリデートするものではない（WebAIMの考えかたとして、WAVEは「goes beyond guidelines」であると謳っています。仕様やガイドラインよりも、実際にサイトを使うユーザー観点からの実質的な検証ができることを重視しているツールと言えるでしょう）。 人力によるアクセシビリティ評
W3Cがウェブ検証ツールUnicornをリリース
Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
ITP 2.2のリンク装飾に関する制限と、ITP 2.3のリファラへのリンク装飾に対する制限について検証を行いました。検証のためのツールを作ったので解説します
ウェブアクセシビリティ検証ツール「WAVE」(2019年10月アップデート版) | Accessible & Usable
公開日 : 2019年12月29日 (2023年9月6日 更新) カテゴリー : アクセシビリティ 米国の非営利団体 WebAIM (Web Accessibility in Mind) が開発しているウェブアクセシビリティ検証ツール「WAVE」が、2019年10月にアップデートされました。 検証対象のウェブページ上で「どこが問題か」をグラフィカルにオーバーレイ表示してくれるので、とっつきやすい (開発者以外のプロジェクト関係者ともビジュアルで情報共有しやすい) のが特長です。私自身、かれこれ10年以上 WAVE を愛用していますが、アクセシビリティ評価の最初の段階で、粗くチェックする (見出し構造、画像の alt、箇条書きやテーブル、フォームのラベル、aria 属性など、問題になりそうなところをざっと見て当たりをつける) のに重宝しています。 今回の WAVE のアップデートでは、UI
大規模プロジェクトの静的検証ツール（ESLint）を見直して整備した話 - Link and Motivation Developers' Blog
はじめまして、新卒でリンクアンドモチベーションに入社し、未経験からエンジニアをして4年目になります小宮です。入社して以来、一貫してモチベーションクラウドの開発業務に従事しております。 今回、そんな僕が3ヶ月ほどソロプロジェクトとして取り組んでいたESLintの整備PJTについて、まとめていきたいと思います。 整備前の状態 Phase1 - 既存ルールを適用 Phase2 - パッケージ群のアップデート Phase3 - huskyとlint-stagedの導入 最後に 整備前の状態 元々試験運用的に一度導入したことがあったのか、エラー解消に至っていない、対応が必要なルールを暫定的にOFFにするというコメントが設定ファイルに記載されており、ほぼESLintがワークしていませんでした。そのため、人によってコーディングの差異が発生しており、 フロント横断組織*1に所属しているメンバーが各々のチー
URL変更のお知らせ NEC通信システム「Ｃ言語プログラム品質検証ツール - Review-C」のURLは以下へ変更となりました。 「お気に入り」または「ブックマーク」されてる方は変更をお願いします。 新URL http://www.ncos.co.jp/products/rec/ このページは5秒後に自動で新URLへジャンプします。 ページが変らない方は恐れ入りますが上記URLをクリックしてください。
米Microsoftが出資する非営利オープンソース団体The Outercurve Foundationは8月24日（米国時間）、最新のプロジェクト「OData Validation」を発表した。Webデータプロトコル「OData（Open Data Protocol）」の普及を図る狙い。 OdataはMicrosoftが2009年に正式発表したAtomPubの拡張で、Webにあるデータのクエリや更新を行うことができる。Microsoft以外に、独SAP、米IBM、米Netflixなどが利用しているという。 OData ValidationはMicrosoftが開発した技術で、開発者は作成したOData実装サービスが仕様に沿っているか、またODataクライアント側との相互運用性が実現されているかを確認できる。同プロジェクトは現在アルファリリース段階にあり、今後オープンソースで開発を進める。
IPA、「TCP/IPに係る既知の脆弱性検証ツール」を公開
IPA/ISEC（独立行政法人 情報処理推進機構セキュリティセンター）は2月6日、「TCP/IPに係る既知の脆弱性検証ツール」を公開した。インターネットに接続する電子機器の情報セキュリティ対策を推進することを目的に、TCP/IPを実装する製品の開発者向けに無償で貸し出しを行う。 コンピュータをはじめとしたインターネットに接続する電子機器には、TCP/IPソフトウェアが組み込まれており、近年では情報家電や携帯端末などの組込み機器にも採用されている。しかし、TCP/IPを実装したソフトウェアには、これまで多くの脆弱性が確認されている。 発見された脆弱性はその都度公表され、機器ごとに対策が施されている。しかし、こうした脆弱性を体系的に検証するツールが整備されてこなかったことから、新たに開発されるソフトウェアで、すでに公表されている脆弱性の対策が実装されず、脆弱性が「再発」するケースが見受けられる
トレンドマイクロ製品のドライバーでWindowsの「ドライバーの検証ツール」実行の有無をチェックするコードが見つかる | スラド セキュリティ
headless曰く、 複数のトレンドマイクロ製品が共通して使用するドライバーで、Windowsの「ドライバーの検証ツール」が実行されているかどうかチェックするコードが見つかったそうだ（Bill Demirkap's Blog、The Register、Demirkapi氏のツイート）。 発見したセキュリティ研究者のBill Demirkapi氏は当初、トレンドマイクロのルートキット除去ツール「ルートキットバスター」で逆にルートキットをインストール可能な脆弱性が存在しないか調べようとしていたという。しかし、ルートキットバスターに含まれるドライバー「tmcomm.sys（TrendMicro Common Module）」が他のトレンドマイクロ製品でも使われることに気付き、こちらに絞って調査を行ったとのこと。 Demirkapi氏はtmcommを通じて任意のカーネルメモリを読み書き可能になる
ドライバー検証ツールは、Windows 2000 以降のすべてのバージョンの Windows に含まれています。 これは、システムの破損、エラー、またはその他の予期しない動作を引き起こすことが知られている多くのドライバーの問題を検出してトラブルシューティングするために使用されます。 この記事では、ドライバー検証ツールを使用して、システム内のドライバーを分離してトラブルシューティングする方法について説明します。 適用対象: Windows Server 2012 Foundation、Windows Server 2012 Essentials、Windows Server 2012 Standard、Windows Server 2012 Datacenter 元の KB 番号: 244617 ドライバー検証ツールの機能 ドライバー検証ツールを使用するには、Verifier.exe を実行
IPA、TCP/IPに関する脆弱性検証ツールの機能を強化
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます 独立行政法人情報処理推進機構（IPA）は1月8日、「TCP/IPに係る既知の脆弱性検証ツール」の機能を拡張した。同日よりCD-ROMで貸し出している。 このツールは、新たに開発されるソフトウェアに脆弱性がないよう、機知の問題を検証できるというもの。2008年2月6日に公開されていた。 今回の機能拡張では、IPv4環境における「IPヘッダオプションのデータ長が0のパケットの問題」、IPv6環境における「十分に小さい分割パケットがフィルタリングをすり抜ける問題」「パケット再構築時にバッファが溢れる問題」「ICMPヘッダでカプセル化されたパケットがファイアウォールを通過する問題」を検証できるようにした。 また、ツールの機能拡張に合わせて、「T
IPA（独立行政法人情報処理推進機構、理事長：西垣 浩司）は、マルチメディアデータを端末間でリアルタイムに双方向通信するための標準的な通信開始手順であるSIP（Session Initiation Protocol）に関して、「SIPに係る既知の脆弱性検証ツール」の開発を行い、2009年4月23日よりSIP実装製品の開発者向けに、CD-ROMでの貸し出しを開始しました。 併せて、「SIPに係る既知の脆弱性に関する調査報告書」の改訂を行い、改訂第2版をIPAのウェブサイトで公開しました。 SIP(*1)は、マルチメディアデータを端末間でリアルタイムに双方向通信するための通信開始プロトコルとして、コンピュータをはじめ、情報家電や携帯端末などの組込み機器へも使用が広まっています。 SIPを実装したソフトウェアには、これまで多くの脆弱性が発見・公表され、機器ごとに対策が施されてきました。しかし、こ
発注者のためのアクセシビリティ簡易チェックシートと検証ツール 仕様書に「ウェブアクセシビリティ対応」と記載してあるにもかかわらず、公開されたサイトがアクセシビリティに対応しておらず、ご担当者も気づいていないケースをよく見かけます。発注者の方の多くは、ウェブサイト選任というわけではなく、アクセシビリティを勉強してサイトを確認する時間を作るのが難しいのではないでしょうか。 そこで、簡単にウェブアクセシビリティがチェックできるチェックシートと検証ツールをご用意しました。 まず、以下のどちらかのチェックシートをダウンロードまたは印刷し、お手元にご用意ください。 ＜ケース1＞ウェブ制作会社が間違えやすい部分のみ手早く確認したい（11項目） 新：＜高速＞簡易チェックシート （excel版 40.0KB）※一部等級ＡＡ ＜ケース2＞JIS X 8341-3:2010の等級Aのポイントを理解しながら確認し
ホーア論理を拡張しポインタを扱える「Separation Logic」、静的検証ツール「Infer」でMonoidics社が実用化
ホーア論理を拡張しポインタを扱える「Separation Logic」、静的検証ツール「Infer」でMonoidics社が実用化 英Monoidics 取締役兼共同創業者 Peter O'Hearn氏 CTO兼共同創業者のCristiano Calcagno氏 静的検証ツールの分野で新たなタイプの製品が登場した。メモリー関連エラーの検出に特化した英Monoidics社の「Infer」だ。「Separation Logic」という近年開発されたソフトウエア科学の研究成果を活用している。従来の一般的な静的検証ツールよりも正確に、メモリーリークなどのメモリー関連エラーをチェックできるのが特徴だ。 メモリーリーク検証ツールといえば、米IBM社の「Rational Purify」が著名だが、Purifyは静的検証ツールではなく、実際に対象となるソフトウエアを実行しながらメモリーリークを検出する動的
富士通研究所がNASAのJavaプログラム検証ツールを拡張、数万行のWebアプリの自動検証に成功 | OSDN Magazine
富士通研究所（本社：川崎市）と同社の米国法人は2010年1月12日、オープンソースのJavaプログラム検証ツール「Java PathFinder」を拡張し、文字列型データの自動検証に対応させる技術を開発したと発表した。従来の手作業のテストに比べて検証の網羅性を大幅に向上できるという。 「Java PathFinder」は、ソフトウェアが正しく開発されたかを確認するプログラムの検証ツールで、米航空宇宙局（NASA）が開発した。火星探査機の制御システムの検証などに使われ、2005年にオープンソース化された。与えられたJavaプログラムのソースコードに対して具体的なテストデータを与えなくても、入力データのさまざまなバリエーションによって引き起こされる動作を自動的に実行する機能（シンボリック実行モード）を備える。 しかし、これまで同機能には数値型のデータしか扱えないという制限があり、業務アプリケー
■超直感！MT4(MQL)プログラミング講座■ メタトレーダー４(Metatrader4,MT4)を用いた 自動売買プログラムの作成(ExpertAdvisor,EA)と、 毎日のチャート作りに欠かせない オリジナルのインディケーター(CustomIndicator,CI)の 作成・研究を行っています。 EA製作依頼も承っております。 PR カレンダー <<9月>> 日 月 火 水 木 金 土 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 ブログテーマ一覧 ブログ ( 76 ) 日記 ( 3 ) FX ( 2 ) Metatrader4(MT4) ( 11 ) Kirin's コラム ( 4 ) ExpertAdvisor ( 2 ) CustomIndicator ( 3
McAfee Avert Labs Blog 「Conficker Worm using Metasploit payload to spread」より January 15，2009 Posted by Xiao Chen 最近になって，ワーム「W32/Conficker」の分析用サンプルを新たにいくつか入手した。調査の結果，同ワームは最近話題の「MS08-067」（関連記事：Windowsの「緊急」脆弱性を突くウイルスが続出，パソコンを乗っ取られる恐れ）のぜい弱性を突き，セキュリティ検証ツール「Metasploit Framework」のモジュール「ms08_067_netapi」を流用して拡散を図っていた。以下は，ワームから送信されたトラフィック・パケットのキャプチャ（スナップショット）だ。 上記の画像から明らかな通り，このパケットにはms08_067_netapi.rbの「Rex:
女のモテ度検証ツール「女試し。」、バンダイが独身男性1000人アンケートの結果を商品化（MarkeZine） - Yahoo!ニュース
女のモテ度検証ツール「女試し。」、バンダイが独身男性1000人アンケートの結果を商品化 1月14日12時5分配信 MarkeZine 20〜30代の大人の女性をターゲットにした新商品「女試（おんなだめ）し」は、男性が女性にしてほしい行動・仕草・ファッションなど、“男ゴコロ”にまつわる問題に回答することで、ユーザーがどれだけ男性の深層心理を理解しているかを“モテ指数”＝「moteQ（モテキュー）」で算出。繰り返しチャレンジすることで、“モテ力（りょく）”アップにもつながるというツール。 遊ぶときには、「女試し。」「イケメン釣り」「モテクイーン決定戦」「あなたで女試し。」の4つのモードの中から選択することができる。基本の「女試し。」モードは、4択問題となっており、男性からの支持が最も高いと思われる答えを選ぶと、終了時に「モテ指数＝moteQ」が表示される。 「イケメン釣り」モードは、36種
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SQL等価性検証ツールCosetteを使ってみた - Qiita
Web アクセシビリティの検証ツール acot を作ってる - wadackel.me
ウェブアクセシビリティ検証ツール「Stark」 | Accessible & Usable
マイクロソフト、Webサイト検証ツール「modern.ie」の日本語版を3月に公開
W3C、携帯サイト検証ツール「mobileOK Checker」公開
マイクロソフト、セキュリティ環境の検証ツールをオープンソースで公開
小池知事「核武装容認」サイトから削除？ 検証ツールで確認すると…
Flash/AIR用ゲーム開発ツール「Adobe Game Developer Tools」発表 待望の検証ツールも公開！ Flashゲームの開発環境をフルサポート
Goss 入門 迅速かつ簡単なサーバー検証ツールの使い方 - じゃあ、おうちで学べる
日本MS、Webサイト検証ツール「modern.ie」の日本語版を公開
PHPのソース解析用の便利な検証ツール導入 - n-sega's blog
IPA、「TCP/IPに係る既知の脆弱性検証ツール」を無償貸し出し
セキュリティプロトコルの形式検証ツール“ProVerif” - Qiita
『ウィンドウズ』の安定性を高めるドライバー検証ツール | WIRED VISION
アクセシビリティ検証ツール「WAVE」 | Accessible & Usable
ITP 2.2, 2.3の検証ツールを作ってみた | PLAID engineer blog
NEC通信システム「Ｃ言語プログラム品質検証ツール - Review-C」 URL変更のお知らせ
米Microsoft、Webデータプロトコル「OData」検証ツールをオープンソースに | OSDN Magazine
ドライバー検証ツールを使用して問題を特定する - Windows Server
SIPの脆弱性に関する検証ツールを公開：IPA 独立行政法人 情報処理推進機構
20分でできる簡易チェックシート用検証ツール - 情報バリアフリーポータルサイト
【β版】裁量トレード検証ツール TradeTeste公開｜■超直感！MT4(MQL)プログラミング講座■
ワーム「Conficker」，拡散にセキュリティ検証ツール「Metasploit」のペイロードを流用