QC のためのソフトウェア
はじめに IPA/SEC では ソフトウェア品質説明力を強化すべく様々な観点からの検討を実施してきました その一環として ソフトウェア品質を説明するための手法等について具体的な実施方法 そのための作業量 実施にあたっての課題等を整理し 実際にソフトウェア品質を説明する際の参考とできるようにするために
... ３のように定義した。 ソフトウェアのトレーサビリティは、本来であればＶ字モデルの左側の設計工程の成果物と右側 の検証工程の成果物のトレーサビリティも含まれる。しかし、今回の実験では設計要因の不具合 ...
69
組み込みソフトウェア開発のための仕様シミュレーション環境
... 1 はじめに 組み込みシステムのためのソフトウェア開発 において、その個々の製品寿命が短い一方で、似 通った製品を多数開発することも多くなり、ある プラットフォーム向けに開発したソフトウェアを、 少し機能追加して別のプラットフォーム用に開発 するなどといったことが、しばしば起こるように なってきている。こういった状況において、モデ ...
8
ダウンロード方法アルテラのソフトウェアをインストールするためのダウンロード ファイルには以下の種類があります.tar フォーマットのソフトウェアとデバイス ファイルの完全なセット ダウンロードとインストールをカスタマイズするための個別の実行ファイル ディスクに焼いて他の場所にインストールするための
... ダウンロード方法 アルテラのソフトウェアをインストールするためのダウンロード・ファイルには以下の種類が あります。 • .tar フォーマットのソフトウェアとデバイス・ファイルの完全なセット • ダウンロードとインストールをカスタマイズするための個別の実行ファイル • ...
13
の概要 目的エンタプライズ系ソフトウェアと組込み系ソフトウェアの開発力強化に取り組むとともに その成果を実践 検証するためのエンピリカル ソフトウェアエンジニアリングを採用し 産学官の枠組みを越えて展開 こうした活動から日本のソフトウェアの競争力向上を実現し 技術開発の推進 国際標準の獲得 中心とな
... 形式手法の適用内容 宇宙機ソフトウェアの非機能要件（耐環境性、信頼性、可用性、資源効率性等）を満足する。 耐環境性は宇宙空間という特殊な環境で継続的な動作が求められていること、信頼性は機 能停止などの起きた場合に安全と経済的・社会的損失に多大な影響を及ぼすこと、可用性 はいかなる状況でもミッションを達成できるようにすること、資源効率性はハードウェアリ ...
40
SMARTDAC+ を有効にお使いいただくために PCソフトウェアのご紹介
... STANDARD ソフトウェアのバリ デーションドキュメント ○ ○ ― 要 「Model 773230 バリデーションドキュメント」のライ センスを購入していること。 ― ― タグラベルを作成する SMARTDAC+ 用 タグプレート GX/GP の前面ドア用のタグラベルテンプレート ○ ― ― 不要 ― ― ― SD カードをフォーマットする SD ...
29
高信頼性ソフトウェア開発のための一般化離散型信頼度成長モデル
... モデルの適用例 今回提案した離散ワイブソレ型 SRGM が，典型的 なソフトウェア信頼度成長パターンである指数形 および S 字形信頼度成長 曲線の両方に対 しても柔 軟に適応可能であることを 実証するため， 実測デ ータを用い た提案モデ ルの適用例を示す.. 適用す る実 測データ は， それぞれ，指数形信頼度成長曲..[r] ...
7
世界測地系移行のための座標変換ソフトウェア“TKY2JGD”
... Geography and Crustal Dynamics Research Center Mikio TOBITA 要 旨 世界測地系へのスムーズな移行を支援し，移行にかか る総コストを削減するツールとして，TKY2JGDを開発し た。TKY2JGDは，20世紀に日本国内で使用された「日本 測地系：ベッセル楕円体」に準拠した座標値を，21世紀 に使用される世界測地系「日本測地系2000(=ITRF94系)： ...
21
Software Engineering Center Information-technology Promotion Agency, Japan 2012/6/1 ソフトウェア エンジニアリング 神戸 2012 ソフトウェア開発におけるプロセス改善 ~ 良い成果を得るためのプロセス
... Case５：高品質ソフトウェア開発管理プロセスの実現 Case６：マネジメント自らが予防のための行動を取り、問題が起こりにくい組織に Case７：派生開発による品質および開発効率の向上 Case８：ソフトウェア部品による組立型開発と品質保証 Case９：全社レベルでのプロジェクト管理の改善 ...
45
vol1（統計量、見える化） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... Microsoft の Excel を利用しているのではないかと考えるが。確かに Excel はデータの入力のしやすさや、市場シェアが大きいと いった理由からほぼデファクトスタンダードの地位を得ているが、こと統計計算を目的としてみると Excel 以外のソ フトウェアにも目を向けて頂きたいと思う。例えばｔ検定を行なう際、Excel ...
7
安全なシステムのためのソフトウェア構築法（PDF）
... 更された。旧モデルで使われていたソフトはそ のまま流用された。しかし、ソフトウェアのイ ンターフェースは同じでも、物理的なメカニズ ムとして Therac-25 は過電流対策のヒューズが 無いという設計になっていた。このため、以前 のモデルからの過電流が流れる障害は見過ごさ れたまま、新しいモデルが Therac-25 として造 ...
7
vol6（参考資料） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... 統計講座第 6 回 資料 北海道対がん協会 細胞診センター検査科 和田 恒之 参考文献 今回の資料を書くのに主に参考にした書籍。 ・現代統計実務講座テキスト 実務教育研究所による通信教育講座の教本である。統計的手法を標本抽出の調査法まで学ぶことが出来る。 ・バイオサイエンスの統計学 市原 清志著 南江堂 ...
1
Microsoft IAS を使用したPPTP のためのCisco IOSソフトウェアおよびWindows 2000 設定
... にある）Microsoft の Internet Authentication Server（IAS）に対してユーザを認証してから、ユー ザにネットワークへのアクセスを許可するように PC を設定する方法を示します。 PPTP サポー トは、Windows 用の Cisco Secure Access Control Server（ACS）バージョン ...CSCds92266 ...
15
vol5（相関、回帰） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... ちなみに相関係数 0 は無相関、1 および -1 は正か負の完全相関だがその間の数値に対して、かつては強い相関、 弱い相関と表現されていたが最近はこの表現はあまりしない方向に進んでいるようである、相関係数は標本データか ら計算されただけなので、相関の因果関係や擬似相関といったことについては何も示唆してはくれない単純に相関係 ...
7
vol3（分散分析、ノンパラメトリック検定） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... 肥満度で群分けしたプロットを見ると各群毎の分布の差を検定すれば、関係性が言えそうな事がつかめてくる。 そこで、この場合は一元配置分散分析もしくは Kruskal-Wallis 検定を使用する事が出来る。（実際の検定は省略） この例題では変数が二つしかないが、このままでは最初の散布図の様にどう手を付けて良いのか迷うが、肥満度を 4 ...
11
工学部電気系基礎科目学習補助ソフトウェア開発と普及のための手法
... 2.1 開発言語 今回開発した学習補助ソフトは C 言語を用いて作成し た。これは C 言語がプログラミング言語の中では最も一 般的な言語であること、工学部電気系学生の大多数は C 言語についての学習が必修であること、後述するソフト 開発の授業においてソースコードが理解し易く授業への 導入が容易という観点から、 C 言語を採用した。なお、 ...
4
同 R and RExcel ソフトウェア品質技術者のための「データ分析勉強会」
... ⑵ R での分析の実行 図 2 は、Excel から R へデータを転送し、分 析を実行する部分のプログラムです。 R と Excel を結びつけ（25 行）、Excel 上で DataSet と名付けた範囲を R へデータフレーム mydf として転送しています（27 行）。データ フレームに含まれる説明変数の名前を“x+ 数 ...
6
Rを使うための準備（専修大学のサイト） R and R Commander ソフトウェア品質技術者のための「データ分析勉強会」
... とよび，それをファイルとして保存したものを「スクリプトファイル」とよぶ． R のスクリプトフ ァイルは通常「 .R 」という拡張子をつけて保存する． しかし，こうした外部エディタで編集した場合，最終的にはコマンドを 1 行ずつ「 R Console 」ウ ィンドウにコピー＆ペーストしなければならず，面倒である．そこで， R には「 R エディタ」とい う簡単なエディタが付属している．「 R ...
20
vol4（カテゴリデータの検定） 統計基礎 ソフトウェア品質技術者のための「データ分析勉強会」
... ＊＊ちなみに、間隔尺度のような量的変数間の関係を相関と呼び、呼び方が区別されている＊＊ 例題で考えると、血液型の違い（４つの分類）と疾患の種類（健常者を含め３つの分類）、それぞれの数値の現れ方 ...
5
日本語版 R Script ソフトウェア品質技術者のための「データ分析勉強会」 R intro 170
... のためには，標本サイズを見出すため，再び apply() 関数を length() 関数とともに使用し，適当 な t- 分布のパーセント点を見出すために，関数 qt() を使用することができるだろう． tapply() 関数は，複数のカテゴリによって分類されたベクトルの，より複雑な添字の操作を処 ...
102
はじめに IPA/SEC では ソフトウェア品質説明力を強化すべく様々な観点からの検討を実施してきました その一環として ソフトウェア品質を説明するための手法等について具体的な実施方法 そのための作業量 実施にあたっての課題等を整理し 実際にソフトウェア品質を説明する際の参考とできるようにするために
... Part4 の共通要件である。ISO26262 Part2 Clause5 にて、対象とする作業内容と対象システムについて十分な知識を持つことが要求されており、 それを保証する資料が必要となる。本実験では ...Part2 の要求事項に対応する ためには、現状では暗黙知的な安全設計が行われている場合には、今後「安全文化」やその ...
84