Special Research for Computer and Information Sciences - Shaoying LIU
- 2012 年度版 (2013年度版準備中)
Instructor
Goal and Theme
Students are expected to improve their knowledge on their research area and understand the state of the art on their research topic. They are also expected to demonstrate their ability for writing reports, papers, and thesis, either in Japanese or in English.
Abstract
Topics: (1)Verification and Validation of Formal Specifications with Rigorous Inspections (2) Configuration Management and Software Tool Support (3) Design and Implementation of Software Tools for Automatic Test Case Generation (4) Automatic Program Analysis for Implementation-Related Defect Detection This class is taught basically through seminars. Necessary knowledge and related work are explained and students are required to make presentations on the related work they have studied, progress they have made, problems they have encountered, and technical proposals they have considered. They are also required to improve their English proficiency in speaking, listening, reading, and writing.
Schedule
前期
| 回 | テーマ | 内容 |
|---|---|---|
| 1 | Introduction and explanation on research topics | Introdution to the latest research topics in the area of Formal Engineering Methods for software development. |
| 2 | Introduction to Software Engineering Techniques | Verification and Validation、Configuration Management and Software Tool Support, Design and Implementation of Software Tools for Automatic Test Case Generation, Automatic Program Analysis for Implementation-Related Defect Detection |
| 3 | Formal specification for software quality assurance | What is software quality assurance? How formal engineering methods can be used to ensure software quality? |
| 4 | Software verification and validation | The concepts of software verification and validation. What is their difference? How can they be performed? |
| 5 | Formal proof | How to use Hoare logic to prove the correctness of programs. |
| 6 | Review and inspection | What is software review, Parnas' Active Design Review, Specification-based inspection. |
| 7 | Model checking | The principle of model checking for verification. |
| 8 | Testing | Black testing, white testing, and model-based testing. |
| 9 | Automatic testing | The goal of automatic testing, principle of automatic testing, challenges, and possibilities. |
| 10 | Student presentation 1 and discussion 1 | Students are required to present the progress on their own research project. |
| 11 | Student presentation 2 and discussion 2 | Students are required to present the progress on their own research project, and hold a discussion on the problems they have met. |
| 12 | Student presentation 3 and discussion 3 | Students are required to present the progress on their own research project, and hold a discussion on the problems they have met. |
| 13 | Student presentation 4 and discussion 4 | Students are required to present the progress on their own research project, and hold a discussion on the problems they have met. |
| 14 | Student presentation 5 and discussion 5 | Students are required to present the progress on their own research project, and hold a discussion on the problems they have met. |
| 15 | Student presentation 6 and discussion 6 | Students are required to present the progress on their own research project, and hold a discussion on the problems they have met. |
授業外に行うべき学習活動
Students are required to search for related work in their research area, study the latest techniques in relation to their own research, and review what they have learned from the class.
Materials
Published papers, and ``Formal Engineering for Industrial Software Development'', Shaoying Liu, Springer, 2004
References
Published relevant papers
Evaluation Method
Thesis and presentations
情報機器使用
PC
前年度の授業改善アンケートからの気づき
None
Remarks
None