|
SemaTESK project on testing semantics checkers is now open |
|
Wednesday, 31 March 2010 |
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...
|
|
|
Friday, 15 May 2009 |
|
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. |
|
|
Monday, 29 December 2008 |
|
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 |
|
Friday, 10 October 2008 |
|
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...
|
|
|
Online Pinery Service is Now Available |
|
Friday, 03 October 2008 |
The service for online use of demo version of the Pinery tool is started.
Pinery is intended for generation of structurally complex test data on the basis of grammar-like descriptions (such as BNF, regular expressions, DTD, etc.).
The service allows generating tests from Perl regular expressions. It is available here. |
|
|
Monday, 14 July 2008 |
|
The new version 2.2 of JavaTESK tool supporting UniTESK test development for Java software is released.
The main changes are:
- Modelling of asynchronous interactions made more flexible.
User-defined channel identifiers for model events are introduced.
- Integration of JavaTESK with Eclipse platform improved.
Outline View for specification extention of Java is implemented.
It's possible for system under test to be in other Eclipse project.
- Many bugs fixed.
JavaTESK 2.2 can be downloaded on the Downloads page. |
|
|
Working with Open International Standards |
|
Friday, 27 June 2008 |
|
A whitepaper is published describing the directions and achievements of the UniTESK Lab in Open International Standards study and refinement.
The whitepaper “Working with Open International Standards” describes the directions and achievements of UniTESK Lab projects related to Open International Standards. The whitepaper presents projects on several directions: conformance test suites development, standards study, analysis and refinement, infrastructure development to support standard creation, development of prototypes and implementations of international standards. The whitepaper contains a table that summarizes UniTESK Lab experience in the field of Open International standards.
Full text of the paper in PDF. |
|
|
Testing of Software for Embedded Avionics Systems |
|
Thursday, 26 June 2008 |
|
The paper is published describing the directions and achievements of UniTESK Lab in software testing for embedded avionics systems.
The paper “Testing of software for embedded avionics systems” formulates the main objectives of requirements-based testing as applied to software for embedded avionics systems with rigid fail-safety requirements. It presents the experience and results of creation of conformance test suites for two main standards implemented in real-time operating systems for avionics: ARINC-653 and POSIX. It also proposes the directions and methods of application of the UniTESK technology and the FOREST process to support the software testing process for avionics systems as imposed by the DO-178B standard. The proposed approach is to simplify software certification according to this standard.
Full text of the paper in PDF.
|
|
|
Success in Connection-oriented Protocol Conformance Testing |
|
Thursday, 19 June 2008 |
|
Researchers of the UniTESK Lab studied UniTESK feasibility to connection-oriented protocol conformance testing. The study is based on a “minimal” connection-oriented protocol ABRACADABRA.
The study demonstrated feasibility of UniTESK to conformance testing of conection-oriented protocols. The UniTESK Lab researchers developed a formal specification of the protocol and a test scenario that performs conformance testing of ABRACADABRA implementations.
|
|
Read more...
|
|
|
Wednesday, 11 June 2008 |
|
The Second Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2008) held 29-30 May, 2008 in Saint-Petersburg.
The event was organized by Saint-Petersburg State University (SPbSU) and Institute for System Programming of RAS (ISPRAS) with support of Russian Foundation for Basic Research (RFBR).
Chairs of SYRCoSE are professor A.K. Petrenko (UniTESK Lab., ISPRAS) and professor A.N. Terekhov (SPbSU). About 20 talks, presented by the researchers from different universities and institutes, were done on the colloquium. Their topics include industrial software engineering, safety and security, functional verification, test generation, and others.
More detailed information on the colloquium is available on the web-site http://syrcose.ispras.ru.
|
|
|
