1,720,989 research outputs found
An integrated system of microcantilever arrays with carbon nanotube tips for bio/nano analysis: Design and control
No full text
3D pose and camera parameter tracking algorithm based on Lucas-Kanade image alignment algorithm
No full text
Work Assistant Mobile Robot Type I and II for the Handcapped in a Real Manufacturing Environment
No full textDesigning work Assistant Mobile Robot Type Ⅲ for the Handicapped in a Real Manufacturing Environment
No full textTest cases generation from UML state diagrams
No full textThe paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control flow is identified by transforming UML state diagrams into extended finite state machines (EFSMs). The hierarchical and concurrent structure of states is flattened and broadcast communications are eliminated in the resulting EFSMs. Second, data flow is identified by transforming EFSMs into flow graphs to which conventional data flow analysis techniques can be applied. © IRE, 1999
- …
