著者

古川 善吾 野木 兼六 徳永 健司

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.25, no.5, pp.736-744, 1984-09-15

---

ソフトウェアの機能テストのためのテスト項目を系統的に作成するAGENT技法を提案した.AGENT技法は 機能図式(Function Diagram)という形式的な記法によってソフトウェアの機能仕様を表現した後 機械的にテスト項目を作成する技法である.機能図式は 入力や出力の順序に依存した対応関係を表す状態遷移(状態遷移図で記述する)と 状態遷移の各状態での入力データと出力データや遷移先状態との対応関係を表す論理関係(原因結果グラフあるいは決定表で記述する)とから成っている.AGENT技法では この機能図式から 通過すべき状態の列と各状態での入出力データの条件の組合せとして 以下の条件を満たすテスト項目を機械的に作成する.?各状態での入出力データの条件を確認するのに十分である.?状態遷移を構造化した構造化状態遷移の各遷移を少なくとも1回は辿る.?構造化状態遷移の繰返しは0回と1回の2通りを実現する.このテスト項目作成を自動的に行うためにAGENTプログラムを開発した.本論文では テスト項目作成の考え方 AGENTプログラムの概要について述べた.

著者

野木 兼六

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.37, no.4, pp.343-350, 1996-04-15

参考文献数

10

著者

五百蔵 重典 西尾 孝典 野木 兼六

出版者

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

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.48, no.10, pp.199-199, 2007-06-15

---

ヒープに確保された使用されていないオブジェクトを自動的に回収するガーベジコレクション機能(以下,GC)は,プログラマのメモリ管理の負担を軽減するための重要な機能である.GC アルゴリズムの中には,GC で生き残った古いオブジェクトは若いオブジェクトよりも長く生き残るという経験則を利用して,新しく作成されたオブジェクトのみをGC の対象とすることで,処理速度を向上させる世代別GC アルゴリズムがある.しかし世代別GC アルゴリズムは,古い領域から新しい領域へのリンクを検出する処理(以下,ライトバリア)が必要である.そして,そのライトバリアは実行時間のオーバヘッドになること,処理系を実装するために必要な箇所にライトバリアを配置することは煩雑であることから,世代別GC アルゴリズムを効率良く実装することは難しいのが現状である.そこで本発表では,先頭側の領域をold 領域,末尾側の領域をnew 領域に分断し,old 領域に属しているオブジェクトはすべて古いオブジェクトと見なす新しい世代別GC アルゴリズムを提案する.本発表のアルゴリズムでは,old 領域ではnew 領域へのポインタが存在するかを検査し,new 領域ではGC を行う.本発表のアルゴリズムの特徴として,ライトバリアが必要ない,メジャーコレクションとマイナーコレクションが一体化している,および生きているオブジェクトの移動を必要としないなどがあげられる.本発表では,提案アルゴリズムをオブジェクト指向スクリプト言語であり,マーク&スイープ型の保守的GC を備えるRuby 上に実装した結果,全体の処理時間は最高90.8%に短縮でき,1 回のGC 時間では最高70.8%に短縮することができたことを示す.Garbage collection (GC) algorithms which collect unused objects in heap memory automatically are important technology, because there free programmer from memory management. There are Generation GC algorithms which try to collect unused object in only heap area are which contain new objects (new-area), using the experience that many younger objects tend to be unused object soon after allocate, and used objects after GC tend to keep being used, therefore Generation GC algorithms improvement execution time. But, Generation GC algorithms need program code which search for link from old-area to new-area (hereafter, write-barrier code). Then write-barrier code has over-head at program execution time and needs to set many write-barriers appropriately in language processor. Therefore we are difficult to implement Generation GC algorithm. We propose new Generation GC algorithm which we assume that head-side of heap area is old-area, and tail-side of heap area is newarea. The framework of this algorithm searches pointers from old-object to new-object in old-area, and applies to GC in new-are. The character of this algorithm don't need writebarrier, a distinction of combines major collection and minor collection is a little, and don't move old-objects in old-area. We implement this algorithm in object-oriented script language Ruby which have conservative mark & sweep GC algorithm. We show that execution time is 90.8% at a maximum, and one GC time is 70.8% than original ruby.

著者

古川 善吾 野木 兼六 徳永 健司

出版者

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

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.25, no.5, pp.736-744, 1984-09-15

被引用文献数

4

---

ソフトウェアの機能テストのためのテスト項目を系統的に作成するAGENT技法を提案した.AGENT技法は 機能図式(Function Diagram)という形式的な記法によってソフトウェアの機能仕様を表現した後 機械的にテスト項目を作成する技法である.機能図式は 入力や出力の順序に依存した対応関係を表す状態遷移(状態遷移図で記述する)と 状態遷移の各状態での入力データと出力データや遷移先状態との対応関係を表す論理関係(原因結果グラフあるいは決定表で記述する)とから成っている.AGENT技法では この機能図式から 通過すべき状態の列と各状態での入出力データの条件の組合せとして 以下の条件を満たすテスト項目を機械的に作成する.?各状態での入出力データの条件を確認するのに十分である.?状態遷移を構造化した構造化状態遷移の各遷移を少なくとも1回は辿る.?構造化状態遷移の繰返しは0回と1回の2通りを実現する.このテスト項目作成を自動的に行うためにAGENTプログラムを開発した.本論文では テスト項目作成の考え方 AGENTプログラムの概要について述べた.

著者

古川善吾 車谷博之 野木兼六 徳永健司

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1982, no.57(1982-SE-028), pp.43-48, 1983-02-09