1999 Fiscal Year Annual Research Report
ソフトウェアの形式的仕様と設計の厳密な検証技術の研究
| Project/Area Number |
11680368
|
|---|
| Research Institution | Hiroshima City University |
|---|
Principal Investigator |
劉 少英 広島市立大学, 情報科学部, 助教授 (90264960)
|
|---|
| Keywords | 形式的仕様 / ソフトウェア検証 / 仕様テスト / 形式的仕様言語 / 厳密なレビュー / ソフトウェア信頼性 / SOFL / テスト支援環境 |
|---|
| Research Abstract |
このプロジェクトの目的は、ソフトウェアの形式的仕様と設計の厳密な検証技術を研究することである。この技術では、ソフトウェアシステムを実現するまえに、システムの仕様と設計がユーザの要求を満足するかを検証することにより、主な問題や誤りを発見することができる。その結果,ソフトウェアシステムのコストを減らし、信頼性を高めることができる。
平成11年度には、厳密な仕様テスト技術及び厳密なレビューの研究を行った。具体的には、従来のプログラムにおけるテスト及びレビュー技術が形式的証明手法に統合され、形式的仕様と設計の効果的なテスト技術を研究した。ユニトと統合テストのために、いくつかのテストの策略(strategy)及びテストケースの生成手法、レビューの基本原理とルール、ソフトウェア支援ツールの構築等に関する問題を解決する研究を行った。
|
Research Products
(3 results)
-
[Publications] Shaoying Liu: "Verifying Consistency and Validity of Formal Specification by Testing"Lecture Notes in Computer Science. 1708. 896-914 (1999)
-
[Publications] (1)Shaoying Liu (2)Masaomi Shibata (3)Ryuichi Sato: "Applying SOFL to develop a University Information Sysfem"Proceedings of 1999 Asia-Pacific Software Engineering Conference. 404-411 (1999)
-
[Publications] (1)A.Jeff Offutt (2)Yiwei Xiong (3)Shaoying Liu: "Criteria for Generating Specification-based Tests"Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems. 119-129 (1999)
