講演抄録/キーワード |
講演名 |
2010-08-02 14:25
OTS/CafeOBJ法に基づく並行システムの実装とテスト生成 ○清野貴博(産総研)・中村正樹(金沢大) CST2010-33 |
抄録 |
(和) |
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者らは形式仕様の検証を元にテストスイートを生成し、テスト駆動による開発へ持ち込む手法を提案している。本稿では、提案済みの手法を発展させ、形式仕様を元に複数のオブジェクトから成る実装や並行実行を意識した実装を得る手法と、そのコードをテストするテストスイートの生成手法を提案する。 |
(英) |
In software developments with formal methods, there exists an unavoidable gap between a system description in formal specification languages and a system implementation in programming languages. In our previous work, we have proposed a method to generate test suites from verification results of a formal specification for the test driven development. In this work, we extend our method and apply it to concurrent systems whose implementations consist of several objects which work concurrently. |
キーワード |
(和) |
形式手法 / 並行システム / テスト / / / / / |
(英) |
Formal methods / Concurrent systems / Software testing / / / / / |
文献情報 |
信学技報, vol. 110, 2010年8月. |
資料番号 |
|
発行日 |
2010-07-26 (CST) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CST2010-33 |