Automated generation of statistical test cases from UML state diagrams

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2001, Pages 205-214

  Chevalley, P ^a   Thevenod Fosse P ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROBABILITY; STATISTICAL METHODS;

STATE DIAGRAMS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035176047     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Testing object-oriented software: A survey
2. Testing software design modeled by finite state machines
3. An evaluation of random testing
4. An applicable family of data flow testing criteria
5. Automated test case generation from dynamic models
6. Statecharts: A visual formalism for complex systems
7. UML-based integration testing
8. Test cases generation from UML state diagrams
9. Class mutation: Mutation testing for object-oriented programs
10. An overview of testing
11. Specifying the mode logic of a flight guidance system in CoRE and SCR
12. Generating tests from UML specifications
13. Derivation of an integrated operational profile and use case model
14. A scenario-based approach to validating and testing software systems using statecharts
15. STATEMATE applied to statistical software testing
16. Software statistical testing
17. A case study in statistical testing of reusable concurrent objects