Sciweavers

3481 search results - page 13 / 697
» A New Approach to Component Testing
Sort
View
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
14 years 1 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
FATES
2005
Springer
14 years 3 months ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
TOOLS
2000
IEEE
14 years 2 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon
QSIC
2003
IEEE
14 years 3 months ago
State of the art in testing components
The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering...
Sami Beydeda, Volker Gruhn
ICSM
2005
IEEE
14 years 3 months ago
Contract-Based Mutation for Testing Components
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, ...