|
Monday, 22 September 2003 |
Questions about CTesK now can be addressed to CTesK support forum. Users of this product and everyone interested in the technology are invited.
|
|
|
UniTESK testing tools on FM 2003 |
|
Wednesday, 03 September 2003 |
On September 8 - 12 UniTESK testing tools will be presented on FM 2003: the 12th International FME
Symposium, Pisa, Italy. |
|
|
Sir Tony Hoare in UniTESK Lab |
|
Monday, 07 July 2003 |
Professor Sir Tony Hoare has visited UniTESK Lab. Team in order to get familiar with program verification projects. (see photos)
|
|
|
Yuri Gurevich (Microsoft Research) visit UniTESK Lab |
|
Saturday, 21 June 2003 |
|
Yuri Gurevich (Microsoft Research) has meet with UniTESK Development Team. UniTESK Lab. testing tools have been presented to him and compared with testing tools based on Abstract State Machines (developed by Yuri Gurevich team). The problem of distributed systems specification and testing had the main place on the meeting. |
|
|
Conference "Microsoft technologies in scientific researches and higher education'' |
|
Wednesday, 11 June 2003 |
|
On the 16th of June A. Demakov will give a report "Application of UniTESK technology for test development for .NET components'' at "Microsoft technologies in scientific researches and higher education'' conference. |
|
|
Monday, 28 April 2003 |
|
UniTESK has been presented to Computer Society of India. UniTesK technology and supporting tools have been presented on lecture “Specification-based Testing Methods in Real-life Software Development Process” for Chennai Chapter of Computer Society of India. CSI members valued the UniTESK technology very much and were interested in adapting the approach for their software development processes. |
|
|
Tuesday, 15 April 2003 |
|
CTesK training course, April 8–11. The training course was conducted to 8 post-graduate students of Prof. W. J. Paul, Saarland University (Germany), engaged in software and hardware verification. The students obtained certificates upon awarding the qualification “Tester of software systems.” (more about the training course) |
|
|
Friday, 28 February 2003 |
CTesK 1.0 has been released. CTesK implements UniTESK concepts of automated testing, based on specifications. CTesK includes a set of tools required for test development, execution and result analysis. These tools can be used in both Microsoft Visual Studio 6.0 IDE and command line.
(more about CTesK) |
|
|
Basic CTesK Training Course |
|
Friday, 20 December 2002 |
Basic training course on mastering CTesK tool and technology has been developed. The course is designed for testers using CTesK technology. It includes instructive lectures, which acquaint with coming practice task and with algorithms of task executions, and practical work with the tool.
(more about the training course) |
|
|
Wednesday, 30 October 2002 |
|
MIPv6 testing project was started. The system under test is an implementation of IPv6 protocol stack from Microsoft, which was included into Microsoft Windows CE 4.1. Testing conformance to Mobile IPv6 standard is based on CTesK technology. This work is supported by a Microsoft Research grant. |
|
|
<< Start < Prev 1 2 Next > End >>
|
| Results 51 - 60 of 60 |
