Test cases generation for embedded real-time software based on extended UML

Proceedings - 2009 International Conference on Information Technology and Computer Science, ITCS 2009

Volumn 1, Issue , 2009, Pages 69-74

  Yin, Yongfeng ^a   Liu, Bin ^a   Lu, Minyan ^a   Li, Zhen ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Embedded real time software; Scenario technology; Software testing; Testcase; UML

Indexed keywords

AUTOMATED TEST; AUTOMATED TESTING; EMBEDDED REAL-TIME SOFTWARE; SCENARIO TECHNOLOGY; TEST CASES GENERATION; TEST COST; TESTCASE; TESTING EFFICIENCY; UML; UML DIAGRAMS; VERIFICATION RESULTS;

COMPUTER SCIENCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COST REDUCTION; INFORMATION TECHNOLOGY; MAINTAINABILITY; SOFTWARE TESTING; TESTING; UNIFIED MODELING LANGUAGE; VERIFICATION;

EMBEDDED SOFTWARE;

EID: 71049126530     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITCS.2009.23     Document Type: Conference Paper

References (20)

1. Lin Bin, Gao Xiaopeng, Lu Mingyan, Ruan Lian, Study on Reliability Simulation Software System for Embedded Software[J], The Journal of Beijing University of Aeronautics and Astronautics, 2000.
2. Yin Yongfeng,Liu Bin,Lu Minyan,Research on Test Script for Embedded Real-time Software[J], Computer Engineering, 2003,vol.29,No.1, pp.118-119.
3. Andrew Miga,Daniel Amyot,Francis Bordeleau,Donald Cameron,and Murray Woodside, "Deriving Message Sequence Charts from Use Case Maps Scenario Specification"[J], Carleton University,2001.
4. Michael Ebner, "TTCN-3 Test Case Generation from Message Sequence Charts"[J]Telematics Group, Institute for Informatics, Georg-August- University, Germany.
5. Huang Chenhui, Research on Automatic Web Function Test Technique Based on UML Activity Diagram[D], JiNan University, May . 2005.
6. Mou Kai, Gu Ming. Research on Automated Test Case Generation Based on UML Activity Diagram[J]. Computer Applications. April 2006, 26(4), pp.844∼847
7. Zhang Mei. Research on Automated Test Case Generation Based on UML Activity Diagram Model[J]. The Journal of Beijing University of Aeronautics and Astronautics, Aug 2001.vol.27, No.4.
8. Chen Biquan. Research on Test Case Generation Based on UML Statement Diagram Mode in Embedded Real-time Software Testing[D]. JiNan University , May 2005.
9. Yang Xiaoyan, Research on Test Case Generation Based on Z and UML Status Diagram[D], HuaZhong Normal University, Jun 2006
10. James Rumbaugh, Ivar Jacobson, Grandy Booch, The unified modeling language reference manua[M]. An imprint of Addison Wesley Longman Inc, 1998.
11. Tsai, W.T.; Na, Y.; Paul, R.; Lu, F.; Saimi, A.; Adaptive scenariobased object-oriented test frameworks for testing embedded systems. Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International,26-29 Aug. 2002,pp.321 - 326
12. Bai, X.; Tsai, W.T.; Paul, R.; Feng, K.; Yu, L.;Scenario-based modeling and its application. Object-Oriented Real-Time Dependable Systems, 2002. (WORDS 2002). Proceedings of the Seventh International Workshop on 7-9 Jan. 2002, pp.253 - 260
13. Tsai, W.T.; Yu, L.; Saimi, A.; Paul, R.;Scenario-based Object- Oriented Test Frameworks for Testing Distributed Systems. Distributed Computing Systems, 2003. FTDCS 2003. Proceedings. The Ninth IEEE Workshop on Future Trends of 28-30 May 2003, pp.288-294
14. Cavarra. A method for the automatic generation of test suites from object models.Information and Software Technology, vol.46, 2004. pp.309-314.
15. Ingo Schinz, Tobe Toben,Christian Mrugalla,Bernd Westphal.The Rhapsody UML Verification Environment.SEFM 2004, 0-7695-2222-X/04.
16. OMG. Unified Modeling Language Specification(Version1.5)[Z].
17. Yi Zhenyan,System Analysis,Design and Application Case Based on UML(Ver 1.0). People's Post and Telecom Press. Beijing. 2003.
18. Jiang Bo, Long Xiang,Gao Xiaopeng. MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices. Proceedings of the 30th International Conference on Software Engineering (ICSE 2007).
19. Ammann, P.; Black, P.E.;Abstracting formal specifications to generate software tests via model checking. Digital Avionics Systems Conference, 1999. Proceedings. 18th vol.2, 24-29 Oct. 1999 pp.10.A.6-1 - 10.A.6-10.
20. Michael Levesque, John Louie ,Ana Maria Guerrero.Test Execution Control Tool: Automating Testing in Spacecraft Intgration and Test Environments. IEEE, 2000, vol.2, pp.293 -304.