∼TEST: An effective automation tool for testing embedded software

WSEAS Transactions on Information Science and Applications

Volumn 2, Issue 8, 2005, Pages 1214-1219

  Baek, Changhyun ^a   Park, Seungkyu ^a   Choi, Kyunghee ^a  

^a Ajou University   (South Korea)

Author keywords

Black box test; Embedded software; System test; Test automation tool; Test case; Test coverage

Indexed keywords

AUTOMATION; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER TESTING; EMBEDDED SYSTEMS; FINITE AUTOMATA; FORMAL LOGIC;

BLACK BOX TEST; EMBEDDED SOFTWARE; SPECIFICATION MODELING LANGUAGE (SML); SYSTEM TEST; TEST AUTOMATION TOOL; TEST CASE; TEST COVERAGE;

COMPUTER SOFTWARE;

EID: 22944471756     PISSN: 17900832     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. Bart Broekman and Edwin Notenboom, Testing Embedded Software, Addison Wesley, 2003.
2. B. Beizer, Software Testing Techniques, 2nd Ed., International Thomson Computer Press, 1990.
3. Kelvin Rodd, Practical Guide to Software System Testing, K.J. Ross & Associates Pty. Ltd, 1998.
4. Boris Beizer, Black-Box Testing, John Willey & Sons, 1995.
5. L. Hayes, The Automated Testing Handbook, 1995.
6. OVUM, Software Testing Tools, OVUM, 1999.
7. M. Sowers, Software Testing Tools Summary, Software Development Technologies Inc. White Paper, 2002.
8. STEN, http:/www.sten.or.kr, Software Test Engineer Network.
9. Patrick D. T. O'Connor, Practical Reliability Engineering, John Wiley & Sons, 2002.
10. W. Grant Ireson, Clyde F. Coombs, and Richard Y. Moss, Handbook of Reliability Engineering and Management, McGraw-Hill Professional, 1995.
11. G. Chastek, P. Donohoe, K. Kang, and S. Thiel, Product Line Analysis: A Practical Introduction, Technical Report CMU/SEI-2001-TR-001, Software Engineering Institute, Carnegie Mellon University, 2001.
12. K. Lee, K. Kang, and J. Lee, Concepts and Guidelines of Feature Modeling for Product Line Software Engineering, 7th ICSR.
13. Douglas Hoffman, Using Test Oracles in Automation, Pacific Northwest Software Quality Conference, 2001.
14. E. Dustin, J.Rashka, and J. Paul, Automated Software Testing, Addison Wesley, 1999.
15. M. Fewster, D. Graham, Software Testing Automation: Effective use of test execution tools, ACM Press, Addison Wesley, 1999.
16. Beommo Kim, Changhyun Baek, Joongsoon Jang, Gihyun Jung, Kyunghee Choi, and Seungkyu Park, A Design and Implementation of the Check Module for the Test of Embedded Software, KISS Conference, 2004.
17. Beommo Kim, Changhyun Baek, Joongsoon Jang, Gihyun Jung, Kyunghee Choi, and Seungkyu Park, A Design and Implementation of Virtual Environment Operator for the Embedded Software Test, Korea Computer Congress 2005, 2005.
18. IEEE-SA, IEEE829: IEEE Standard for Software Test Documentation, IEEE-SA Standards Board, 1998.