下載電子全文宣告This thesis is authorized to indicate in-campus access only
You can not download at the moment.
Your IP address is 184.108.40.206
The defense date of the thesis is 2004-08-19
The current date is 2019-03-22
This thesis will be accessible at off-campus not accessible
URN etd-0819104-145500 Statistics This thesis had been viewed 1832 times. Download 13 times. Author Yun-Liang Huang Author's Email Address No Public. Department Computer Science and Enginerring Year 2003 Semester 2 Degree Master Type of Document Master's Thesis Language English Page Count 36 Title Estimating the Polymorphism Defects in Design Stage Keyword Testability Reachability Polymorphism RATO model Observability Inheritance Dynamic binding Design for Testability Descendant path Controllability Controllability Descendant path Design for Testability Dynamic binding Inheritance Observability Polymorphism RATO model Reachability Testability Abstract Software testing is one of the most common way for assuring quality of software system, and software testability be also recognized as new part of the software quality at the same time. Conventional software testing methods are divided into two categories: static testing and dynamic testing. Most of testing methodologies fall into the category of dynamic test, due to the face that more information can be derived during programs execution. On the contrary, in object-oriented software test, the feature of inheritance and polymorphism produce new testing obstacle during dynamic testing. Our research in this paper will propose a tester perspective to assess the polymorphism in design stage and this way also provide useful information for developer to probe into the fault that is hid from test in early stage. In addition, from our polymorphism RATO model, we recognized a new factor of testability in design stage that is referred to as reachability.
We think that the main contribution of this paper is providing an alternative tester perspective for developer and let developer can estimate the polymorphic behavior in class inheritance hierarchy that may cause of test obstacle at design phase. At the same time, this is first literature to propose the polymorphism RATO model to model polymorphic behavior, and use it as basis of analytical unit to decompose inheritance class hierarchy. Besides, we overcome the interdiction of lack of testing information during design stage in the past. The metric of testability, generated by the polymorphism RATO model, can reveal defects that hide at design stage in class hierarchy, it can provide most early information for developer on modify, redesign the system and find another way to fix these defect as well.
Advisor Committee Jin-Cherng Lin - advisor
none - co-chair
none - co-chair
Files Date of Defense 2004-07-16 Date of Submission 2004-08-19