ソフトウェア品質管理への形式的アプローチ

• Item type: SIG Technical Reports(1)
• 公開日: 2019-12-05
• タイトル: ソフトウェア品質管理への形式的アプローチ
• タイトル / 言語: en
• タイトル: Formal Approach for Software Quality Assurance
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: アーキテクチャ・設計
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: (株)テクノネット／現在，三菱電機インフォメーションネットワーク株式会社
• 著者所属(英): en
• 著者所属(英): TechnoNet Corp. / Presently with Mitsubishi Electric Information Network Corp.
• 著者名: 宮永, 照二
• 著者名(英): Shoji, Miyanaga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェアはその構成の複雑さ多様性により，本質的に品質の形式的扱いが難しい領域である．その一方で，ソフトウェアの品質にメトリクスを与え，定量的な評価を行う試みがなされている．本稿では，モジュールとモジュール間連携により構成されるソフトウェアについて，定量的な品質評価手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Software is, due to its complexity and diversity, essentially hard to formally deal with. On the other hand, giving software quality metrics, quantitative evaluation attempts are being made. This paper presents quantitative quality evaluation method for software, which is composed of modules and connections among them.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2019-SE-203, 号 5, p. 1-6, 発行日 2019-12-05
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会