Tracing execution of software for design coverage

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 328-332

  Lencevicius, Raimondas ^a   Metz, Edu ^a   Ran, Alexander ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; TESTING;

CODE COVERAGE; DESIGN ABSTRACTIONS; GENERIC APPROACH; OPERATION LOGIC; SOURCE CODES; STATECHART DIAGRAM; STRUCTURE DIAGRAMS; SYSTEMS OPERATION; TEST ENGINEERS; TOOL SUPPORT;

SOFTWARE TESTING;

EID: 58049115030     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989822     Document Type: Conference Paper

References (12)

1. Mark R. Blackburn, Using Models for Test Generation and Analysis, Proceedings of the Digital Avionics System Conference V8, IEEE, 1998.
2. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Addison-Wesley, 1999.
3. th International Joint Conference CAAP/FASE, volume 1214 of Lecture Notes in Computer Science, Springer-Verlag, April 1997.
4. M.P.E. Heimdahl, S. Rayadurgam, W. Visser., Specification Centered Testing, Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification, ICSE-2001, 2001.
5. I-Logix Rhapsody, www.ilogix.com. 2001.
6. Lencevicius, R., Advanced Debugging Methods, Kluwer Academic Publishers, 2000.
7. Lencevicius, R.; Holzle, U.; Singh, A.K., Dynamic Query-Based Debugging, Proceedings of the 13th European Conference on Object-Oriented Programming'99, (ECOOP'99), Lisbon, Portugal, June 1999, Published as Lecture Notes on Computer Science 1628, Springer-Verlag, 1999.
8. R. Lencevicius, E. Metz, A. Ran, Exploration of Design Coverage through Examples, Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification, ICSE-2001, 2001.
9. R. Lencevicius, E. Metz, A. Ran, Tracing Execution of Software for Design Coverage, Tech Report www.arXiv.org/abs/cs.SE/0109019, 2001.
10. R. Lencevicius, A. Ran, R. Yairi, Third Eye- Specification Based Analysis of Software Execution Traces, Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, ICSE-2000, pp. 51-56, June 2000.
11. A. Ran, Architectural Structures and Views, in Proceedings of the Second International Software Architecture Workshop, ACM Press, 1998.
12. Rational Rose RealTime, http://www.rational.com. 2001.