Using a model-based test generator to test for standard conformance

IBM Systems Journal

Volumn 41, Issue 1, 2002, Pages 89-110

  Farchi, E ^a   Hartman, A ^a   Pinter, S S ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; DESIGN FOR TESTABILITY; FORMAL LANGUAGES; JAVA PROGRAMMING LANGUAGE; STANDARDS;

CODE DEFECTS; FINITE STATE MACHINE; PORTABLE OPERATING SYSTEM INTERFACE; SOFTWARE DESIGN; SOFTWARE STANDARD CONFORMANCE; SOFTWARE TESTING; TEST GENERATOR; UNIFIED MODELING LANGUAGE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0036316211     PISSN: 00188670     EISSN: None     Source Type: Journal    
DOI: 10.1147/sj.411.0089     Document Type: Article

References (52)

1. Automated software testing using model-checking
2. Generating tests from UML specifications
3. SALT: An integrated environment to automate generation of function tests for APIs
4. Generating test data from SOFL specifications
5. Model-based testing
6. TCBeans, software test toolkit
7. Automated test generation from a behavioral model
8. Generation of realizable conformance tests under timing constraints
9. Protocol verification as a hardware design aid
10. A test sequence selection method for statecharts
11. Efficient regression test selection techniques
12. Specification based test sequence generation with propositional logic
13. The Craft of Software Testing
14. Finding references in Java stacks
15. Analysis and testing of programs with exception-handling constructs
16. The Art of Software Testing
17. Software negligence and testing coverage
18. Use of sequencing constraints for specification-based testing of concurrent programs
19. A Markov chain model for statistical software testing
20. Ultra-understandable decision tables
21. A practical approach to UML-based derivation of integration tests
22. Model-based testing in practice
23. Efficient Regression Testing of Multi-Panel Systems
24. SALT - an integrated environment to automate generation of function tests for APIs
25. Test generation based on control and data dependencies within multi-process SDL specifications
26. Achieving software quality with testing coverage measures
27. Test generation with autolink and test-composer
28. UML-based integration testing
29. Using model-checking to generate tests from requirements specifications
30. A comparison of some structural testing strategies
31. An applicable family of data flow testing criteria
32. A data flow oriented program testing strategy
33. Mostly accurate stack scanning
34. The Jalapeño virtual machine
35. Support for garbage collection at every instruction in a Java compiler
36. Garbage collection and local variable type-precision and liveness in Java virtual machines