{"product_id":"software-test-cases-generation-von-aysh-m-alhroob","title":"Software Test Cases Generation","description":"\u003cp\u003eThe 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 design stages, are used to detect the faults before implementing  it. This early detection offers more flexibility to correct the faults in early stages  rather than latter ones. The best of these tests, that covers both static and dynamic  software system model specifications, is one of the challenges in the software testing.  The static and dynamic specifications could be represented efficiently by Unified  Modelling Language (UML) class diagram and sequence diagram. The work in this  book shows that High Level Petri Nets (HLPN) can represent both of them in one  model. Using a proper model in the representation of the software specifications is  essential to generate proper test cases.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783847320487\"\u003e\u003ch3\u003eAutomatic software test cases generation from UML specification diagrams and formal software test cases using HLPN\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783847320487","offer_id":39493645566045,"sku":"9783847320487","price":68.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a110ad5e-91e7-4347-a1be-d072dadf9e16.jpg?v=1772866949","url":"https:\/\/shop.autorenwelt.de\/en\/products\/software-test-cases-generation-von-aysh-m-alhroob","provider":"Autorenwelt Shop","version":"1.0","type":"link"}