WEKO3
アイテム
Adaタスキングプログラムのデバッギングシステム
https://ipsj.ixsq.nii.ac.jp/records/22437
https://ipsj.ixsq.nii.ac.jp/records/22437e11d3046-d7f7-4f3b-93d7-a3ae38ed405f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE87058014.pdf (1.3 MB)
|
Copyright (c) 1988 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1988-02-12 | |||||||
| タイトル | ||||||||
| タイトル | Adaタスキングプログラムのデバッギングシステム | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Debugging System for Ada Tasking Programs | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 広島大学大学院 | ||||||||
| 著者所属 | ||||||||
| 広島大学大学院 | ||||||||
| 著者所属 | ||||||||
| 広島大学大学院 | ||||||||
| 著者所属 | ||||||||
| 広島大学工学部 | ||||||||
| 著者所属 | ||||||||
| 広島大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hiroshima University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hiroshima University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hiroshima University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hiroshima University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hiroshima University | ||||||||
| 著者名 |
吉野, 真澄
× 吉野, 真澄
|
|||||||
| 著者名(英) |
Masumi, Yoshino
× Masumi, Yoshino
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では、Adaタスキングプログラムのためのデバッギングシステムについて述べる。システムは、1)プログラム実行中に発生したデッドロックを常に検出する、2)タスク間通信といった複数のタスクにまたがるイベントに関する情報を提供する、3)イベント記述によってプログラムの実行に制約を課すことができる、といった機能を提供している。プログラマは、これらの機能を用いて、Adaタスキングプログラムのデバッグを効率良く行なうことができる。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | This paper presents a bedugging system for Ada tasking programs. The system provides facilities 1) to detect deadlock errors when it occurs during the execution of a program, 2) to offer information of events which affect more than one tasks such as inter-task communications, and 3) to impose constraints on the execution of programs by specifying description of events. By using the debugging system, the programmers can debug Ada tasking programs efficiently. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1988, 号 7(1987-SE-058), p. 105-112, 発行日 1988-02-12 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
