Administrative Information

المعلومات الادارية

 

عنوان المشروع-  Project Title

A Visual Mapping Technique for Testing the control and Data-flow Interactions of a Function Under Test     

أُسْلُوب فَحْص بصري (لدالة تحت الاختبار) يعتمد على اظهار تَفَاعُل جَرَيَان أامَعْلُومَات في لُغَة أابرمَجَة

 

الباحث الرئيسي Principal Investigator -

الاسم

 Name

المؤسسة

Institution

الوظيفية

Post

العنوان

Address

العنوان الالكتروني

e-mail

رقم الهاتف

Telephone

Marcel Karam

AUB

Assistant Professor

11-0236

Marcel.Karam@aub.edu.lb

01-350-00E ext.4271

الباحثون المشاركون :Co-Workers - لا احد

 

 

المدة التعاقدية للمشروع Duration -:

سنة واحدة

 

 

 

Scientific Information

المعلومات العلميّة

الهدف-  Objectives

The objective of this research is to help testing visually the testedness of a function under test based on its control-flow and dataflow characteristics. The use of algorithms to collect the control-and data-flow information is used ( with the use of a coloring scheme) to visually monitor the testedness of these characteristics in an effort to locate a fault in the code

 

ألانجازات المحققة   Achievements -

To build a prototype tool used to evaluate the proposed approach, called VTEC. The result of our initial empirical experiments  were used and placed in a conference paper that was accepted at the Canadian IEEE conference in 2005.

 

آفاق البحث  Perspectives -

We have completed further emperical results, and are in the process of completeing a Journal article that will be submitted to the Journal of Visual languages and computing.

 

المنشورات والمساهمات في المؤتمرات-  Publications & Communications

I have attended the IEEE CCECE (Canadian Conference on Computer and Electrical Engineering) 05 in Saskatoon Canada, and presnted the paper.

 

موجز عن نتائج البحث Abstract -

We have implemented a system (VTEC) that solves the problem of incorporating and visually representing both control-flow and data-flow characteristics of a function under test; especially in the presence of simple pointer/aliases interactions. Our initial results obtained using a case study show promising results. For cases where VTEC was ineffective, we plan to use/visualize additional program attributes such as program slicing information. We plan to further explore the addition of data-flow analysis of complex pointer interactions, and conduct a complete empirical study to evaluate VTEC effectiveness to catch faults that are directly related to pointer/aliases in a function under test