权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

形式的仕様とプログラムの厳密なレビューの自動化についての研究

自动化正式规范和严格的程序审查的研究

基本信息

批准号：
16016279
负责人：
劉少英
金额：
$ 3.2万
依托单位：
Hosei University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2005
项目状态：
已结题

项目摘要

平成16年度には、ソフトウェアシステムの機能仕様とプログラムの整合性(consistency)と正当性(validity)を検証する厳密なレビュー技術の自動化方法の確立及びその方法を支援するツールの開発のために、以下の具体的な研究を行った。第一、検証すべき性質を形式的仕様から自動的に抜き出すアルゴリズムと支援ツールを開発した。第二、レビュータスク木と仕様テスト技術を統合してレビュープロセスを確立し、その技術を支援するツールを構築した。第三、プログラムは形式的設計仕様を満たすかどうかを検証するために、機能定義と実行パスの関係に基く仕様によるプログラムをレビューする方法を確立し、その方法の有効性を評価するために、銀行のATMシステムに応用することによりレビューの実験を行い、実験の結果を分析、その方法の有効性を確立した。第四、仕様によるプログラムをレビューする方法を高効率に支援するために、支援ツールを開発した。そのツールによりプログラムのレビューを行うには、仕様に定義された機能をプログラムで実装されたかどうかを検証だけでなく、定義されてないプログラムコードの正しさも検査できる。更に、以上の研究でソフトウェア検証の新たな課題も発見し、今後の研究を展開するには役に立つ材料を獲得した。

In 2016, we conducted the following specific research on the establishment and support of automation methods for the development of security technology in the context of functional specifications, consistency and validity of security systems. The first is to verify the nature of the form of the official from the automatic release and support to open Second, the establishment and support of technology for the development of new technologies Third, the design of the form, the definition of the function, the relationship between the implementation, the establishment of the method, the evaluation of the effectiveness of the method, the implementation of the ATM system, the analysis of the results, the establishment of the effectiveness of the method. Fourth, the development of a high-efficiency support system The function of the file is to install the file, to verify the file, to define the file, to check the file. In addition, the above research has been successful in identifying new problems, and future research has been carried out to obtain new materials.

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

An Investigation of the Approach to Specification-based Program Review through Case Studies

通过案例研究研究基于规范的项目评审方法

DOI：
发表时间：
2004
期刊：
9th IEEE International Conference on Engineering of Complex Computer Systems April
影响因子：
0
作者：
Fumiko Nagoya;Shaoying Liu;Yuting Chen
通讯作者：
Yuting Chen

An Approach to Detesting Domain Errors Using Formal Specification-based Testing

使用基于规范的正式测试来检测域错误的方法

DOI：
发表时间：
2004
期刊：
11th Asia-Pacific Software Engineering Conference December
影响因子：
0
作者：
Yuting Chen;Shaoying Liu
通讯作者：
Shaoying Liu

An Automated Rigorous Review Method for Verifying and Validating Formal Specifications

用于验证和验证正式规格的自动严格审查方法

DOI：
发表时间：
2004
期刊：
Second International Symposium on Automated Technology for Verification and Analysis LNCS3299
影响因子：
0
作者：
羽室行信;加藤直樹;矢田勝俊;鷲尾隆;矢田勝俊;Shaoying Liu
通讯作者：
Shaoying Liu

Formal Engineering for Industrial Software Development: Using the SOFL Method