講演名 | 2010/5/20 XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 : (1)ミューテーションテストのためのミュータントオペレータの実装(フレッシャーズセッション) 末広 暁久, 佐々木 亮太, 芳賀 博英, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | ソフトウェアテスト支援環境構築のために,プログラムの構文情報を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 test / mutant operator / equivalent mutant |
資料番号 | KBSE2010-6,SS2010-6 |
発行日 |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 2010/5/20(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 : (1)ミューテーションテストのためのミュータントオペレータの実装(フレッシャーズセッション) |
サブタイトル(和) | |
タイトル(英) | Proposal of the Integrated Software Testing Support Environment based on the XML-based source code representation |
サブタイトル(和) | |
キーワード(1)(和/英) | 統合テスト支援環境 / Integrated Software Testing Support Environment |
キーワード(2)(和/英) | XML / XML |
キーワード(3)(和/英) | mbML / mbML |
キーワード(4)(和/英) | 構文テスト / syntax-based testing |
キーワード(5)(和/英) | ミューテーションテスト / mutation test |
キーワード(6)(和/英) | ミュータントオペレータ / mutant operator |
キーワード(7)(和/英) | 等価ミュータント / equivalent mutant |
第 1 著者 氏名(和/英) | 末広 暁久 / Akihisa SUEHIRO |
第 1 著者 所属(和/英) | 同志社大学大学院工学研究科 Graduate School of Engineering, Doshisha University |
第 2 著者 氏名(和/英) | 佐々木 亮太 / Ryota SASAKI |
第 2 著者 所属(和/英) | 同志社大学大学院工学研究科 / Graduate School of Engineering, Doshisha University / |
第 3 著者 氏名(和/英) | 芳賀 博英 / Hirohide HAGA |
第 3 著者 所属(和/英) | |
発表年月日 | 2010/5/20 |
資料番号 | KBSE2010-6,SS2010-6 |
巻番号(vol) | vol.110 |
号番号(no) | 61 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |