著者

武田 隆之 牛窓 朋義 山内 寛己 門田 暁人 松本 健一

出版者

情報処理学会

雑誌

研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2010, no.8, pp.1-8, 2010-03-11

---

本稿では,学生の演習課題のような小規模なソースコードを対象とした盗用の検出を目的とする.インデント,演算子などのコーディングスタイルに着目し,59 項目の特徴量として抽出し,盗用の発見に用いる.盗用関係にあるソースコード間において 59 項目の特徴量の差分を測定し,盗用関係にないソースコード間における特徴量の差分と比較したところ,28 項目の特徴量が盗用検出に有効であること,28 項目のうち 8 項目の特徴量はプログラムの内容によらず盗用検出に有効であること,8 項目のうち 3 項目の特徴量はソースコード整形ツールによるインデント整形に対して耐性を持つことが分かった.The goal of this paper is to detect software plagiarism in small-size source code like exercise assignments at school. This paper focused on coding style elements, such as indents and operators, and computed 59 quantitative measures from these elements. To evalute the usefulness of measures for plagiarism detection, we compared measures of suspected pairs (of plagiarism) and nonsuspected pairs. As a result, we found that 28 measures were effective to detect plagiarisms. Especially, 8 of 28 measures were effective for different program specifications, and 3 out of 8 measures were effective even after source code indentation tools were applied.

著者

打越 智之 杉山 安洋

出版者

情報処理学会

雑誌

研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2010, no.19, pp.1-8, 2010-03-11

---

分散型ソフトウェアにおけるマルチスレッド処理の一つに非同期メソッド呼び出しモデルがある.非同期呼び出しモデルによるマルチスレッド処理の難しさは,最適な同期場所を見つけ出すことが難しい点である.同期場所の選択を誤ると,並列に実行できる処理が減り,並列化による処理速度の向上が実現できない.本稿では,遅延評価を用いて,最適な同期場所を見つける手法を提案する.Asynchronous method invocation model is one of thread control models for distributed software. In asynchronous invocation model, it is hard to find proper synchronization points for asynchronously invoked methods. Improper synchronization points result in low parallelism, and poor improvement of execution speed. This paper will propose a thread synchronization mechanism using lazy evaluation to find proper synchronization points.

著者

浅野 雅樹 西浦 洋一 中西 恒夫 藤原 啓一

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2019-SE-202, no.3, pp.1-8, 2019-07-05

---

本稿は,アイシン精機株式会社における自動車ボディ系製品向けプロダクトラインを開発するためのドメインエンジニアリングプロセス改定の事例を示す.このプロセスでは,抽象化や関心事の分離に長けた限られた数の開発者がフィーチャ分析を実施し,仕様からアーキテクチャ設計を含む他の作業は製品に精通する一般の開発者が実施する.フィーチャ分析は,可変性との整合性を担保しつつ抽象化と関心事分離を実現し,以降の工程で作成する開発文書をその分離構造に従わせるために実施する.要求と仕様は,ユースケース,ユースケースシナリオ,階層化された表形式による仕様記述 (USDM) によって詳細化される.さらに,USDM における仕様記述は,ロバストネス図のコントロール間の結合度を表す設計構造マトリクス(DSM :Design Structure Matrix) を用いた,定量的かつ説明可能な手法によってシステム分割へと詳細化される.今回改善したドメインエンジニアリングプロセスにより,仕様やアーキテクチャ設計に係るソフトウェアレビューの問題指摘件数が削減され,アーキテクチャ設計の期間が短縮され,かつ変更しやすいアーキテクチャが維持できたことが確認できた.

著者

森崎修司 松本健一

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2013-SE-179, no.35, pp.1-8, 2013-03-04

---

ソフトウェアが担う業務に特化した欠陥種別の検出を目的とするレビューは汎用的な欠陥種別の検出を目的としたレビューよりも修正コスト低減効果やスケジュール遅延リスク低減効果が大きいことが期待される.本論文では,金融業務を担うソフトウェアの開発に携わる熟練者へのヒアリングから得られた欠陥種別 “日付に関する欠陥” をもとに不具合情報を分析した.レビューでの検出が可能であった不具合 488 件のうち 86 件が日付に関する不具合であり,これらの不具合が他の不具合と比較して,スケジュール遅延リスク低減効果,修正コスト低減効果が大きく,統計的に有意な差があることがわかった.また,業務に特化した欠陥種別特定の計算機支援を目的とし,不具合情報の自由記述に含まれる単語を熟練者に提示したところ,支援が有用であるという意見を得た.

著者

栗林 健太郎 山崎 進 力武 健次 丹 康雄

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2021-SE-207, no.32, pp.1-8, 2021-02-22

---

IoT デバイスは多様な用途において増え続け,2030 年にはその数が 1250 億に達すると見込む調査報告がある.増え続ける多様な需要を満たすためには,IoT デバイスの開発効率の向上が必要であり,そのための開発プラットフォームが多数現れている.IoT デバイス内アプリケーションの開発において,開発者によるコードの変更を適用することで生じる動作の変更が意図した通りであるかどうかを確認するためには,変更内容をターゲットとなるデバイスへ適用し実際に動作させる必要がある.既存方式では,更新内容の生成および適用に加えて,デバイスの再起動に時間を要するため,迅速な開発サイクルの実現が困難である.本研究では,先行研究に基づきコードの変更をデバイスへ適用する方式について(1)ファームウェアイメージの全体を適用する方式,(2)ファームウェアイメージの差分を適用する方式,(3)アプリケーションコードを動的に適用する方式の 3 つに分類した.その上で,開発効率の向上を目的として(3)を動的な性質を持つ言語によって実装し得る方式として位置づけ直して提案するとともに実装し,各方式について更新に要する時間を比較検討した.その結果,提案方式は既存方式に比べて更新に要する時間が 95% 短くなった.

著者

横山 哲郎

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2011-SE-172, no.4, pp.1-5, 2011-05-10

---

プログラミング言語の選択による情報通信端末の消費エネルギーの変化を定量的に評価する試みについて報告する.本稿では,アプリケーションの実装プログラミング言語ごとの消費電力への影響を,実情報端末において電力計で実測することにより確かめた.その結果,インタープリタ言語では消費電力の大きな揺れが観測されたが,コンパイル言語と同様の平均消費電力を示し,電池に与える影響の変化は限られた.われわれが実験を行った範囲では,プログラミング言語およびアプリケーションを変化させたときの1秒ごとの平均消費電力の変化は高々20%未満であり,その影響は軽微であることが確かめられた.われわれの知る範囲では,プログラミング言語ごとに消費電力/消費エネルギーの比較を行った報告は限られており,本研究で得られた基礎データは低消費エネルギーアルゴリズムや低消費エネルギープログラミングの研究を行う上での参考データとして貴重である.

著者

小泉 雄太 荒堀 喜貴 権藤 克彦

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2018-SE-198, no.27, pp.1-8, 2018-03-02

---

メモリリークは,不要なオブジェクトが将来増えることはない低脅威リークと,不要なオブジェクトが将来増え続ける高脅威リークに脅威度の観点から分類できる.この分類は一定の基準でまとめられたオブジェクト群 (グループ) にも適用可能である.従来の Staleness 解析のような全てのオブジェクトに対して特定の指標でリークの評価 / 報告をするリーク検出手法では,高脅威リークが低脅威リークの報告に埋没する可能性や,高脅威リークの即時判定ができないなどの問題がある.また,バイナリレベルでの解析においては,型情報のようなグループ化に適した情報の取得が困難な現状がある.本研究の提案手法である Pikelet は,バイナリコードを対象に高脅威のリークを高精度に検出することを目的とした動的メモリリーク検出手法である.高脅威リークの漸次的な特性から,グループサイズの成長過程を測定することで高脅威リークのグループを高精度で検出する.また,バイナリ解析で実現可能なグループ化の手段としてオブジェクト割り付け時の calling context を用いる.オブジェクトのグループ化と,グループの成長から脅威度を導出することで,Pikelet は新たに生成されたオブジェクトの危険度を即時判断し,プログラムに差し迫った脅威をより正確に報告する.実用プログラムを対象とする実験の結果,Pikelet は既存研究に比べて高脅威リークオブジェクト群の検知において精度の向上を示した (同一実行内での計測結果の平均で Recall は 22 ポイント,Precision は 80 ポイントの精度向上を達成した).また,実行オーバーヘッドは既存手法と同程度に収まることを確認した.

著者

鷲崎 弘宜 萩本 順三 濱井 和夫 関 満徳 井上 健 谷口 真也 小林 浩 平鍋 健児 羽生田 栄一

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2020-SE-204, no.17, pp.1-8, 2020-02-24

---

DX(Digital Transformation)時代に向けた新たなソフトウェア工学(Software Engineering for Business and Society: SE4BS)に向けた枠組みと価値駆動プロセスを提案する.具体的には,今日においてソフトウェア「工学」として受け入れられている手法やプラクティスにおいて,顧客価値やビジネス価値に基づいてソフトウェア開発・運用を進める視点の欠落や,産業界において広く受け入れられているアジャイル開発との分断が起きているという問題を提起する.その問題意識のもと,DX 時代に必要な新たなソフトウェア工学として,ビジネスアジリティを組み入れて新規ビジネスのアイデアから,それを具体化する製品やサービスおよびユーザー体験までを結び付けるソフトウェアシステムの開発・運用に有用なモデル,手法,プラクティスを分類整理し,それらを用いる進め方としてビジネス・社会視点の価値駆動プロセスの一例を提案する.さらに,心的要素である知・情・意による分類を通じて,これからのソフトウェア工学と周辺の捉え方の一つを示す.

著者

小島 嘉津江 森田 純恵 若本 雅晶 宗像 一樹 鷲崎 弘宜

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2017-SE-195, no.30, pp.1-8, 2017-03-05

---

ソフトウェア品質の向上に関しては,古くから様々な技術が提案・実用化されてきており,ソフトウェア開発方法の進歩に伴う新たな技術の開発も進んでいる.一方,ソフトウェア品質を客観的に評価するための尺度についても研究が進んでおり,ソフトウェア品質モデルおよび品質特性が国際規格として規定されている (ISO / IEC 25000 シリーズ).これら個々の品質技術と,ISO / IEC 25000 シリーズで規定された各品質特性の間には,たとえば,この技術はこの特性の向上に特に効果があるといった関係性が当然存在し,これはソフトウェア開発において重要な情報となり得る.しかし,これまで,このような関係性を網羅的に明確化する試みは行われておらず,品質要求に基づく効率的な品質技術の選択の難しさ,品質技術の研究開発が必要な方向 ・ 領域の不透明さなどの課題があった.本稿では,個々の品質技術が品質特性に与える効果を網羅的に見える化することを目的として,品質技術と品質特性のマッピングを試みた.マッピングに当たっては,品質技術の網羅 ・ 体系化が必要となるが,世界で初めてこれを実現した日本発のガイドである 「ソフトウェア品質知識体系ガイド (SQuBOK ガイド)」 を参照することとした.SQuBOK ガイドと ISO / IEC 25000 シリーズをベースにしたマッピングの結果,品質向上に寄与する技術を品質特性ごとに効率的に選択できるようになり,ツールとしても有効であることがわかった.また,マッピング結果の分析を通して,品質特性による品質技術の偏りからわかる拡充すべき技術領域,データ品質に関する技術の体系化不足,OSS 活用の技法など最新技術の追加 ・ 体系化の必要性など,今後の課題も明確になった.

著者

坂梨 元軌 河邉 翔平 酒井 正彦 西田 直樹 橋本 健二

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2017-SE-196, no.24, pp.1-6, 2017-07-12

---

難読プログラミング言語 Malbolge は,その解析困難性により知的財産権の保護などに役立つと考えられているが,命令が特殊であるためプログラムの作成は非常に困難である.そのため,Malbolge プログラムを生成するための中間言語として制御付き疑似命令列が提案されているが,C などの通常の言語と比較すると依然としてプログラミングが困難である.本稿では,整数型と真偽型を扱え,while 文などの基本的な制御構造と再帰関数を定義できる C 言語のサブセットのプログラムから Malbolge コードへのコンパイラの実現法を述べる.コンパイラの実現のために,まず,既存の制御付き疑似命令列に配列構文と関数構文を追加し,それにあわせて既存の制御付き疑似命令列から Malbolge への変換系を拡張する.さらに C 言語のサプセットから制御付き疑似命令列へ変換する方法を提案する.

著者

加藤 宏和 村田 佳洋

出版者

一般社団法人情報処理学会

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2012, no.1, pp.1-6, 2012-10-25

---

近年,パーソナルナビゲーションシステムに関する研究が数多くなされており,観光スケジュール立案のためのナピゲーションシステムも研究されている観光スケジュールは天候の影響を受けるしかし、天候を完壁に予測することは不可能であるそのため,天候に応じたスケジュール群立案手法が必要となるそこで我々は,この手法のための天候変化パターンを生成するアルゴリズムを提案したこのアルゴリズムは,時間帯に応じた降水確率を与えることで,その時間に起こりうる天候をシミュレートするものであるシミュレートして得られた天候変化パターンから確率通りの降水の割合が得られているかを調査するため,与えた降水確率と比較した.その結果,最大 14% の誤差があるものの,ほぼ元の降水確率通りの割合が得られることがわかった.Recently, personal navigation systems and tour scheduling systems are studied. Tour schedule is af fected by weather conditions. But, it is impossible to predict accurate weather. Therefore, schedules are required for according to the weather conditions. So, we have proposed weather change pattern generation algorithm. This algorithm is given probability of precipitation according to the time zone, it simulates possible weather conditions at that time. To evaluate proposed algorithm, we compared the probability of precipitation with the rate of rainfall of weather change patterns generated by simulating. As a result, there is an error of no more than 1.4%, it was found that the obtained rate is similar to the original probability of precipitation.

著者

石尾 隆 吉村 健太郎

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2011, no.12, pp.1-7, 2011-07-14

被引用文献数

1

---

本稿では,2011 年 5 月 21 日から 28 日まで,アメリカのハワイ州ホノルルにて開催された第 33 回ソフトウェア工学国際会議 (33rd International Conference on Software Engineering) および併設ワークショップについて紹介する.This paper reports major topics of the 33rd International Conference on Software Engineering (ICSE2011) and co-located workshops held in May 2011 in Honolulu, Hawaii, USA.

著者

大貫 智洋

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2012-SE-175, no.10, pp.1-8, 2012-03-08

---

制御ソフトウェアの開発手法として,モデルベース開発の普及が進んでいる.モデルベース開発では実装コードを機械的に生成することが可能であるため,実装に誤りが混入する危険性は低い.その一方で,要求仕様や制御仕様の記述は人手により行っているため,誤りが混入しやすい.このような課題を解決するため,本論分では上流工程で仕様を正確に記述する手法について,調査・分析した.要求分析を正確に記述する手法,制御仕様を検証する手法についてまとめたのち,今後の課題を分析する.

著者

夛田 武広 戸田 航史

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2020-SE-204, no.11, pp.1-7, 2020-02-24

---

GitHub はバージョン管理システム Git のホスティングサービスとして広く使われている.ただし,GitHub はソースコードのバージョン管理以外にも,コードレビューや Issue 管理,Wiki 等のシステムも提供している.近年の GitHub のリポジトリ数,ユーザ数の増加に伴い,Git の利用を主目的としない,もしくは readme.md の更新以外には Git を利用しないプロジェクトが現れ始めている.これらのプロジェクトは GitHub を Issue 管理システムの利用やドキュメントの管理として利用することを主目的としている.本研究ではこのようなプロジェクト(Hub プロジェクト)に着目し,分析を行った.分析では Hub プロジェクトを 3 つのパターン (Issue Tracker Type,Document Type,Link Collection Type)に分類し,リポジトリ数の増加の推移や最古リポジトリ等について調査した.分析には GitHub に存在する約 1.2 億のオープンリポジトリのデータである GHTorrent を用いた.分析では,あらかじめ手動で収集した 10 の Hub プロジェクトから導出した共通点を利用し,不要なリポジトリをを除去した.分析の結果,タイプ別のリポジトリ増加推移や最古リポジトリ,そして増加のきっかけとなったリポジトリを発見できた.

著者

山口 鉄平 新田 泰広 稲葉 雅美 秋山 義幸 杉山 達也 川上 真澄 島袋 潤 小川 秀人

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2012-SE-176, no.1, pp.1-6, 2012-05-14

---

制御機器のソフトウェア開発では,制御パラメータの調整工数削減による開発工数削減を目的に,モデルベース開発の適用がすすんでいる.制御式を設計する制御設計者とソフトウェアを開発するソフト開発者の違いや,制御式が書かれた制御仕様書と機器の動作実現方法が書かれたソースコードの違いにより,従来の開発方法からモデルベース開発への移行は困難となっている.本報告では,モデルベース開発時に,制御設計者によるモデルの修正とシミュレーションが可能な新たなモデルベース開発への移行方法を提案する.提案方法は,3パターンでのソースコードのリファクタリングと,モデルとソースコードのデータの受け渡しおよび処理の呼び出しを定義するという特徴を持つ.

著者

関 文貴 日高 隆博 山本 晋一郎 小林 隆志 手嶋 茂晴 阿草 清滋

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2010-SE-167, no.27, pp.1-9, 2010-03-11

---

車載ソフトウェアでは,コストの観点から浮動小数点演算を用いることができず,アルゴリズムを固定小数点演算で実装しなけれならないことが多い.実数演算を取り扱うアルゴリズムを固定小数点演算へ変換する作業は非常に労力を必要とする.そこで,本論文では浮動小数点演算で記述されたソフトウェアを固定小数点演算へ変換するための手法の提案と自動で変換を行うためのツール開発を行う.

著者

久米出 中村匡秀 新田直也 柴山悦哉

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2013, no.20, pp.1-8, 2013-03-04

---

近年のソフトウェア開発に於けるアプリケーションフレームワークの普及と共に、その正しい利用法を効率的に学ぶ手法がますます重要になっている。フレームワークの学習の障害として、その複雑性と、所謂制御の反転 (Inversion of Control) に特徴付けられる独特な実行形態が挙げられる。我々はこれらの障害を克服するために、フレームワークアプリケーションの内部挙動を抽象化して表現する機能モデル (feature model) と、動的解析を用いたモデリングを提案する。本論文では第三者が開発した実用的なフレームワークアプリケーション内で発見されたフレームワーク利用の誤りを事例として我々の取り組みとその将来課題を説明する。

著者

佐々木 方規 森崎 修司

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2021-SE-207, no.38, pp.1-6, 2021-02-22

---

受け入れテストやシステムテストは,開発担当者のチームから独立した組織で実施されることが多い.テスト担当者は開発担当者とは異なる背景,技術的視点,マインドセットを持つため,開発担当者とは異なる種類の欠陥を検出できる.一方で,ソフトウェアの内部構造や振る舞いに関して知見が無い状態でテストベースの理解を深めなければならないことも多い.テストのエキスパートは,仕様書に記述された内容以外のソフトウェアの利用シーンや環境などからテストベースの理解を進めるが,その理解戦略は明らかになっていない.そこで,豊富なテスト知識を有する 3 名のエキスパートが与えられたテストベースをどのような戦略で理解しているかを分析する.

著者

鷲崎 弘宜 萩本 順三 羽生田 栄一 関 満徳 小林 浩 丸山 久 井上 健 谷口 真也

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2021-SE-207, no.42, pp.1-7, 2021-02-22

---

従来のソフトウェア工学は主として開発の効率化や品質の向上に重点を置いて様々な手法やプラクティスを積み重ねてきている.しかしビジネスや社会上の価値創造が求められる Digital Transformation (DX) 時代においては,様々な人々に寄り添う考え方や,新たな社会を構想する捉え方をソフトウェアの企画や開発,運用の中心へと組み入れることの重要性を増すと考えられる.筆者らはこの問題意識のもと,従来からの工学的な知識体系やプラクティスに加えて,人々の意識や価値観,感情をソフトウェアの開発運用において扱うことの重要性を認識し,DX 時代のビジネスや持続可能な社会へ貢献するソフトウェア工学体系を考察する活動 Software Engineering for Business and Society (SE4BS) を 2019 年から進めてきている.そこでは特に,人の根源的な心的要素として捉えられる知・情・意に基づいたソフトウェア開発運用および周辺の考え方やプラクティスの整理体系化と,価値を軸として開発を進める価値駆動プロセスの例示を進めている.本稿では,価値を軸として DX 時代に必要な考え方を概観したうえで,それに応えようとする SE4B の成果の概要を説明する.さらに成果に対する評価や反応として,アンケート回答やワークショップ実施時の意見および大学教育の成果を紹介する.そのうえで,評価や反応を踏まえ,関連研究との関係も含めて将来の展望を説明する.

著者

上野 優 新居 雅行

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2021-SE-207, no.37, pp.1-8, 2021-02-22

---

計算機科学の実験環境として Jupyter Notebook が広く使われているが,その計算機クラスタの管理は一般的に容易ではない.一方,クラスタ管理不要で需要に応じた計算資源の利用を可能にするクラウドサービスの一つとして FaaS がある.しかし Jupyter Notebook で書かれた手続き型プログラムを FaaS で実行しようとすると,FaaS のリソース割り当てが他のサービスに比べて小さいため,多くの場合実行できない.本稿ではこの問題に対して,一連の手続き型プログラムを細かく分割することにより,リソース割り当て制限内に収める手法を提案する.さらに提案手法に基づいて既存のノートブックの分割を行い,その機能性と効率性を評価した.