-
定義された測定方法および測定尺度メトリクス
-
製品の属性を測定するプロダクトメトリクスの種類（4つ）製品品質メトリクス・利用時の品質メトリクス・複雑度のメトリクス・規模のメトリクス
-
プロセスの属性を測定するプロセスメトリクスで参考にするもの（3つ）工数・生産性・障害検出率
-
客観性の高い方法で測定と評価を行うための概念や理論測定理論
-
ある対象項目に関するメトリクスをトップダウン方式（目標を決めて質問に答える）で決定するための技法GQM（Goal-Question-Metric）
-
ソフトウェア製品そのものの品質測定量製品品質メトリクス
-
製品品質メトリクスで品質特性と品質副特性を数値で示す対象の項目（2つ）機能適合性、性能効率性
-
仕様書やソースコードがニーズを満たす度合いの測定量内部測定量
-
製品がどのくらい動作できるかを示す度合いの測定量外部測定量
-
利用時の品質モデルに基づく利用者ニーズの達成度合いの品質測定量利用時の品質メトリクス
-
ソフトウェアの困難さを数値で示し、品質を予測するメトリクス複雑度のメトリクス
-
ソースコードの行数を測定したものLOC（Line Of Code）
-
ソフトウェアの機能を点数付けしたメトリクスファンクションポイント
-
開発プロセスの主に品質に関わる属性を測定する方法であり、プロダクトの品質予測を可能にするプロセスメトリクス
-
離散的なふるまいとして対象を捉え、応用アプリケーションに適する開発手法モデル駆動開発
-
離散系モデルのメリット品質や信頼性が高い
-
モデル化の図形式表記法で、ソフトウェアが対象UML（統一モデリング言語）
-
システム要求とテストケースなどをモデル化するための表記法でハードウェアとソフトウェア全体が対象SysML（System Modeling Language）
-
連続的なふるまいとして対象を捉え、制御系に敵する開発手法モデルベース開発
-
連続系モデルのメリット制御仕様のシミュレーションができるため、コストが抑えられる
-
特定の問題領域を記述するために開発された言語でばらつきを抑えるドメイン特化言語
-
仕様や設計を数学的に厳密な意味を持つ形式言語にモデル化して記述することで上流設計の曖昧さをなくす形式仕様記述の技法
-
手動での検証が難しい部分に対してのツール等を用いた技法形式検証の技法
-
数値間の等間隔性が保証された量的変数の測定量に対応する尺度間隔尺度
-
単一の属性とそれを定量化するための方法を定義した測定量基本測定量
-
ソフトウェアの内部品質を表す測定量品質測定量要素(QME)
-
順序のない質的変数の測定値を分類するための尺度名義尺度
-
モデルを活用したシステムズエンジニアリングMBSE
-
オブジェクト指向を中心としたソフトウェア技術を開発する非営利組織OMG
-
モデルや実行コードについて成り立つ性質を数学的に証明していく検証定理証明
-
起き得る状態遷移を網羅的に探索し、性質が成り立つかどうか調べる検証モデル検査
ログイン
オンライン単語帳
このページを利用するにはログインする必要があります。ログインするとAnkilotをより便利にご利用いただけます。