2212 search results - page 246 / 443 » Automated software wrapping |
136
click to vote
ICST
2008
IEEE
16 years 10 days ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
156
click to vote
ICST
2008
IEEE
16 years 10 days ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
132
click to vote
KBSE
2008
IEEE
16 years 10 days ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
164
click to vote
ASWEC
2007
IEEE
16 years 8 days ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
187
click to vote
COMPSAC
2007
IEEE
16 years 8 days ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...