| 講演抄録/キーワード |
| 講演名 |
2010-05-27 14:45
XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 ~ (1) ミューテーションテストのためのミュータントオペレータの実装 ~ ○末広 暁久(学)・佐々木亮太・芳賀博英(同志社大) SS2010-6 KBSE2010-6 |
| 抄録 |
(和) |
ソフトウェアテスト支援環境構築のために,プログラムの構文情報をXMLでタグ付けしたソースコードデータベースを中心とした統合テスティング支援環境IST (Integrated Software Testing Support Environment)を提案する.今回の論文ではプレーンテキストのソースコードをXML形式に変換するツールと,変換されたXMLソースコードを用いて,テストセットの品質を評価する手法であるミューテーションテストにおいて,ミュータントを生成するミュータントオペレータの実装について報告する. |
| (英) |
We propose the Integrated Software Testing Support Environment(IST) based on the XML-based source code representation of syntax informations. The central part of IST is XML taged source code databese. In this paper, we describe two implementations. One is a converter from plain source code representation and mBML(miniBasic Markup language), and mutant operaters which generate mutants for mutation testing: the method of adequacy assessment for test set. |
| キーワード |
(和) |
統合テスト支援環境 / XML / mbML / 構文テスト / ミューテーションテスト / ミュータントオペレータ / 等価ミュータント / |
| (英) |
Integrated Software Testing Support Environment / XML / mbML / syntax-based testing / mutation testing / mutant operator / equivalent mutant / |
| 文献情報 |
信学技報, vol. 110, no. 61, KBSE2010-6, pp. 33-38, 2010年5月. |
| 資料番号 |
KBSE2010-6 |
| 発行日 |
2010-05-20 (SS, KBSE) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
SS2010-6 KBSE2010-6 |
| 研究会情報 |
| 研究会 |
KBSE SS |
| 開催期間 |
2010-05-27 - 2010-05-28 |
| 開催地(和) |
同志社大今出川キャンパス |
| 開催地(英) |
Doshisha University, Imadegawa Campus |
| テーマ(和) |
一般,フレッシャーズセッション |
| テーマ(英) |
General, Freshers' session |
| 講演論文情報の詳細 |
| 申込み研究会 |
KBSE |
| 会議コード |
2010-05-KBSE-SS |
| 本文の言語 |
日本語 |
| タイトル(和) |
XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 |
| サブタイトル(和) |
(1) ミューテーションテストのためのミュータントオペレータの実装 |
| タイトル(英) |
Proposal of the Integrated Software Testing Support Environment based on the XML-based source code representation |
| サブタイトル(英) |
(1) Implementation of mutant operators for mutation testing |
| キーワード(1)(和/英) |
統合テスト支援環境 / Integrated Software Testing Support Environment |
| キーワード(2)(和/英) |
XML / XML |
| キーワード(3)(和/英) |
mbML / mbML |
| キーワード(4)(和/英) |
構文テスト / syntax-based testing |
| キーワード(5)(和/英) |
ミューテーションテスト / mutation testing |
| キーワード(6)(和/英) |
ミュータントオペレータ / mutant operator |
| キーワード(7)(和/英) |
等価ミュータント / equivalent mutant |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
末広 暁久(学) / Akihisa Suehiro / スエヒロ アキヒサ |
| 第1著者 所属(和/英) |
同志社大学大学院 (略称: 同志社大)
Doshisha Graduate school (略称: Doshisha Univ.) |
| 第2著者 氏名(和/英/ヨミ) |
佐々木 亮太 / Ryota Sasaki / ササキ リョウタ |
| 第2著者 所属(和/英) |
同志社大学大学院 (略称: 同志社大)
Doshisha Graduate school (略称: Doshisha Univ.) |
| 第3著者 氏名(和/英/ヨミ) |
芳賀 博英 / Hirohide Haga / ハガ ヒロヒデ |
| 第3著者 所属(和/英) |
同志社大学 (略称: 同志社大)
Doshisha University (略称: Doshisha Univ.) |
| 第4著者 氏名(和/英/ヨミ) |
/ / |
| 第4著者 所属(和/英) |
(略称: )
(略称: ) |
| 第5著者 氏名(和/英/ヨミ) |
/ / |
| 第5著者 所属(和/英) |
(略称: )
(略称: ) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2010-05-27 14:45:00 |
| 発表時間 |
30分 |
| 申込先研究会 |
KBSE |
| 資料番号 |
SS2010-6, KBSE2010-6 |
| 巻番号(vol) |
vol.110 |
| 号番号(no) |
no.60(SS), no.61(KBSE) |
| ページ範囲 |
pp.33-38 |
| ページ数 |
6 |
| 発行日 |
2010-05-20 (SS, KBSE) |