Marcelo Marinho
ABSTRACT
The demand for high quality software has motivated a definition of methods and techniques. As a result, the interest in software testing activities has been growing over the last few years. Software companies currently seek low cost testing procedures and at the same, with great capacity to handle mistakes. In this article, concepts related to testing processes are mapped in Stochastic Petri Nets(SPN) which provides a formal representation for measures used in performance analysis.
- OMG UML. 2.0 Superstructure Specification. http://www.uml.org/, 2005.Google Scholar
- A. Davison and D. Hinkley. Bootstrap methods and their application. Cambridge Univ Pr, 1997.Google ScholarCross Ref
- A. Desrochers and R. Al-Jaar. Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis. IEEE Press, 1995.Google Scholar
- R. German. Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. John Wiley & Sons, Inc. New York, NY, USA, 2000. Google ScholarDigital Library
- P. King and R. Pooley. Using UML to derive stochastic Petri net models. In Proceedings of the 15th UK Performance Engineering Workshop, pages 45--56. Citeseer.Google Scholar
- J. Merseguer and J. Campos. Software performance modeling using uml and petri nets. Lecture Notes in Computer Science, 2965:265--289, 2004.Google ScholarCross Ref
- G. Myers. The art of software testing. Wiley, 2004. Google ScholarDigital Library
- T. Pender. UML Bible. John Wiley & Sons, Inc. New York, NY, USA, 2003. Google ScholarDigital Library
- R. Pressman and D. Ince. Software engineering: a practitioner's approach. McGraw-Hill New York, 2005. Google ScholarDigital Library
- I. Sommerville. Software Engineering. Addison Wesley, 1995. Google ScholarDigital Library
- J. Tian. Software Quality Engineering: Testing, Quality Assurance and Quantifiable Improvement. Wiley, 2005. Google ScholarDigital Library
Index Terms
- Performance evaluation of test process based on stochastic models
Recommendations
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange ...
Stochastic Petri Net Representation of Discrete Event Simulations
In the context of discrete event simulation, the marking of a stochastic Petri net (SPN) corresponds to the state of the underlying stochastic process of the simulation and the firing of a transition corresponds to the occurrence of an event. A study is ...
Product-form and stochastic Petri nets: a structural approach
Stochastic Petri nets (SPNs) with product-form solution are nets for which there is an analytic expression of the steady-state probabilities with respect to place markings, as it is the case for product-form queueing networks with respect to queue ...
Comments