MISC - KATAYAMA Tetsuro
-
デバイスドライバの自動生成に向けて －プリンタデバイスの生成に関する考察－
共著者：片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 97-OS-76 (SWoPP'97), 43-48頁 1998.8
-
小板 隆浩, 片山 徹郎, 最所 圭三, 福田 晃
全国大会講演論文集 56 ( 0 ) 21 - 22 1998.3
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
-
デバイスドライバの自動生成に向けて－デバイスドライバの定式化－
共著者：長尾周司, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 97-OS-74, 177-182頁 1998.2
-
Testing of Concurrent Programs
FURUKAWA Zengo, ITO Eisuke, KATAYAMA Tetsuro
IPSJ Magazine 39 ( 1 ) 7 - 12 1998.1
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Information Processing Society of Japan (IPSJ)
-
並行処理プログラムの試験
共著者：古川善吾, 伊東栄典, 片山徹郎
情報処理学会学会誌, 39巻, 1号, 7-12頁 1998.1
-
OSの自動生成に向けて
共著者：長尾周司, 片山徹郎, 張漢明, 最所圭三, 福田晃
情報処理学会研究報告, 96-OS-73 (SwoPP'96), 103-108頁 1997.8
-
オブジェクト指向プログラムのテストのためのモデルについて
共著者：古川善吾, 梅田修一, 片山徹郎, 伊東栄典, 牛島和夫
情報処理学会研究報告, 95巻, 11号, 89-94頁 1996.1
-
A System to Generate Test-cases for C Concurrent Programs.
片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 51 ( 0 ) 181 - 182 1995.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
近年,並行処理プログラムが実際の場で多く書かれるようになってきた.これに伴い,並行処理プログラムの信頼性向上の方法の一つとして,テストが重要な役割を演じてきている.実用的な並行処理プログラムの記述には,UNIXオペレーティングシステムと連係したC言語が多く用いられている.そこで,これまでAdaで記述された並行処理プログラムに対して開発してきたテストケース生成方法を,C言語で記述された並行処理プログラムへ適用した.UNIXが提供する並行処理の機構は,Adaのランデブーに比較すると多様であるので,プログラムの動作を把握するためのモデルとして,事象相互作用グラフを用いた.そのグラフ上の協調路をテストケースとして取り扱う.
-
並行処理プログラムにおける構造テストのためのテスト実施方式について
共著者：菰田敏行, 片山徹郎, 古川善吾,牛島和夫
情報処理学会九州支部研究会報告, 1-8頁 1995.3
-
オブジェクト指向プログラムのテスト法に関する一考察
共著者：古川善吾, 梅田修一, 片山徹郎, 伊東栄典, 牛島和夫
情報処理学会研究報告, 94巻, 6号, 123-130頁 1995.1
-
Optimization of Test events of Ordered Sequnece Criteria
伊東 栄典, 川口 豊, 片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 49 ( 0 ) 213 - 214 1994.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
プログラムをテストする湯合,テスト基準に従いテストを行なう方法がある.従来の逐次処理プログラムに対しては様々なテスト基準が提案されている.並行処理には実行の非決定性,プロセス間の通信や同期といった逐次処理にはない動作の複雑さを持つ.このため逐次処理プログラムのテスト基準だけで,並行処理プログラムをテストするのは妥当ではない.我々は,現在までに並行処理プログラムの新たなテスト基準として順序列テスト基準を提案してきた.順序列テスト基準では,通信や同期に関する文(以後,通信同期文と呼ぶ)の列をテストにおける測定事象とする.列を測定事象とすることにより,並行処理プログラムの特徴であるプログラムの非決定的な動作や,プロセス間の同期や通信をテストすることが可能になる.しかしながら,順序列テスト基準では通信同期文を機械的に並べた列を測定事象としているため,プログラムの実行において実現不可能な列を測定事象に含めてしまうという問題がある.本稿では,事象グラフを利用して,実現不可能な順序列を検出する方法について考察する.
-
A Model for Concurrent Programs to Detect Communication Errors and Synchronization Errors in Testing
片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 49 ( 0 ) 219 - 220 1994.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
近年,並行処理プログラムが実際の場で多く使われるようになってきた.これに伴い,並行処理プログラムの信頼性向上の方法の一つとして,テストが重要な役割を演じてきている.逐次処理プログラムに比べると,並行処理プログラムは同期や通信などの機構を備えているため動作が複雑である.並行処理プログラムで発見される誤りは,以下のように分類できる.i)プロセス内での誤り-逐次処理プログラムにおいて考えられる誤り.ii)通信に関する誤り-並行に実行されるプロセス間でデータの受渡し時に発生する誤り.iii)同期に関する誤り-並行に実行されるプロセス間で同期の取り方の誤り.これについては,さらに以下のように分類できる.(1)安全性の破壊-相互排除の失敗によるデータの一貫性の喪失.(2)生存性の破壊-並行処理プログラムが意味のある動作を全く行わない.デッドロックとも呼ばれる.(3)公平性の破壊-ある特定のプロセスだけが実行を不当に待たされる.ライブロックとも呼ばれる.本論文では,並行処理プログラム特有の同期・通信に関する誤りを,テストによって発見するための,並行処理プログラムのモデルを提案する.
-
タスク型を含んだ並行処理プログラムのテスト法について
共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫
情報処理学会研究報告, 93巻, 59号, 181-188頁 1994.7
-
Ada並行処理プログラムのテストケース作成とその強制実行に関する一考察
共著者：菰田敏行, 片山徹郎, 古川善吾, 牛島和夫
第20回 Japan SIGAda, 9-15頁 1994.4
-
Testing Criteria for Programs written in an Object Orientied Programming Language
Furukawa Zengo, Umeda Shuichi, Katayama Tetsuro, Itou Eisuke, Ushijima Kazuo
IPSJ SIG Notes 1994 ( 6 ) 123 - 130 1994.1
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Information Processing Society of Japan (IPSJ)
This paper proposes and discusses testing criteria for programs written in an object oriented programming language (object oriented programs). Three testing criteria are specified for the programs. The first is the path testing criterion on a control flow graph for each object. The second is the method testing criterion which requires all methods in a program are executed at least once in testing. The last is the call testing criterion which requires all pairs of callings and declarations for a method are executed at least once. These criteria are based on a source code of an object oriented program. A supporting tool is necessary for the testing criteria as development environment for object oriented programs.
-
A Study of Testing Support Tool For concurrent Programs.
片山 徹郎, 菰田 敏行, 古川 善吾, 牛島 和夫
全国大会講演論文集 47 ( 0 ) 169 - 170 1993.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
近年,LANやマルチプロセッサの普及により,並行処理プログラムが実際の場で多く書かれるようになってきた.これに伴い,並行処理プログラムの信頼性向上の方法の一つとして,テストが重要な役割を演じてきている.逐次処理プログラムのテスト法については,様々な方法が提案され,テスト支援ツールも数多く開発されている.しかしながら,並行処理プログラムのテスト法については,充分な手法が存在するとは言い難く,テスト支援ツールについても同様である.そこで本論文では,並行処理プログラムのためのテストを支援するツールに関する考察を行う.
-
並行処理プログラムのテストケース生成におけるタスク型に関する一考察
共著者：片山徹郎, 古川善吾, 菰田敏行, 牛島和夫
日本ソフトウェア科学会9回大会論文集, 49-52頁 1993.7
-
A Testcase Generation Tool for Concurrent Programs
菰田 敏行, 片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 45 ( 0 ) 253 - 254 1992.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
従来,テストデータを選定する基準となるテストケースが人の手によって作られることが多かったため,テストデータに漏れや重複が多くあった.テストケースを系統的に作成することにより,テストの質を高めることができる.逐次処理プログラムにおいては,テストデータやテストケースについての研究が広くなされているけれども,並行処理プログラムに対しては十分とは言い難い.これまでに,並行処理プログラムのモデルとテストケースを定義し,プログラミング言語Adaを対象としてテストケース自動作成ツールTCgenを試作した.本発表では,TCgenの概要とAdaプログラムにツールを適用した結果について述べる.
-
並行処理プログラムのためのテストケース生成系の試作
共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫
情報処理学会研究報告, 92巻, 59号, 9-16頁 1992.7