Sciweavers

212 search results - page 14 / 43
» Test Input Generation Using UML Sequence and State Machines ...
Sort
View
RE
2008
Springer
13 years 7 months ago
Generating Natural Language specifications from UML class diagrams
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
Farid Meziane, Nikos Athanasakis, Sophia Ananiadou
COMPSAC
1996
IEEE
13 years 11 months ago
Applying Conventional Testing Techniques for Class Testing
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong R...
ERSHOV
2003
Springer
14 years 26 days ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
PTS
2007
97views Hardware» more  PTS 2007»
13 years 9 months ago
Learning and Integration of Parameterized Components Through Testing
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
CVPR
2007
IEEE
14 years 9 months ago
Groupwise Shape Registration on Raw Edge Sequence via A Spatio-Temporal Generative Model
Groupwise shape registration of raw edge sequence is addressed. Automatically extracted edge maps are treated as noised input shape of the deformable object and their registration...
Huijun Di, Rao Naveed Iqbal, Guangyou Xu, Linmi Ta...