Title :
Test Generation Based on Notated Net
Author :
Han, Wei ; Zhang, Na ; Ding, Zuohua
Author_Institution :
Center of Math. Comput. & Software Eng., Zhejiang Sci-Tech Univ., Hangzhou, China
Abstract :
This paper presents a new method to generate test cased based on the Object Oriented Net (OON) model, notated with Z schemas. We can be benefited from this method in that: (1) Picturing the whole system while generating the test by the algorithm at the same time; (2) Instructing coding by the extended model.
Keywords :
network operating systems; object-oriented programming; program testing; Object Oriented Net model; Z schemas; notated net; test generation; Automatic testing; Data mining; Electronic mail; Encapsulation; Graphics; Information technology; Object oriented modeling; Software engineering; Software testing; System testing;
Conference_Titel :
Computer Sciences and Convergence Information Technology, 2009. ICCIT '09. Fourth International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-5244-6
Electronic_ISBN :
978-0-7695-3896-9
DOI :
10.1109/ICCIT.2009.107
