£44.00

EAE Editorial Academia Espanola Refinamiento a JAVA de casos de prueba abstractos: Generados por Fastest, un sistema de testing automatizado

Price data last checked 92 day(s) ago - refreshing...

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.

£44 today · cheaper than every other day in the last 24 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 639 days • 639 data points (No recent data available)

Historical
Generating forecast...
£44.00 £41.80 £42.68 £43.56 £44.44 £45.32 £46.20 12 June 2024 18 November 2024 27 April 2025 03 October 2025 12 March 2026

Price Distribution

Price distribution over 639 days • 1 price levels

Days at Price
639 days 0 160 320 479 639 £44 Days at Price

Price Analysis

Most common price: £44 (639 days, 100.0%)

Price range: £44 - £44

Price levels: 1 different prices over 639 days

Description

El testing funcional basado en especificaciones es el proceso de testear en forma estructurada un software a partir de su especificación. Este proceso comúnmente se divide en varias fases, las cuales pueden ser automatizadas casi en su totalidad. Una fase crítica, es la de ejecutar los casos de prueba abstractos generados en fases anteriores en el proceso de testing. Para esto, antes es necesario refinar los casos de prueba abstractos escritos en el lenguaje de especificación a casos de pruebas concretos escritos en el lenguaje en el que el sistema fue implementado. Una de las técnicas más utilizadas para esta tarea es la de concretización. En este trabajo se desarrolla TCRL v2.0, un lenguaje que permite reducir la brecha semántica de los casos de prueba abstractos escritos en un lenguaje de especificación (por ejemplo Z) a casos de prueba concretos escritos en algún lenguaje de implementación (por ejemplo JAVA o C). Además, se desarrolla el parser y el intérprete para TCRL v2.0 y un prototipo de un sistema de refinamiento de casos de pruebas abstractos escritos en el lenguaje de especificación Z a casos de pruebas concretos para el lenguaje de programación JAVA.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
27 August 2014
Listed Since
20 September 2014

Barcode

No barcode data available

Similar Products You Might Like

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)
95% match

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

Springer

£99.98 25 Feb 2026
Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)
94% match

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

PEARSON EDUCATION

£37.20 30 Jan 2026
Feature-Oriented Software Product Lines: Concepts and Implementation
94% match

Feature-Oriented Software Product Lines: Concepts and Implementation

Springer

£46.53 08 Mar 2026
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))
93% match

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£88.50 18 Apr 2026
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
93% match

Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£83.36 17 Feb 2026
Delphi Quality-Driven Development: A practical guide to testing and writing testable code
93% match

Delphi Quality-Driven Development: A practical guide to testing and writing testable code

£44.50 12 Apr 2026
Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques
93% match

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

LAP Lambert Academic Publishing

£64.00 01 Mar 2026
Programming and Problem Solving with C++: Brief 6th Edition
93% match

Programming and Problem Solving with C++: Brief 6th Edition

Jones & Bartlett Learning

£78.53 23 Jan 2026
Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers: Volume . (Systems on Silicon, Volume .)
93% match

Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers: Volume . (Systems on Silicon, Volume .)

Morgan Kaufmann

£54.99 17 Apr 2026
CTL for Test Information of Digital ICs
93% match

CTL for Test Information of Digital ICs

Springer

£33.11 05 Mar 2026
Green and Sustainable Computing: Part II (Volume 88) (Advances in Computers, Volume 88)
93% match

Green and Sustainable Computing: Part II (Volume 88) (Advances in Computers, Volume 88)

Academic Press

£54.95 08 Mar 2026
Robustness and Usability in Modern Design Flows
93% match

Robustness and Usability in Modern Design Flows

Springer

£74.61 08 Mar 2026
Software Testing: A Craftsman’s Approach, Fifth Edition
93% match

Software Testing: A Craftsman’s Approach, Fifth Edition

CRC Press

£76.52 15 Feb 2026
C++ Software Interoperability for Windows Programmers: Connecting to C#, R, and Python Clients
93% match

C++ Software Interoperability for Windows Programmers: Connecting to C#, R, and Python Clients

Apress

£38.44 28 Feb 2026
Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming
93% match

Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming

£59.17 31 Jan 2026
Encyclopedia of Computer Science and Technology: 3-d Graphics-field / Fuzzy-xml
93% match

Encyclopedia of Computer Science and Technology: 3-d Graphics-field / Fuzzy-xml

CRC Press

£1,726.97 10 Jan 2026
Object-Orientation, Abstraction, and Data Structures Using Scala (Chapman & Hall/CRC Textbooks in Computing)
93% match

Object-Orientation, Abstraction, and Data Structures Using Scala (Chapman & Hall/CRC Textbooks in Computing)

Chapman and Hall/CRC

£48.46 18 Mar 2026
Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML
93% match

Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML

Addison Wesley

£42.19 10 Feb 2026
Implementing Automated Software Testing
93% match

Implementing Automated Software Testing

£179.00 02 Mar 2026
Software Testing A Complete Guide - 2020 Edition
93% match

Software Testing A Complete Guide - 2020 Edition

5starcooks

£74.97 08 Mar 2026
Software Testing Tactics A Complete Guide - 2019 Edition
93% match

Software Testing Tactics A Complete Guide - 2019 Edition

5starcooks

£74.97 21 Feb 2026
Programming Language Implementation: A Practical Introduction with Python
93% match

Programming Language Implementation: A Practical Introduction with Python

£60.00 13 Jan 2026
Integration of Reusable Systems: 263 (Advances in Intelligent Systems and Computing, 263)
93% match

Integration of Reusable Systems: 263 (Advances in Intelligent Systems and Computing, 263)

Springer

£50.17 28 Feb 2026
CBT for Depression: An Integrated Approach
93% match

CBT for Depression: An Integrated Approach

Sage Publications

£108.00 09 Mar 2026