|
C++TESK Testing ToolKit v1.0.14 released |
C++TESK Testing ToolKit v1.0.14 has been released. A number of new features have been implemented.
- New version of VeriTool.
- Automatic catcher of unexpected reactions.
- Macro CPPTESK_SET_DEBUG_LOGFILE(filename) to duplicate debug output into a file.
- Basic Eclipse IDE plugin.
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
|
|
|
SemaTESK project on testing semantics checkers is now open |
In ISP RAS, an automatic method, named SemaTESK (Semantics Testing Kit), for generation of test sets for a translator front end has been developed. The method focuses on the validation and verification of static semantics checker. Most the know methods for semantics test generation produce test suites by filtering a pre-generated set of random texts in the target language. In contrast, SemaTESK allows to generate tests for context conditions directly. It significantly reduces generation time and allows reaching relevant completeness criteria. The SemaTESK method to specify static semantics allows to formalize informal requirements described in normative documents (e.g. standard). The method includes SRL notation for compact formal specification of context conditions. The method is supported by STG prototype tool for efficient generation of test suite from SRL specification.
The SemaTESK method has been used in a number of projects, including testing static semantics checkers of C and Java.
|
|
Read more...
|
|
|
The version 2.3 of JavaTESK tool supporting UniTESK test development for Java software is released.
The main changes are: - Modelling of asynchronous interactions made more flexible.
Expect event statement introduced for rapid development TTCN-like tests.
Manahement of model state improved. - Generation of documentation from javadoc-comments in specifications implemented.
- In test reports failures are structured, known (found and added to database) failures are separated from new ones.
- In test reports representation of objects is improved (for example, method's parameters and return values).
JavaTESK 2.3 can be downloaded on the Downloads page. |
|
|
In 2008 UniTESK technology was widely used for creation of test suites for standard conformance testing. The following projects were the biggest ones.
- Linux Standard Base conformance test suite development and maintenance.
- Test development for POSIX-compliant real time operating system.
- Test development for embedded systems meeting the requirements of ARINC-653.
UniTESK tools development was targeted to support of the projects listed and overall quality improvement.
The research in the following directions was conducted: theoretic foundations of testing, test development automation methods for telecommunication protocols and distributed software, testing methods for pipelined microprocessors and their units, test construction methods for mathematical libraries. The project on Linux driver verification toolset was going on.
3 of our colleagues have upheld theses this year.
- I. B. Burdonov — Doctor of Science degree on the theme «Conformance theory for functional model-based software testing».
- V. V. Rubanov — PhD degree on the theme «Automation of toolset construction for software development for extensible embedded systems».
- A. S. Kamkin — PhD degree on the theme «Pipelined microprocessor simulation testing automation method based on formal specifications».
The book of I. B. Burdonov, A. S. Kossatchev, and V. V. Kuliamin «Conformance testing theory for systems with refused inputs and forbidden actions» concerning theoretical foundations of distributed system testing was also published in 2008.
Talks on results of research and projects conducted were given on the following conferences and workshops.
|
|
|
JavaTESK in the Commercial Project of Testing Integration Components of Vimpelcom |
|
JavaTESK is applied in the development of tests for ETL (Extract, Transform, Load) integration components of the commercial company “Vimpelcom” since the beginning of the 2008 year. Due to using JavaTESK the quality of testing was improved and the time of regression testing and the cost of modifying tests because of changes of component requirements were shortened. |
|
Read more...
|
|
|
|
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
|
| Results 19 - 27 of 82 |
