クラス間関係を利用した単体テストおよび静的検査の網羅率可視化手法

武藤, 祐子; 岡野, 浩三; 楠本, 真二

2010, 107-112

Number of Access:743（2025-09-04 14:41 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/50598

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
softengineer_2010_107 pdf None 1.16 MB 90 2014.10.14 出版社版/publisher  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
クラス間関係を利用した単体テストおよび静的検査の網羅率可視化手法
A Visualization Technique for the Coverage of U nit Testing and Static Cheking using Caller-Callee Relationship between Classes
クラスカン　カンケイ　ヲ　リヨウ　シタ　タンタイ　テスト　オヨビ　セイテキ　ケンサ　ノ　モウラリツ　カシカ　シュホウ
Creator
CreatorName
武藤, 祐子 ; ムトウ, ユウコ ; Muto, Yuko
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Description
ソフトウェアエンジニアリング最前線2010 : 情報処理学会SEシンポジウム
Abstract
近年ソフトウェアの可視化の技術が重要視されてきている.本研究ではソフトウェア品質のうち機能性を評価するためにプ口グラムの仕様と実装の一致性を2つの観点から可視化する方法を提案する.具体的には単体テストおよび静的検査の結果を重み付き有向グラフで表現する. 提案手法によって得られる知見を評価するため，実際にプロトタイプツールを作成し評価例題として在庫管理プ口グラムに適用した.これらから，提案手法からソフトウェア品質の推定および仕様記述の改善戦略を得ることができることを確認した.
Software visualization has attracted lots of attention. We propose a new hybrid method based on both of the two categories，especially from point of view of development process. The proposed method visualizes coincidence between specification and implementation from two aspects; unit testing and static checking. In the method，the ratio of the coincidence are drawn by pie charts which represent classes of the target software. Whole software is represented in a weighted digraph structure. We have prototyped a tool implemented the proposed method. We have evaluated the availability of the proposed method by app1ying the tool to the warehouse management program. As a result，we conclude that the proposed method provides the estimation of software quality and the strategy to improve specifications of two checking methods.
Publisher
近代科学社
キンダイ　カガクシャ
Page
107-112
Date of Issued
2010-08
Language
Japanese
Handle URL
https://hdl.handle.net/11094/50598
Relation.isPartOf
ISBN
9784764903944
NCID
BA79626982
Access Rights
open access
CopyRight
ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
oaire:version
Version of Record
Category
単行書 Book