For Model-Based testing to be successful, it is necessary to model the system to be tested with an executable model-the most common ones are decision tables, finite state machines, statecharts, and some extension of classical Petri nets. Since these executable models are frequently paired with engines that allow a user to “execute” the model, this serves as an elegant form of rapid prototyping. Further, interesting scenarios can be easily captured and almost automatically expressed as system level test cases. After a brief discussion that eliminates three of the executable models, this chapter presents Event-Driven Petri Nets and blends them with…....
You need to Register or to access the full content.
"*" indicates required fields
About Me!
Paul jokes that he has an identity crisis: his twenty-year career in industry developing, supporting, and testing telephone switching systems is now exceeded by twenty-five years of university level teaching and research. First educated as a mathematician (B.A. and M.A) in the 1960s, he completed his Ph.D. in Computer Science in 1985, and promptly joined academia. He maintains active contacts with practitioners with his consultancy, Software Paradigms, and he prefers to make presentations at practitioner-oriented conferences. In his words, these contacts “keep him honest”.
Living and working in Italy for three years made him a confirmed Italophile-he travels there frequently with his wife, Carol, and their daughters Kirsten and Katia. He swims as often as he can, sails his small sailboat in the Michigan summers, and compensates for Michigan winters by going to Antigua with his family in the summer. His email address is [email protected]
By using this website you consent to our use of cookies. For more information on cookies see our Read MoreAccept
Privacy & Cookies
Privacy Overview
This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.