政府・自治体が所有するデータを行政の透明性確保，市民参加の促進，経済活性化を目的に，オープンデータとして公開しようとする動きが2013年度から活発になっている．異業種交流や学生の自主活動のきっかけになると期待できる．オープンデータの活発かつ効果的な利用を実現するには，オープンデータが機械可読であること，また，それらのデータを活かせるソフトウェア技術者の活躍が期待される．2013年度以降のオープンデータに関わる全国の活動状況と今後の課題について，ソフトウェア技術者の視点に立って解説する．

抄録全体を表示

社会から期待される高度IT人材の育成が求められている．筑波大学大学院も2007年度から継続的にIT実践力育成の施策を推進している．本論文では，その主要な取り組みの特徴を提示し，期待される効果を述べ，継続的なモニタリング活動としてのスキル診断，修了生アンケートからプログラムの成果を評価する．今後，さらに自律して実践的IT人材を育成し続けるための施策を提言する．

抄録全体を表示

インターネット接続が普及し，さまざまな場面でネットワーク技術が利用されるようになった．しかしながら，その運用形態は進化していない．機器毎の固有の設定を個別に実施する旧来からの手法にとどまっている．研究レベルでは，いくつかの提案がされているが，現在のネットワーク利用に対し，実用的な運用レベルの要求を満たすものではない．本研究では，新しい運用管理アーキテクチャGINEW (General Integrated Network EngineeringWorkbox)を提案した．そのプロトタイプ実装の適用結果を報告する．

抄録全体を表示

インターネットの規模拡張性の検証やインターネット上の大規模攻撃を模擬する環境として，大規模なサーバクラスタ型テストベッド上に仮想計算機を用いて擬似的なインターネット環境を構築する，インターネットエミュレーションの研究が行われている．インターネットエミュレーションのうち，EBGPルータを用いAS(Autonomous System)網を構築し，ASレベルでのBGPのパス特性やAS間での連携が必要なインターネット技術またはソフトウェアの挙動の観察を目的としたエミュレーション手法を本稿ではASエミュレーションと呼ぶ．ASエミュレーションにおいて，サーバクラスタの限られた物理計算機上でAS数を最大化するために，仮想計算機技術が用いられる．この際，限られた物理計算機から個々の仮想計算機が必要とする量の資源を適切に割り当て，仮想計算機の多重度を上げる必要がある．メモリ資源に着目すると，EBGPで構成されたAS網で個々のBGPルータが必要とするメモリの最適解を求めることは，その計算量の複雑さから，現実的に困難であり，日々拡張していくインターネットの特性をサーバクラスタ上に模擬するためのメモリ量推定手法として向いていない．そこで，本論文ではソースコードレベルでの静的解析と小規模な実験における動態解析の結果を元に曲線回帰よってモデル化することで使用メモリ量の推定を行う手法を提案する．提案手法の妥当性は大規模サーバクラスタであるStarBEDにて，Quagga bgpdを用いたASエミュレーションに対し，Quagga bgpdのソースコードの静的解析と，仮想マシン100台まで動的解析を元にモデル化を行い，最大1500台の仮想マシンによるASエミュレーション環境の構築を通して，その適合性の検証を行った．その結果，提案手法は従来手法より計算量，規模追従性の点で優れていることが明らかとなった．

抄録全体を表示

リファクタリングにおける振舞い保持を検証するため，プログラム等価性検証手法を提案する．提案手法は，プログラム構造の差分を抽象構文木に基づくモデルを用いて検出する．差分検出にあたり，リファクタリングにより意図された構造の変更を差分から除外するため，リファクタリングパターンに従ったモデル変換を実施する．また，提案手法をC/C++言語を対象とした検証ツールPOM/EQとして実装した．さらに，実装したツールの適用実験を行い，ある組込み製品にて実施されたリファクタリングのうち，56%を正しく判定できた．

抄録全体を表示

企業における高度ソフトウェア専門技術者の育成研修の教授法はこれまで講義，演習中心であるため，適切な教授法がとられているか保証できない．本稿では，高度ソフトウェア専門技術者に必要な知識，スキルに対して，Bloom's Taxonomyを拡張して設定した学習目標に基づいて最適な教授法を設計する方法を提案する．提案方法を実際の研修の教授法設計に適用し，その評価から提案方法の有効性を示す．

抄録全体を表示

本論文ではNIRSを用いてプログラム理解における1)数値計算，2)変数の記憶，3)条件分岐の判断が脳活動へ及ぼす影響を調査する．20人の被験者に3種類のコード片を理解する課題と，3段階の難易度の暗算を行う課題を与え，前頭極を計測する実験を行う．実験の結果，暗算の難易度によって脳活動に差が見られない一方で，変数の記憶を必要とする課題において有意に高い脳活動が見られた．結果はNIRSを用いた脳活動計測によりプログラム理解における記憶への負荷を評価できる可能性を示している.

抄録全体を表示

Structured overlay networks that support range queries cannot hash data IDs for load balancing, in order to preserve the total order on the IDs. Since data and queries are not equally distributed on the ID-space without hashing in range-based overlay networks, uneven loads are imposed on the overlay nodes. Existing load balancing techniques for range-based overlay networks distribute the loads by using data reallocation or node migration, which makes the networks very unstable due to heavy data reallocation or frequent churn.
This paper proposes a novel scheme that distributes, fairly, the loads without node migration and with little data reallocation, by sharing some ID-space regions between neighboring nodes. Our “overlapping” ID-space management scheme derives the optimal overlap based on kernel density estimations; the query loads based on the statistical theory are used to calculate the best overlap regions. This calculation is executed in a distributed manner with no central coordinator. We conduct thorough computer simulations, and show that our scheme alleviates the worst node load by 20–90 % against existing techniques without node migration and with least data reallocation.

抄録全体を表示

開発中のソフトウェアシステムに変更が施された場合，利用可能なすべてのテストケースを再実行してデグレードの有無を確認するのが理想である．しかし，現場においてテストに投入可能な工数は限られており，テストケースの優先順位付けを行って一部のもののみを再実行するのが現実解となっている．近年，そのための支援技術の一つとして，各テストケースにおける不具合検出の期待度(優先度)と実行工数の両方を総合的に考慮し，0–1計画法によってテストケースの選択を行う手法が提案されている．0–1計画法を用いたテストケース選択は，優先度の降順にテストケースを選択するという従来手法に比べて費用対効果の高い回帰テストを実現できることが確認されている．しかしながら，これまでの手法は目的関数の値(優先度の合計値)を最大化することに注視しており，テストの網羅性については十分に考慮できていなかった．仮に特定の機能に関するテストケース群の中に優先度の高いものが多く含まれていた場合，その機能に関するテストケースのみが選択されてしまい網羅性の低い回帰テストになってしまうという状況も考えられるが，そのような状況を回避するための方策はとられていなかった．そこで本論文では，テストケースをそれらの実行履歴に基づいてクラスタへ自動分類し，“クラスタを網羅する”という制約条件を0–1計画モデルに盛り込むことで，より網羅的で効率的な回帰テストを実現するためのテストケース選択手法を提案している．実際に開発・保守されているシステムを対象とした評価実験では，提案手法は従来手法の約1/3の工数で効率的に不具合を検出できることを確認している．

抄録全体を表示

ソフトウェア開発の品質や効率の向上には要素技術だけでなく，ソフトウェア開発のプロセスも重要とされている．我々は要素技術として形式手法に着目し，その導入によるプロセスの改善について研究している．実際の開発に形式手法を導入する場合，プロセスのテーラリングについても考慮する必要があるが，具体的な実プロセスの多様性をふまえプロセス改善のモデルを用いたテーラリングの検討も有効と考える．本稿では，プロセス改善モデルの一つCMMI-DEVの，関連プロセス領域の関係に着目しネットワークの中心性を分析した．その結果，形式仕様記述の導入成功事例の分析結果と共通するプロセス改善の指針を得ることができた．

抄録全体を表示

プログラムの実行時情報はプログラム理解に有用であることが知られており，Omniscient Debuggingなどのツールを使うことで開発者は実行の任意の時点の状態を調査することができる．これらのツールはある1つの時点の状態を分析するには有効だが，複数の実行経路を持つようなメソッドの動作を理解するには不十分である．そこで本論文では，REMViewer (Repeatedly-Executed-Method Viewer)というJavaメソッドの複数の実行経路を可視化するツールを提案する．このツールはプログラムの実行を記録しておき，メソッドの1回ごとの実行経路を別々のビューとして表示するので，開発者は興味のある実行パスを選択し，それらの実行パスにおける局所変数の状態を比較するといった分析が可能となる．

抄録全体を表示

One of the properties of context-oriented programming languages is the composition of partial module definitions. While in most such language extensions the state and behavior introduced by partial definitions are treated equally at the module level, we propose a refinement of that approach to allow for both public and restricted visibility of methods and local and shared visibility of fields in our experimental language L. Furthermore, we propose a new lookup mechanism to reduce the risk of name captures.

抄録全体を表示