This article covers the process of software testing. Test management and creation methods are described within the scope of the research. The process of test selection through several stages of project development is discussed and practical examples of appliance are given for the test organization and decision making with the help of topological models of software. The criteria of test ranging are described within scope of each of the testing levels. The paper indicates the use of topological structural models in software test creation, and planning
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
Graphical user interfaces represent significant part of computer systems. This causes an increase of...
The paper attempts to provide a comprehensive view of software testing. Software testing is the proc...
This article covers the process of software testing. Test management and creation methods are descri...
Despite encouraging results with various quality improvement approaches, the IT industry is still fa...
Abstract: Based on prior work, this paper extends our holistic approach to generation and selection ...
Several test strategies have emerged to defect faults associated Boolean expressions. Current approa...
An automated technology is developed that combines the processes of describing of the use case (prec...
Test case generation is among the most labour-intensive tasks in software testing and also one that ...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
Boolean expressions can be used in programs and specifications to describe the complex logic decisio...
This paper discusses a model-based approach to testing as a vital part of soft-ware development. It ...
The following models and methods have been proposed and investigated: deductive method of constructi...
Software maintenance is one of the essential processes of Software-Development Life Cycle. The main ...
One of the major problems within the software testing area is how to get a suitable set of test case...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
Graphical user interfaces represent significant part of computer systems. This causes an increase of...
The paper attempts to provide a comprehensive view of software testing. Software testing is the proc...
This article covers the process of software testing. Test management and creation methods are descri...
Despite encouraging results with various quality improvement approaches, the IT industry is still fa...
Abstract: Based on prior work, this paper extends our holistic approach to generation and selection ...
Several test strategies have emerged to defect faults associated Boolean expressions. Current approa...
An automated technology is developed that combines the processes of describing of the use case (prec...
Test case generation is among the most labour-intensive tasks in software testing and also one that ...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
Boolean expressions can be used in programs and specifications to describe the complex logic decisio...
This paper discusses a model-based approach to testing as a vital part of soft-ware development. It ...
The following models and methods have been proposed and investigated: deductive method of constructi...
Software maintenance is one of the essential processes of Software-Development Life Cycle. The main ...
One of the major problems within the software testing area is how to get a suitable set of test case...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
Graphical user interfaces represent significant part of computer systems. This causes an increase of...
The paper attempts to provide a comprehensive view of software testing. Software testing is the proc...