sale
High Level Transition Systems of CSP Specifications
High Level Transition Systems of CSP Specifications
High Level Transition Systems of CSP Specifications
High Level Transition Systems of CSP Specifications
High Level Transition Systems of CSP Specifications
High Level Transition Systems of CSP Specifications
Trending Bestseller

High Level Transition Systems of CSP Specifications

Markus Dahlweid

No reviews yet Write a Review
Paperback / softback
09 May 2008
RRP: $126.87
$102.00
Ships in 5–7 business days
Hurry up! Current stock:
icon Share icon Share
Description  
State of the art quality assurance for safety critical software systems requires formal methods for verification and testing. One of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from formal specifications.The authors present an approach to reduce the problem of state explosions using a representation of the transition system of a CSP specification, that does not require the calculation of the complete state space. Different stages of the normalisation of high level transition graphs and synchronisation terms have been developed, which can directly be used for real-time testing. To enable real-time testing with unnormalised graphs, an on-the-fly normalisation is introduced which imposes certain requirements on the CSP speci­fication. In some cases, the test evaluation needs not to be performed in real-time. Instead it is often sufficient to do the test evaluation with a slight delay of a few seconds. For those cases a new test algorithm for a delayed test evaluation is suggested, which can be used for testing purposes based on any type of transition systems, even unnormalised systems.
Customer reviews  

This product hasn't received any reviews yet. Be the first to review this product!

Write a Reviews
Flat Rate Shipping  
Easy Returns  
RRP: $126.87
$102.00
Ships in 5–7 business days
Hurry up! Current stock:
icon Share icon Share
Flat Rate Shipping  
Easy Returns  

High Level Transition Systems of CSP Specifications

RRP: $126.87
$102.00

Description

State of the art quality assurance for safety critical software systems requires formal methods for verification and testing. One of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from formal specifications.The authors present an approach to reduce the problem of state explosions using a representation of the transition system of a CSP specification, that does not require the calculation of the complete state space. Different stages of the normalisation of high level transition graphs and synchronisation terms have been developed, which can directly be used for real-time testing. To enable real-time testing with unnormalised graphs, an on-the-fly normalisation is introduced which imposes certain requirements on the CSP speci­fication. In some cases, the test evaluation needs not to be performed in real-time. Instead it is often sufficient to do the test evaluation with a slight delay of a few seconds. For those cases a new test algorithm for a delayed test evaluation is suggested, which can be used for testing purposes based on any type of transition systems, even unnormalised systems.

Customers Also Viewed

Buy Books Online at BookLoop

Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,

Shop Trending Books and New Releases

Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.

Shop Best Books By Collection

Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.