Spec Explorer: Herramienta de test en base a modelos!

Uno de los blogs que habitualmente leo es el de Somasegar, y la verdad es que siempre me encuentro sorpresas como la que da título a este post. En este caso se trata de una herramienta denominada Spec Explorer que permite utilizar técnicas de testeo en base a modelos…vamos, que dado un modelo es capaz de testear su validez. La verdad es que la herramienta, disponible en DevLabs, tiene una pinta muy buen y creo que dará que hablar en un futuro no muy lejano:

Spec Explorer

Spec Explorer: Herramienta de test en base a modelos!

Uno de los blogs que habitualmente leo es el de Somasegar, y la verdad es que siempre me encuentro sorpresas como la que da título a este post. En este caso se trata de una herramienta denominada Spec Explorer que permite utilizar técnicas de testeo en base a modelos…vamos, que dado un modelo es capaz de testear su validez. La verdad es que la herramienta, disponible en DevLabs, tiene una pinta muy buen y creo que dará que hablar en un futuro no muy lejano:

Spec Explorer

Axum: Modelo de programación paralelo y seguro para .NET!

Aunque todavía no tenemos lista la versión 1.0 de la plataforma de computación paralela de Microsoft (que incluirá entre otros a PLINQ, la TPL, o las nuevas primitivas de sincronización como Barrier), ya tenemos las primeras versiones a algunos de los componentes que aparecerán con la segunda oleada de tecnologías y herramientas que nos permitan aprovechar las capacidades de un hardware en el que ya empieza a primar tener varios cores en los chips de nuestros equipos frente a aumentar el número de transistores por chip. En este sentido, en Devlabs ya tenemos una primera preview de Axum. Se trata de un nuevo lenguaje de programación pensado para garantizar que las aplicaciones paralelizadas que construyamos sean seguras, escalables y con un tiempo de respuesta adecuado.

image