|
Monday, 23 January 2012 |
In 2011 the UniTESK technology began to be used to creation of test suits for verification of compliance with the standards for aircraft navigation system. Developing of the set of tools PyTESK implementing this technology in Python was started.
In addition researches on theoretical foundations of testing and methods of the automation test development were continued in the following projects:
- Research and development of tests for devices of "Elbrus-2S" using UniTESK technology.
- Development of the extensible system for dynamic analysis and testing of Linux kernel modules.
- Verification of the implementation of extensible Internet protocols.
- Development of the ABI Compliance Checker.
- Development of automatic generator of basic unit tests for a shared C/C++ library.
- Development of a platform for the integration and testing of perspective methods of verification of the component systems.
- Development of workstation of the systems integrator.
- System of management requirements Requality.
- Verification of OS Linux drivers.
- Creation of security system that provides safe execution of application in untrusted OS.
- Development of standard LSB infrastructure.
- Testing models of microprocessors.
- Development of methods and tool support for the integration of large information systems.
- Testing real-time OS.
- Development of test sets for math libraries.
UniTESK tools development was targeted to support of the projects listed and overall quality improvement.
Monograph by Igor Burdonov «The Theory of Conformity (functional testing of the program systems based on formal models)» dedicated to methods of the testing of compliance the system to be examined with the specified requirements based on formal models was published in 2011.
Talks on results of research and projects conducted were given on the following conferences and workshops:
Microsoft Summer School in Software Engineering and Verification 2011
International Space System Engineering Conference DASIA 2011
Spring Young Researchers Colloquium on Software Engineering (SYRCoSE 2011)
Open Cirrus Summit 2011
IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2011)
Eighth International Andrei Ershov Memorial Conference «Perspectives of System Informatics» (PSI 2011)
16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011)
Model-based Testing User Conference 2011
LinuxCon Europe 2011
Google EMEA Scholars’ Retreat 2011
12th IEEE Latin-American Test Workshop (LATW 2011)
Google Summer of Code (GSoC 2011)
7th Workshop on Advances in Model Based Testing (A-MOST 2011)
IUPAC International Congress on Analytical Sciences (ICAS 2011)
IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)
Yet another Conference (YAC-2011)
The 8th Conference of Free Software Developers
Softool Exhibition 2011
The Sixth Conference «Free Software for High School»
IX All-Russian Conference «IT Education in the Russian Federation»
The annual International «Lomonosov» conference
54th MIPT Scientific Conference of «Problems of fundamental and applied sciences in modern information-oriented society»
Actual Problems of System and Program Engineering 2011 |
|
|
Tuesday, 01 November 2011 |
|
Two talks concerning UniTESK technology were conducted on Model-Based
Testing User Conference in Berlin, October 18-20, 2011. A. Petrenko
described a UniTESK-based approach to standardization and standard
conformance testing of basic Linux libraries. V. Kuliamin presented results
of case studies using testing framework Summer, which implements UniTESK on
the base of modern Java component technologies. The talks were highly
appreciated by attending the conference representatives of companies, which apply model-based testing techniques in their practice.
|
|
|
Friday, 28 October 2011 |
|
UniTESK technology was presented at Softool 2011 on October 25-28 in All-Russian Exhibition Centre, Exhibition Hall №69, place E47.
The following exhibits were presented: |
|
Read more...
|
|
|
C++TESK Testing ToolKit v1.0.14 released |
|
Monday, 24 October 2011 |
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 |
|
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. |
|
|
|
<< Start < Prev 1 2 Next > End >>
|
| Results 1 - 50 of 67 |
