Sciweavers

21183 search results - page 492 / 4237
» Adaptive Testing by Test
Sort
View
INTEGRATION
2006
102views more  INTEGRATION 2006»
15 years 6 months ago
A parameterized graph-based framework for high-level test synthesis
Improving testability during the early stages of high-level synthesis has several benefits including reduced test hardware overheads, reduced test costs, reduced design iterations...
Saeed Safari, Amir-Hossein Jahangir, Hadi Esmaeilz...
ENTCS
2007
131views more  ENTCS 2007»
15 years 6 months ago
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Fault tolerance is one of the most important means to avoid service failure in the presence of faults, so to guarantee they will not interrupt the service delivery. Software testi...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
ENTCS
2007
75views more  ENTCS 2007»
15 years 6 months ago
Testing Planning Domains (without Model Checkers)
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
Franco Raimondi, Charles Pecheur, Guillaume Brat
FSS
2007
82views more  FSS 2007»
15 years 6 months ago
An empirical test of some measurement-theoretic axioms for fuzzy sets
In the previous years some authors have been elaborating on the measurementtheoretic foundations of fuzzy set theory. A well-known problem in this approach is the difficult applic...
C. Desimpelaere, Thierry Marchant
JSW
2007
107views more  JSW 2007»
15 years 6 months ago
Reducing Domain Level Scenarios to Test Component-based Software
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
Oliver Skroch, Klaus Turowski