皆様、こんにちは！

産総研の北村崇師です。

下記の通り、産総研組み込みシステム技術連携体（＠尼崎）は、計算機言語談話 会 （CLC:Computer Language Colloquium）を開催します。

どなたでも無料で参加できます。皆様のご参加お待ちしております。

また参加の際は、事前に北村（ [email protected] ）までメールによるご 連絡をお願いいたします。

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 日時：平成 24 年 2 月 1 日（水） 16：00--17: 30

場所：（独）産総研関西センター尼崎事業所 E 棟 2 階 セミナー室 http://cfv.jp/cvs/access/index.html

演題：Automatic Specification-Based Program Testing

講演者：Prof. Shaoying Liu (Hosei University, Tokyo, Japan)

梗概： Automatic specification-based testing (ASBT) is a potentially effective and efficient technique for detecting errors in programs and attractive to industry due to its potential in saving time and cost. In this talk, after presenting the goals of the testing technique I will introduce a decompositional functional scenario-based testing technique, a specific ASBT, by explaining the strategy and criteria for test set generation, test oracle for test result analysis, and test process for tool support. I will also discuss the challenges and future research directions.

Bio.: Shaoying Liu is Professor at Hosei University, Japan. He received a Ph.D in Computer Science from the University of Manchester, U.K in 1992. His research interests include Formal Engineering Methods, Specification-based Inspection and Testing, and Intelligent Software Engineering Environments. He has published a book titled "Formal Engineering for Industrial Software Development" with Springer-Verlag, four edited conference proceedings, and over 120 academic papers in refereed journals and international conferences. He is the chair of Steering Committee for ICFEM conference, and on the editorial board for the Journal of Software Testing, Verification and Reliability (STVR) and for ISRN Software Engineering Journal. He is a Fellow of British Computer Society, Senior member of IEEE Computer Society, and member of Japan Society for Software Science and Technology.

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

以上よろしくお願いいたします。

-------------------------- 北村崇師 PhD [email protected] 特別研究員 （独）産業技術総合研究所 組込みシステム技術連携研究体

〒661-0974 兵庫県尼崎市若王寺3-11-46 Tel: 06-6494-8054 Fax: 06-6494-8073