An empirical evaluation of statistical testing designed from UML state diagrams: The flight guidance system case study

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2001, Pages 254-263

  Chevalley, Philippe ^a   Thévenod Fosse, Pascale ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDARY VALUE PROBLEMS; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; PROBABILISTIC LOGICS; STATISTICAL TESTS;

MUTATION ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035685353     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Automatic generation of test vectors for SCR-style specifications
2. Statechart testing method for aircraft control systems
3. Automated generation of statistical test cases from UML state diagrams
4. A mutation analysis tool for Java programs
5. Testing software design modeled by finite state machines
6. Software error analysis: A real case study involving real faults and mutations
7. Hints on test data selection: Help for the practicing programmer
8. Automated test case generation from dynamic models
9. Statecharts: A visual formalism for complex systems
10. A test sequence selection method for statecharts
11. Class mutation: Mutation testing for object-oriented programs
12. Test cases generation from UML state diagrams
13. Requirements specifications for process-control systems
14. Specifying the mode logic of a flight guidance system in CoRE and SCR
15. Generating tests from UML specifications
16. Software statistical testing
17. Software statistical testing based on structural and functional criteria