接口自动机组合算法的实现与分析任务书
2022-01-17 22:23:14
全文总字数：2009字
1. 1. 毕业设计（论文）的内容、要求、设计方案、规划等
本课题涉及的项目写作及论文写作要求如下：1.前言：详细了解软件构件组合的技术及国内外相关研究的最新发展趋势，并针对接口自动机组合的特点总结项目的重点、难点及创新点；2.方案拟订：通过学习相关关键技术选择合适的开发技术和运行环境，并初步搭建设计开发环境。熟练掌握java程序设计的技巧，掌握xml语言的具体应用以及组合算法的具体实现。3.实验数据的采集与处理：设计合理的系统功能模块，完成软件内部代码；准确实现软件编码，完成既定的功能，各部分测试通过；在设计过程中，提取并保存各阶段的进展报告及文档。4.结论与分析：在所学知识理论的指导下，给出合理的结论，书写格式规范，按要求提供电子及纸质文件。5.撰写要求：参考南京林业大学本科毕业论文撰写规范，撰写完整规范的学位论文。论文前言中应包本课题研究的背景，研究目的和意义，研究的内容和思路等。论文正文中要包含系统主要界面图，论文的附录中应包含相关程序代码。论文结论应反映个人的研究工作成果，要求简洁明确、措辞严谨。
6.准备答辩的演示文稿。
2. 参考文献（不低于12篇）
[1]王博,白晓颖,张超,贺飞,SONG Xiao-Yu. 基于接口自动机与符号执行的嵌入式软件测试用例生成[J]. 计算机学报,2015,(11):2125-2144. |
[2]简林. 基于接口自动机的服务组合验证研究[D].中南大学,2011. |
[3]徐丙凤,胡军,曹东,黄志球,郭丽娟,张剑. T-CBESD:一个构件化嵌入式软件设计模型验证工具[J].小型微型计算机系统,2010,(11):2129-2137. |
[4]王晓燕,刘淑芬,于海. 基于接口自动机的服务组合方法[J]. 吉林大学学报(工学版),2009,(03):743-748. |
[5]张岩,胡军,于笑丰,张天,李宣东,郑国梁. 场景驱动的构件行为抽取[J]. 软件学报,2007,(01):50-61. |
[6]胡军,于笑丰,张岩,王林章,李宣东,郑国梁. 基于场景规约的构件式系统设计分析与验证[J]. 计算机学报,2006,(04):4513-4525. |
[7]胡军,于笑丰,张岩,李宣东,郑国梁. 基于场景构件式实时软件设计的一致性检验[J]. 软件学报,2006,(01):48-58. |
[8]张岩,胡军,于笑丰,李宣东,郑国梁. 接口自动机一种用于组件组合的形式系统[J]. 计算机科学,2005,(11):212-217. |
[9]胡军. 构件化嵌入式软件设计的分析与验证[D].南京大学,2005. |
[10]文艳军. 基于接口自动机的组合验证方法研究[D].国防科学技术大学,2005. [11]Alfaro D L,Henzinger T A. Interface theories for component-based design [A]. In:Proceedings of Embedded Software, First International Workshop, EMSOFT 2001[C]. Berlin: Springer-Verlag, LNCS 2211, 2001, 148-165. [12]Alfaro D L,Henzinger T A. Interface automata [A]. In: Proceedings of the Joint 8thEuropean Software Engineering Conference and 9th ACM SIGSOFT InternationalSymposium on the Foundations of Software Engineering (ESEC/FSE 01) [C]. NewYork: ACM Press, 2001, 109-120. |
