Software test case generation from system models and specification. Use of the UML diagrams and High Level Petri Nets models for developing software test cases.

The main part in the testing of the software is in the generation of test cases suitable for software system testing. The quality of the test cases plays a major role in reducing the time of software system testing and subsequently reduces the cost. The test cases, in model de- sign stages, are...

Full description

Bibliographic Details
Main Author: Alhroob, Aysh M.
Other Authors: Dahal, Keshav P.
Language:en
Published: University of Bradford 2012
Subjects:
Online Access:http://hdl.handle.net/10454/5453