4章 ソフトウェア技術者のためのセーフティ設計
ソフトウェアテスト技術（関西テスト設計コンテスト予選基調講演）
... テストアーキテクチャ設計は構想の工程 • テストアーキテクチャ設計は、論理立てや現実化、実証が 容易になるように分割・整理するなど全体像を構想する工程 – VSTePでは、テストコンテナという考え方で分割・整理して構想していく – 俯瞰性やバランス、凝集度、結合度、保守性などが特に重要になる ...
29
RExcel ： ExcelでRを使う R and RExcel ソフトウェア品質技術者のための「データ分析勉強会」
... すが、このときセキュリティレベルが初期設定 の「高」では、アドインをインストールできな くなります。引き続き、いくつか注意事項が 表示されますので、内容を確認しながら［OK］ を押して先に進み、最後の画面で［Finish］を 押せば RExcel のインストールは完了です。 次に、RthroughExcel のワークブックをイン ストールします。6 ...め の コ ...
6
ソフトウェアストレージStoreVirtual VSAを試すための技術資料
... • VSA for vSphereと他の仮想マシンを同じVMFSデータストア上に共存させること。 • 既存のStoreVirtual Storage上でVSA for vSphereを実行することは推奨しません。 • StoreVirtual VSAは、仮想ネットワークインターフェイスのボンディングはサポートしてい ...
57
CRAN公式ドキュメント（日本語版） Tips ソフトウェア品質技術者のための「データ分析勉強会」 R admin jp
... R のバイナリーが ‘R HOME/bin’ ディレクトリ にコピーされる。さらに、シェルスクリプトからなる ‘R’ という名前の前処理プログラムが作成さ れ、同じディレクトリにコピーされる。このスクリプトはユーザーがそれを起動できる場所、例えば ‘/usr/local/bin/R’ にコピーすることが出来る。又 man ページ ...
24
第２回中級ソフトウェア品質技術者資格試験記述式問題の解説（案）
... ③当該システムを動かすと、入力データの例外・異常条件が考慮されていないケースがし ばしばある（A 社作成のドキュメントには、これらの条件が明示的に記載されていない）。 次回のプロジェクトでも請負契約で進めることに双方の方針が決定しているので、今回の プロジェクトを教訓に改善を図りたい。A ...
8
vol3（分散分析、ノンパラメトリック検定） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... この例題では変数が二つしかないが、このままでは最初の散布図の様にどう手を付けて良いのか迷うが、肥満度を 4 つのランクでグループ分けを行い、それに対応する死亡年齢を並べ替えると次の散布図のように見事に多群の標本 ...
11
vol1（統計量、見える化） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... cm の 単位で表し平均値も同じ cm だが , 分散は前述の通り平均値からの差を二乗するので cm を二乗するので単位は面 積を表す物となるので、平均値と分散を同じ土俵で比較することはできないため分散の平方根をとることで単位を 再び cm に戻すという意味である。（よく使われる平均値± 2SD はこの理屈から平均値と同次元で扱うことが可能 ...
7
Rを使うための準備（専修大学のサイト） R and R Commander ソフトウェア品質技術者のための「データ分析勉強会」
... ンド（複数行にわたる複数個のコマンドでも可）をマウスで選択し，キーボードから〈 Ctrl 〉 + 〈 R 〉 を押せば，「 R Console 」ウィンドウにコマンドが転送され，実行される． たとえば，「 R エディタ」上でキーボードから「 1 + 2 」と入力し，その行全体をマウスで選択し てから〈 Ctrl 〉 + 〈 R 〉を押すと，「 R Console 」（別ウィンドウ）上に転送したコマンドと出力結果 ...
20
日本語版 R Script ソフトウェア品質技術者のための「データ分析勉強会」 R lang.jp
... R の記述に限定することにする。 この言語のデザインは、ユーザーを驚かせるかも知れない幾つかの精妙な点と、良くある陥穽を持 つ。後で説明するように、これらのほとんどは深い水準での一貫性の考慮に由来する。また幾つかの 有用な近道と慣用法があり、極めて複雑な操作を簡明に表現することが出来る。これらの多くは基礎 ...
53
つながる世界のセーフティ & セキュリティ設計入門 で伝えたいこと ~ 実態調査から見えたこと そして開発指針へ ~ ET/IoT2016 ブースプレゼン 2016 年 11 月 18 日 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 西尾桂子 2016
... 認証 暗号化 アクセス制御 電子署名 脆弱性評価 ログ・監査 UML 侵入検知 CC (ISO/IEC 15408) SDL (Secure Development Lifecycle) SIM/TPM等信頼を担保する手法 形式手法 FIPS-140 Twin Peaks手法 SQUARE その他の手法やツール 独自の手法 セキュリティ設計は行っていない ...
25
【お試し版】Web制作者のためのCSS設計の教科書（非売品）
... 本文中の製品名およびサービス名は、一般に各開発メーカーおよびサービス提供元の商標または登録商標です。なお、本文中には ™ および ® マークは明記して いません。 株式会社サイバーエージェント フロントエンドエンジニア 中小企業向けのアプリケーション開発、スタートアップでのスマートフォンサイト制作などを 経て、現在はコミュニティサービスの開発、 UI ...
23
制御システムセーフティ セキュリティ検討 WG 活動のご紹介 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 調査役石田茂 IPA Software Reliability Enhancement Center
... SUTは、すべてのソフトウェアプロセスとデバイスを識別し、認証する能力を提供しなければならない。こ の機能は、該当するセキュリティポリシーおよび手順に従い、最低限の権限をサポートするために、 SUTへのアクセスを提供するすべてのインターフェイス上で、このような識別と認証を実施しなければな ...
17
先進的な設計 検証技術の適用事例報告書 2105 年度版 PART Ⅱ 設計事例 SEC-2015-A A-9 ソニーの電子お薬手帳システム harmo に適用した セキュリティ設計分析手法 1 1. 概要 本編では ソフトウェアの仕様 設計に対するセキュリティ分析技術 ( セキュリ
... パターンである。 4.2.1 の分解パターンとの違いは「できる」という語尾にある。攻撃者の視 点において「できる」と表現しているのであるから、この命題が TRUE になるときは攻撃が 成功している、つまり被害が発生しているという状況を表す命題となっている。 ...
21
資料4-1-1 「ｅ-サイエンス実現のためのシステム統合・連携ソフトウェアの研究開発」最終成果報告1.研究コミュニティ形成のための資源連携技術に関する研究1
... SAGAのアダプタとしては、ローカルジョブ、バッチスケジューラ、グリッド、クラウドが既に開発されており、様々な 環境に適用することが可能である C++実装とJAVAの実装が あり、RENKEIでは、C++実 装とそのPython wrapper を利用 ...
19
vol2（データの形、仮説検定、t検定） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... ここで見るべきところは、Excel の F 検定であればセルを黄色に塗った部分の P（F<=f) 両側となっているところの数 値で、R であれば p-value を見る。これが分散が等質かどうか（等分散しているか））を見る数値である。ところで Excel が ...Excel のバグである、筆者の持っ ている Excel2000 ではこの 0.4224 ...
11
同 R and RExcel ソフトウェア品質技術者のための「データ分析勉強会」
... RExcel の 機能を使うことで、Excel のセルに入力した R 関数やデータを R に転送し、計算結果を R から Excel のセルに転送させることができま す。ショートカットメニューは、任意のセルを 選択して右クリックすることで現れます（図 1）。R のコードを実行するには「Run code」、 数値や行列など（データフレーム）を Excel か ら R へ ...
6
同 R and RExcel ソフトウェア品質技術者のための「データ分析勉強会」
... 例 4 では、変数 x と y の散布図を描きます。 図 2 の 24 行 か ら 31 行 が、 本 例 の プ ロ グ ラ ム で す。26 行 か ら 27 行 は、 セ ル A4 か ら B10 の 範 囲 に あ る デ ー タ を デ ー タ フ レ ー ム と し て R に 取 り 込 み ...
6
同 R and RExcel ソフトウェア品質技術者のための「データ分析勉強会」
... R コマンダーで数値変数を因子に変換するに は、メニューから「データ（Data）」→「アク ティブデータセット内の変数の管理（Manage variables in active data set）」 →「 数 値 変 数 を 因 子 に 変 換（Convert numerical variables to factors）」を選択します（カッコ内は英語表示 ...
6
同 R and RExcel ソフトウェア品質技術者のための「データ分析勉強会」
... NumAttri の 値）を R 上の変数 nats に保存させます（51 行）。さらに、各属性の水準数を、Excel（配列 NumLevel に保存）から R へ転送させています （53 〜 56 行）。この際、R での変数名を“at ＋ 数字（整数値）”として、数字によって水準数 を保管する変数を属性ごとに区別しています （at1 は第 1 属性の水準数、at2 ...
6
vol4（カテゴリデータの検定） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... ＊＊ちなみに、間隔尺度のような量的変数間の関係を相関と呼び、呼び方が区別されている＊＊ 例題で考えると、血液型の違い（４つの分類）と疾患の種類（健常者を含め３つの分類）、それぞれの数値の現れ方 ...
5