An approach for specification based testing for platforms

Proceedings of the IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS

Volumn 2006, Issue , 2006, Pages 373-378

  Nadaf, Ramzan ^a   Bose, R P Jagadeesh Chandra ^a   Singh, Pranav ^a  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

API testing; Platforms; Specification based testing

Indexed keywords

AUTOMATION; COMPUTER SYSTEM RECOVERY; INFORMATION SCIENCE; SOFTWARE ENGINEERING; SPECIFICATIONS;

SPECIFICATION BASED TESTING;

SOFTWARE TESTING;

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

References (15)

1. The Ballista Project: COTS Software Robustness Testing. www.ece.cmu.edu/~koopman/ballista.
2. Universal home application programming interface (www.uhapi.org).
3. Paul Ammann and Jeff Offutt. Using Formal Methods To Derive Test Frames in Category-Partition Testing. In Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS 94), Gaithersburg, Maryland, pages 69-80, June 1994.
4. Paul E. Ammann, Paul E. black, and William Majurski. Using model checking to generate tests from specifications. In Proceedings of the Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 46-54, 1998.
5. Wei Ding Aynur Abdurazik, Paul Ammann and Jeff Offutt. Evaluation of Three Specification-based Testing Criteria. In Proceedings of IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '00), pages 179-187, Sep 2000.
6. David Coppit and Jennifer M. Haddox-Schatz. On the use of specification-based assertions as test oracles. In Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop, April 2005.
7. H. Jonkers. ISpec: Towards Practical and Sound Interface Specifications. In Integrated Formal Methods, LNCS 1945, pages 116-135, 2000.
8. Alan A. Jorgensen and James A. Whittaker. An API Testing Method. In Proceedings of the International Conference on Software Testing Analysis and Review (STAREAST 2000), 2000.
9. D. R. Kuhn. Fault classes and error detection in specification based testing. ACM Transactions on Software Engineering Methodology, 8(4):411-424, 1999.
10. A. Jefferson Offut, Yiwei Xiong, and Shaoying Liu. Criteria for Generating Specification-based Tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), pages 119-129, 1999.
11. Vadim Okun, Paul E. Black, and Yaacov Yesha. Comparison of Fault Classes in Specification-Based Testing. Information and Software Technology, 46(8):525-533, 2004.
12. T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):676-686, 1988.
13. Amit Paradkar, K.C. Tai, and M.A. Vouk. Specification based testing using cause-effect graphs. Annals of Software Engineering, 4:133-158, 1997.
14. D. Richardson, O.O' Malley, and C. Tittle. Approaches to Specification-based Testing. In Proceedings of the ACM SIGSOFT '89 Third symposium on Software testing, analysis, and verification, volume 14, pages 86-96, 1989.
15. PhilipsSemiconductors.http://www.semiconductors.philips.com/ products/nexperia/.