Results 221 to 230 of about 1,498,468 (269)
Some of the next articles are maybe not open access.
Annals of Software Engineering, 1997
This paper presents a method for test case selection that allows a formal approach to testing software. The two main ideas are (1) that testers create stochastic models of software behavior instead of crafting individual test cases and (2) that specific test cases are generated from the stochastic models and applied to the software under test.
openaire +2 more sources
This paper presents a method for test case selection that allows a formal approach to testing software. The two main ideas are (1) that testers create stochastic models of software behavior instead of crafting individual test cases and (2) that specific test cases are generated from the stochastic models and applied to the software under test.
openaire +2 more sources
Software testing and certification
ACM SIGMETRICS Performance Evaluation Review, 1972Society needs a continous flow of upgradding products and services which are responsive to needs, are reliable, cost-effective and safe. When this does not occur, excessive regulation and resulting stifled technology and production results. Excesses in both directions have occurred in other fields such as medicine, the automobile industry, petro ...
Ralph E. Keirstead, Donn B. Parker
openaire +2 more sources
IEEE Expert, 1993
An automated testing system that is well integrated into the software development process is considered. The knowledge-based interactive test script system (Kitss) focuses on functional testing. It ignores a program's internal design and structure and directly uncovers discrepancies in the program's behavior as viewed from the outside world. Kitss uses
Uwe Nonnenmann, John K. Eddy
openaire +1 more source
An automated testing system that is well integrated into the software development process is considered. The knowledge-based interactive test script system (Kitss) focuses on functional testing. It ignores a program's internal design and structure and directly uncovers discrepancies in the program's behavior as viewed from the outside world. Kitss uses
Uwe Nonnenmann, John K. Eddy
openaire +1 more source
Software Quality, Software Process, and Software Testing
1995Abstract Software testing should play a major role in the definition and improvement of software development processes, because testing is the most precise, most easily measured, and most easily controlled part of the software lifecycle. However, unless testing goals are clearly related to true measurements of software quality, the testing may ...
openaire +1 more source
The complexity of software testing
Software Engineering Journal, 1992The futility of using a general-purpose metric to characterise ‘the’ complexity of a program has recently been argued to support the design of specific metrics for the different stages of the software life-cycle. An analysis of the module testing activity is performed, providing evidence of the absurdity of all-purpose metrics, as well as a methodical ...
openaire +2 more sources
2010
The main goal of this chapter is to introduce common terminology and concepts on software testing that is assumed as background in this book. The chapter also presents the multidimensional nature of software testing, showing its different variants and levels of application.
Patrícia D. L. Machado +2 more
openaire +2 more sources
The main goal of this chapter is to introduce common terminology and concepts on software testing that is assumed as background in this book. The chapter also presents the multidimensional nature of software testing, showing its different variants and levels of application.
Patrícia D. L. Machado +2 more
openaire +2 more sources
2013
The paper presents an overview of the results of 5 years of research in the field of self-testing. In 2007, self-testing was defined as one direction of smart technologies, a common idea of which is the desire to fit software with features of living beings: abilities to adapt to changing external environment, to optimize themselves and to defend ...
Edgars Diebelis, Janis Bicevskis
openaire +2 more sources
The paper presents an overview of the results of 5 years of research in the field of self-testing. In 2007, self-testing was defined as one direction of smart technologies, a common idea of which is the desire to fit software with features of living beings: abilities to adapt to changing external environment, to optimize themselves and to defend ...
Edgars Diebelis, Janis Bicevskis
openaire +2 more sources
Journal of Systems and Software, 1999
Abstract Regression testing, which attempts to validate modified software and ensure that no new errors are introduced into previously tested code, is used extensively during maintenance of evolving software. Despite efforts to reduce its cost, regression testing remains one of the most expensive activities performed during a software system's ...
openaire +2 more sources
Abstract Regression testing, which attempts to validate modified software and ensure that no new errors are introduced into previously tested code, is used extensively during maintenance of evolving software. Despite efforts to reduce its cost, regression testing remains one of the most expensive activities performed during a software system's ...
openaire +2 more sources
Software Testing with QuickCheck
2010This paper presents a tutorial, with extensive exercises, in the use of Quviq QuickCheck--a property-based testing tool for Erlang, which enables developers to formulate formal specifications of their code and to use them for testing. We cover the basic concepts of properties and test-data generators, properties for testing abstract data types, and a ...
openaire +1 more source
Insights into regression testing (software testing)
Proceedings. Conference on Software Maintenance - 1989, 2003A problem facing those conducting maintenance testing is to identify proper test classes. The notion of regression testability is introduced as a way to measure the ease of retesting. Both the program design and the test plan design may affect the regression testability of a program.
Hareton K. N. Leung, Lee J. White
openaire +2 more sources