UNIX上のコマンドとファイル間の意味的制約・関係を管理するデータベースの作成
创建管理 UNIX 上命令和文件之间的语义约束以及关系的数据库
基本信息
- 批准号:10780174
- 负责人:
- 金额:$ 1.15万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份:1998
- 资助国家:日本
- 起止时间:1998 至 1999
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
ソフトウェアオブジュクト間の制約・関係の表現方法確立のための基礎として,UNIXコマンドデータベース作成実験を行った。このデータベースで扱う制約とは,例えば「manコマンドの環境変数MANPAGERに設定して良いコマンドは何か?」といった,ソフトウェアの仕様そのものに関係する制約である。以下に成果概要を示す。1.本実験で扱ったコマンドは,cat,man,tar,lprの4つのコマンドのみであるが,関係を表現するERA図はかなり複雑になることを確認した。例えば,manコマンドのみの関係図は実体数が17,関連数が22となった。2.1.の関係図をEmeraude PCTE上で表現した上で,tarのオプションとMANPAGERの制約の一部について,Emeraude PCTE上のツールとして実験的実現を行った。3.2.の実現において,やはり実現が困難な部分があることを確認した。これらは,制約の(1)位置情報,(2)仕様(意図),(3)動的情報の3つの性質に大きく起因し,実際のプログラムコードでも同様の困難さが生じやすいことを考察した。つまり,ソフトウェアオブジェクトを形式的なオブジェクトに限定しても,制約の記述は困難であり,その原因は主に上記の3種類であることが,本実験の結論として得られた。
The foundation for the establishment of the expression method of the constraints and relationships between software and hardware is now being implemented in UNIX. For example,"Man, environment, MANPAGER, settings, good environment, how to control" In the middle of the game, the game is played and the game is played. A summary of the results is presented below. 1. This is the first time that the relationship between the two countries has been confirmed. For example, the number of bodies and the number of connections of the man are 17 and 22 respectively. 2.1. The relationship between Emeraude PCTE and MANPAGER is a part of the control,Emeraude PCTE is a part of the control. 3.2. The difficulty of the problem is confirmed. This restriction includes (1) location information,(2) status (meaning),(3) dynamic information, and (3) the nature of the information. The main reason for the difficulty in describing the three types of problems in the form of restriction and restriction is that there are three types of problems in the description.
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
田中聡.権藤克彦: "PCTEを用いたUNIXコマンドデータベースの作成"情報処理学会研究報告2000-SE-15. Vol2000No.4. 83-90 (2000)
Satoshi Tanaka。Katsuhiko Gondo:“使用 PCTE 创建 UNIX 命令数据库”日本信息处理协会研究报告 2000-SE-15 Vol2000No.4 (2000)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
権藤 克彦其他文献
UCDetector: retain cycle detector for Swift language implemented on user-land
UCDetector:在用户态实现的 Swift 语言的保留循环检测器
- DOI:
10.11309/jssst.39.4_97 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
権藤 克彦;新山 祐介;荒堀 喜貴 - 通讯作者:
荒堀 喜貴
権藤 克彦的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('権藤 克彦', 18)}}的其他基金
ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発
开发易于使用软件检测进行调试的 C/C++ 内存相关漏洞检测器
- 批准号:
24K14890 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
ソフトウェア追跡性とソフトウェア解析技術の融合
软件溯源与软件分析技术融合
- 批准号:
19K11897 - 财政年份:2019
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
ANSI C言語用ソフトウェアスライサ開発へのXMLの応用
XML在ANSI C语言软件切片机开发中的应用
- 批准号:
14780202 - 财政年份:2002
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
l-Orodered属性文法の有用性の検証に関する研究
l-有序属性文法有效性验证研究
- 批准号:
08780248 - 财政年份:1996
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)