題名: Verification of Embedded Object-Oriented Software
作者: Win-Bin See1;Pao-Ann Hsiung;Trong-Yen Lee;Jih-Ming Fu;Sao-Jie Chen 貢獻者: Aerospace Industrial Development Company, Taichung, Taiwan;National
Chung Cheng University, Chiayi, Taiwan;National Taipei University of Technology, Taipei, Taiwan;Cheng Shiu Institute of Technology, Kaohsiung, Taiwan;National Taiwan University, Taipei, Taiwan 日期: 2002-09-13
上傳時間: 2009-12-08T09:00:20Z 出版者: 臺中健康暨管理學院
摘要: The demands for the development of embedded systems are increasing at this post-PC era. Consumer electronics systems, safety critical
medical electronics, and avionics systems are all embedded systems.
Object-oriented software technologies are increasingly proven to
produce reusable and maintainable software. Accordingly, development methods for embedded object-oriented software are getting more important than ever in this post-PC era. Verification and validation of the software system under development consumes great percentage of budget for the project. In this article, we address the issue of verification in the context of embedded object-oriented software. We categorize the various verification methods applied in different software artifacts, which include software requirement specifications, source code, and
framework. We give examples for each of these verification methods and discuss the software that builds verification as part of run-time behavior. In this article, we explore the embedded object-oriented software development from the aspect of verification. We hope this kind of exploration will assist in clarifying how these verification methods will be more appropriately used in embedded system development.
