Test selection from UML statecharts

Proceedings - 31st Technology of Object-Oriented Languages and Systems, TOOLS 1999

Volumn , Issue , 1999, Pages 273-279

  Li, Liuying ^a   Qi, Zhichang ^a  

^a Changsha Institute of Technology   (China)

Author keywords

Concurrency; Test case selection; UML Statecharts; Wp method

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE TESTING;

CONCURRENCY; OBJECT MODELING; SOFTWARE REQUIREMENTS; STATE OF THE ART; STATECHARTS; TEST CASE SELECTION; TEST SELECTION; THIRD GENERATION; UML STATECHARTS; WP-METHOD;

REQUIREMENTS ENGINEERING;

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

References (9)

1. BogdaH 19991 Krill Bogdanov, M.Holcombe, H.Singh. Automated Test Case Generation for Statecharts". l999, manual draft.
2. Tsun S. Chow, 'Testing Software Design Modeled by Finite-State Machines ", IEEE Transactions on Software Engineering 4(3), 178-187. 1978.
3. Bluce Powel Douglass, "UML Statecharts", 1999, l. hllp;l/www.iloelx.com/fs-Daoers.html
4. SuSumu Fujiwara. Gregor V. Bochmann, etc., " Test Selection based on Finite State Models", IEEE [Chow 19781 [Douglass 19991 [Fujiwara 19911 Trans. on Software Engineering 17(6): 591-603, June, 1991.
5. David Hare1 and Eran gery. "Executable Object Modeling with Statecharts", IEEE Computer, 1997.
6. Florentin Ipate & Mike Holocombe. "A integration testing method that is proved to find all faults
7. Harel 19971 Upate 19971 international journal of Computer Mathematics. 63.159-178, 1997.
8. Luo 19941 Gang Luo, Gregor v. Bochmann and Alexandre Petrenko. 'Test Selection Based on Communicating Nondeterministic Finite State Machine
9. Semantics 19991 Research on formal semantics for UML Statecharts, CS-99-01 draft, NUDT. [UML 1.11 http://www.rational.com/uml.html.