Sciweavers

3547 search results - page 84 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
DSVIS
2003
Springer
15 years 11 months ago
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
Marcelo Fantinato, Mario Jino
FASE
2004
Springer
15 years 11 months ago
Systematic Testing of Software Architectures in the C2 Style
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
DB
2008
107views more  DB 2008»
15 years 6 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
CSSE
2008
IEEE
16 years 26 days ago
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
Yu Xia Sun, Huo Yan Chen, T. H. Tse
COMPSAC
1999
IEEE
15 years 10 months ago
Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu