Automated Model-based Test Generation for Timed Systems: An overview about models, specification languages and test generation approaches considering time constraintes - Image 1

£59.00

LAP Lambert Academic Publishing Automated Model-based Test Generation for Timed Systems: An overview about models, specification languages and test generation approaches considering time constraintes

Name: Automated Model-based Test Generation for Timed Systems: An overview about models, specification languages and test generation approaches considering time constraintes
Brand: LAP Lambert Academic Publishing
Price: 59.0 GBP
Availability: InStock

Computing & Internet

Price data last checked 17 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£59 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 74 days · 74 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 74 days • 1 price levels

Days at Price

Price Analysis

Most common price: £59 (74 days, 100.0%)

Price range: £59 - £59

Price levels: 1 different prices over 74 days

Description

Model-based test generation is an approach to generate test cases based on a formal model. Although test generation methods have long existed, its timed counterpart is still a new field. In addition, most of the proposed solutions suffer from combinatory explosion which continues to limit their applicability in practice. Accordingly, it explains why there are so few automatic formal methods for testing generation, for both time and untimed systems. This book presents an overview about models, specification languages and test generation approches adressed to timed systems. In addition, it proposes a test generation approach using test-purposes and considering timed constraints. In order to evaluate the applicability and efficiency of the proposed method, two real industrial applications are used as case studies: a Railroad Crossing and a Vocal Service furnished by France Telecom.

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3838355849
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 03 May 2010
Listed Since: 05 May 2010

Barcode

No barcode data available

LAP Lambert Academic Publishing Automated Model-based Test Generation for Timed Systems: An overview about models, specification languages and test generation approaches considering time constraintes

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Quality of the design of test cases for automotive software: Design platform and testing process

Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level

MBT for Non-Functional Requirements: Master Thesis in Software Engineering, MDH,Västerås, Sweden - In collaboration with Ericsson AB

Software Test Cases Generation: Automatic software test cases generation from UML specification diagrams and formal software test cases using HLPN

Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)

The Craft of Model-Based Testing

Agile Modeling with UML: Code Generation, Testing, Refactoring

Model-Based Testing for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)

Model-Driven Testing: Using the UML Testing Profile

Software automatisch testen: Verfahren, Handhabung und Leistung (Xpert.press)

Automated Software Testing: Foundations, Applications and Challenges (Services and Business Process Reengineering)

Colored Model Based Testing for Software Product Lines: CMBT-SWPL

Artech House Software Test Design Practitioner's Guide

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Testing of Communicating Systems XIV: Application to Internet Technologies and Services: 82 (IFIP Advances in Information and Communication Technology, 82)

Testing Complex and Embedded Systems

Fundamentals of Software Testing: 590 (Iste)

Fundamentals of Software Testing: An Overview: Software Engineering

Fundamentals of Software Testing

Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques

Testmanagement und Softwaretest: Theoretische Grundlagen und praktische Umsetzung

Software Testing: A Craftsman’s Approach, Fifth Edition

Complete Guide to Test Automation: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects