並列摘要
Many researches to testing object-oriented programs (OOPs) have been proposed for the past decade. However, most of these researches have centered only around the class-level testing instead of the whole profiles of OOP development. This paper presents a framework to test OOPs from em formal specification to em test data generation. The formal specification of object-oriented program is specified in Z notation which is a mathematically rigorous specification language. A state transition diagram (STD) derived from Z specification provides a complementary representation of the dynamic behavior of a given OOP. In addition, the STD can be used to generate a test data which consists of anticipated operation sequences of OOPs. Moreover, a testing algorithm modeled by em finite state machine is proposed to run against test data. Two important testing criteria, consistency and completeness (C & C), are used to evaluate testing result. The final test result shows that the testing framework is executable and pragmatic.
延伸閱讀
- 張哲瑋（2011）。Support Vector Oriented Instance Selection for Text Classification〔碩士論文，國立中央大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0031-1903201314421591
- 曾淑峰、陳泓志（2002）。A Study on Framework-Based Object-Oriented System Development。資訊管理學報，9(1)，107-134。https://doi.org/10.6382/JIM.200207.0107
- Polančič, G., Horvat, R. V., & Rozman, I. (2009). Improving Object-Oriented Frameworks by Considering the Characteristics of Constituent Elements. Journal of Information Science and Engineering, 25(4), 1067-1085. https://doi.org/10.6688/JISE.2009.25.4.7
- 何彩瑜（1994）。The Inheritance of Object-Oriented Data Model with Fuzzy Representation〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-3004200913340954
- 朱偉綸（2010）。Regression Testing for Aspect-Oriented Programs Evolved from Object-Oriented Programs〔碩士論文，國立臺北科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0006-0312201017470000