تقرير نهائي عن مشروع بحث

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.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