Sciweavers

2419 search results - page 81 / 484
» A Formal Approach to Software Testing
Sort
View
IWPSE
2007
IEEE
14 years 2 months ago
Modification analysis support at the requirements level
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
FASE
2009
Springer
14 years 3 months ago
Logical Testing
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
Kathryn E. Gray, Alan Mycroft
QSIC
2007
IEEE
14 years 2 months ago
Testing against Natural Language Requirements
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
Harry M. Sneed
ET
2007
67views more  ET 2007»
13 years 8 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher
ICWS
2010
IEEE
13 years 6 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...