學術出版;;Publications
Permanent URI for this communityhdl:11536/1
收集所有交通大學研究人員與學生個人或團體所發表之各項學術著作,涵蓋期刊論文、教師專書、學位論文等項。;;Collections of Publications of NCTU Researchers and Students Like Journal Papers and Thesis.
Browse
3 results
🏛️國立陽明交通大學機構典藏
Search Results
Item type:Item, An inheritance flow model for class hierarchy analysis(1998-06-30) ;Chen, JL ;Wang, FJ ;資訊工程學系Department of Computer ScienceThis paper presents an inheritance flow model, which represents the inheritance relationships among classes as a flow graph. A flow operation is associated with each attribute and method in a class to denote the defined (redefined) or inherited member. An inherited member can be deemed as being handled by a sequence of how operations along a path in the flow graph. This model provides several analyses in a class hierarchy, such as implicit inherited member and polymorphic method invocation. These analyses may be applied in various fields of software engineering, such as static analysis, maintenance, and complexity measurement. (C) 1998 Elsevier Science B.V. All rights reserved.Item type:Item, Flow analysis of class relationships for object-oriented programs(2000-07-01) ;Chen, JL ;Wang, FJ ;資訊工程學系Department of Computer ScienceProgram analysis techniques have been widely applied in various fields of software engineering, such as debugging, testing, and proof of simple correctness properties. In object-oriented (OO) programs, inheritance, association, and aggregation relationships may introduce complicated dependencies concealed within classes that might obstruct program analysis. This paper proposes a class relationship flow models to provide analysis for inheritance, association, and aggregation of class relationships. The flow model consists of three flows, inheritance, association, and aggregation flows, corresponding to these relationships. A sequence of class relationships is represented as a flow path from one class to another. Along a flow path, each member within a class is associated with an operation, define or use, to represent whether its status is changed or referenced. Thereby, the concealed dependencies introduced by class relationships can be analyzed according to the flow operations. The analysis might be used as a technique for program understanding, anomaly detection, and program testing.Item type:Item, Slicing object-oriented programs(1997) ;Chen, JL ;Wang, FJ ;Chen, YL ;資訊工程學系Department of Computer ScienceProgram slicing has various applications in the fields of software engineering. The Object-Oriented (OO) paradigm introduces the features of abstraction, encapsulation, inheritance, and polymorphism to programs, but is not considered current program slicing techniques. In this paper, we define two types of program slices, state and behavior slices, by taking the dependencies of OO features into consideration. A state slice for an object is a set of messages and control statements that might affect the state of the object, while a behavior slice is a set of attributes and methods defined in related classes that might affect the behavior of the object. These slices may facilitate programmers to debug and understand OO software. The algorithms that developed based on an Object-oriented Dependency Graph to compute these slices can get more precise result by exploring the internal dependencies of complex objects.