DocumentCode
2907957
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
fYear
2009
fDate
24-26 Nov. 2009
Firstpage
1168
Lastpage
1173
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCIT.2009.107
Filename
5368894
Link To Document