基于cps的实时系统的面向方面的测试方法-计算机应用技术专业论文.docxVIP

A A Dissertation Submitted to Guangdong University of Technology for the Master Degree of Engineering Science Aspect--Oriented Testing Approach of Real-time System in Cyber Physical Systems Master Candidate：Gensheng Tang Supervisor：Prof．Lichen Zhang May 29，2011 Faculty of Computer Guangdong University of Technology Guangzhou。Guangdong，P．R．China，51 0006 摘要摘要 摘要 摘要 面向方面编程范式通过引入方面实现横切关注点的分离和封装，很好的解决了代 码纠结和代码分散等面向对象程序所面临的难题，使系统易于实现和扩展，同时提升 了软件的模块性和可重用性。然而，AOP方法主要被应用于软件开发生命周期中的问 题分析、软件设计与代码实现阶段，面向方面测试技术和方法的研究相对较少。另外， AOP的实现引入了新的语言构造，可能给软件带来新的类型的缺陷，给测试带来极大 的挑战。 随着无线射频技术以及计算能力的提升，Cyber-Physical网络环境成为继物联网 之后又一热门研究领域。作为实时系统的重要应用场所，CPS集通信、计算和控制于 一体，注重物理资源与计算资源的紧密结合与协调。其应用范围也相当广泛，小到机 器人系统，大到国家电网、智能交通系统等。当前面临的挑战主要包括系统设计、开 发和集成等理论的缺乏，系统的实时性、安全性及可靠性等非功能特性也是亟待解决 的重要内容，特别是软件的设计与开发在质量保证上面临着巨大的挑战。 基于上述需求，本文通过分析Cyber-Physical网络环境下实时系统的特点，综合 分析基于错误模型、基于状态模型和基于方面流图等常用的面向方面程序测试方法的 优缺点，提出基于优先级的的面向方面状态增量测试方法。在基于模型的方面测试框 架指导下，首先构建符合正确程序的面向方面的有限状态机模型，这个正确的程序能 够通过所有的面向方面状态模型的测试；然后由系统状态模型产生状态转换树，从而 得到测试套件；最后通过识别一个方面改变其对应基类的程度来确定对该方面的测试 优先次序，分别采用具有优先级和无优先级的测试套件进行测试，得出测试结果并进 行合理性分析。 本课题的研究第一次详细提出基于优先级的面向方面状态增量测试方法，文章最 后以车辆自适应巡航系统实例加以说明和验证。结果表明，该方法能高效地检测出面 向方面程序中可能存在的方面交互的错误，可以加快测试进度，提高面向方面程序的 正确性和健壮性。 关键词：Cyber-Physical System；实时系统；面向方面；软件测试 广东工业大学硕士学位论文Ab 广东工业大学硕士学位论文 Ab stract Aspect-oriented programming paradigm introduces aspect to realize the separation and encapsulation of crosscut concerns．It well solve the code tangle and code scattering challenges that object-oriented programming have to face，and make the system easy to be realized and expanded，also increase the sofcware modularity and reusability．However, AOP is mainly used in the analysis，design and code implementation phases of software development life cycle．The research of aspect—oriented testing techniques and methods is relatively few．In addition,the realization of the AOP introduced a new language structure， which may bring new types of software fault．This brings software testing great challenges． With the development of RF