Title :
Formal and informal approaches for validation
Author_Institution :
Grad. Sch. of Syst. Manage., Tsukuba Univ., Tokyo, Japan
Abstract :
The author considers applying conventional approaches to validate OOS (object-oriented systems) and then investigates new aspects caused by the properties of OOS. He also focuses on two issues, each representing a typical property of the static aspect and the dynamic aspect. The issues examined are abstraction hierarchy consistency and concurrent behavior correctness
Keywords :
object-oriented programming; program verification; abstraction hierarchy consistency; concurrent behavior correctness; dynamic aspect; object-oriented systems; static aspect; validation; Erbium; Inspection; Knowledge representation; Message passing; Object oriented modeling; Object oriented programming; Software engineering; Software libraries; Software quality; Testing;
Conference_Titel :
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location :
Tokyo
Print_ISBN :
0-8186-2152-4
DOI :
10.1109/CMPSAC.1991.170235
