面向对象并发程序切片技术及其在程序验证中的应用的任务书.docxVIP

面向对象并发程序切片技术及其在程序验证中的应用的任务书

任务描述：

本次任务是面向对象并发程序切片技术及其在程序验证中的应用，主要目的是探讨面向对象并发程序的切片技术，以及该技术在程序验证中的应用。任务内容包括如下几点：

1.研究面向对象并发程序切片技术的相关知识，掌握其基本原理和方法；

2.探究该技术在程序验证中的应用，并分析其优势和不足之处；

3.设计一个面向对象并发程序，使用切片技术对其进行切片，并验证该程序的正确性；

4.撰写论文，详细介绍面向对象并发程序切片技术及其在程序验证中的应用，包括技术原理、实验设计与结果分析等内容。

任务要求：

1.对相关知识进行深入研究，全面理解切片技术的基本原理和方法；

2.手动设计一个面向对象并发程序，并通过切片技术进行验证；

3.在论文中对实验结果进行详细分析，并阐述该技术在程序验证中的应用；

4.论文语言规范，内容严谨，结构合理，具有一定的学术价值和创新性。

参考文献：

1.LiX,SunJ,ZhangJ,etal.ScalableDynamicSlicingofConcurrentPrograms[J].2015.

2.TavakoliN,KhosraviR,EbrahimiM.AnApproachforDynamicProgramSlicingofConcurrentPrograms[C].InternationalConferenceonComputerandInformationTechnology,2015.

3.AminA,BendahmaneM,BouhoulaA.Anewdynamicslicingcriterionforconcurrentprograms[J].TheJournalofSystemsandSoftware,2011,84(7):1062-1072.