Linux中USB设备驱动程序研究

介绍了USB的相关概念及Linux中USB设备驱动程序的框架和重要数据结构。通过设计和实现一个典型的例子,总结了Linux下编写一个USB设备驱动程序的一般方法和技巧。     

描述实时系统需求的模型

本文提出一个描述实时系统需求的模型。在这个模型中,层次式有穷状态机械表示成规则和模板的形式,且一个模板对应于一个状态机。由于与状态机相关的规则和信息可被写入到模板中,故用此模型写出的需求规格说明书可由多个模板组成,而且易于理解和阅读。最后,本文讨论了此模型的特点。     

视点间的不一致性检查和视点集成

需求定义人员常从同的观察角度来定义大型软件系统的需求,从而形成多个部分需求说明（视点）。由于视点之间的相对独立性,多视点的集成是需求工程中一项重要而又困难的研究课题。使用形式化方法来描述视点需求和视点间的关系将使视点集成能自动进行。在此,使用SFSM状态转换图来描述视点需求,并将视点间的关系用谓词的形式表示在状态图中状态转换的卫士条件中,同时在此基础上提出了一种自动合成视点的方法,需求定义人员可以根据状态等价关系与合成后状态图的冲突来检查和解决两个视点之间的不一致性。通过重复视点合成和检查、处理视点间的不一致性这一过程,多个视点可以被集成为整个软件系统的需求说明,应用了一个电话系统的例子说明了此视点需求表示和视点集成方法。使用此方法,视点集成过程可以自动完成,同时还可以在一定程度上引导需求定义人员检查和解决视点间的不一致性。     

从时序图描述推导目标描述的方法研究

面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和一致性的判定问题.本文希望将场景描述转化为目标描述,然后通过保证目标的完整性和一致性来保证场景描述的完整性和一致性.因此,本文从场景的时序图描述出发,通过时序图的语义描述提出了一种时序图向操作目标集合的推导方法,并提供了判定推导等价的判定定理.     

一种通过量化分析实现非功能需求的方法

提供了一种面向过程非功能需求处理方法，通过量化需求领域信息实现；对非功能需求目标进行分析得到目标优化树，在目标优化树中加入领域信息产生设计分析图，然后对图中领域信息结点进行量化赋以特定的量值，权衡各量值来选择合适的解决方案，还提供了简便的方法来支持系统升级。     

软件体系结构评估方法的研究*

体系结构评估是软件开发中的一项重要工作,目的是分析体系结构潜在的风险,并检验设计中提出的质量属性需求。介绍并讨论了有代表性的三种评估方法：SAAM,ATAM,ALPSM,在此基础上提出一个概念上的比较框架来分析这些评估方法的相似与差异,并进一步对方法的结合、重用,以及在设计中引入评估及实践中的使用等问题作了探讨。     

基于多视点的需求描述模型

本文提出了一个基于多视点的需求描述模型,该模型可通过视点模板来定义用户的需求,此外,本文也结合一个管理信息系统的实例,介绍了使用这一需求描述模型定义软件系统需求的全过程。     

自动测试中的状态生成算法

针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法。结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序状态的同时保证了程序状态的完全覆盖。该方法采用程序员熟悉的程序逻辑的描述方法,更易于使用。     

基于SAT工具的限界模型检测归约方法

限界模型检测主要对路径上的属性进行检测,基于此给出一种编码方法,将LTL公式在路径上展开,从而将限界模型检测转换为命题逻辑的可满足性问题,使用SAT求解工具来完成模型检测过程。阐述归约过程的正确性与完全性,通过一个具体例子证明了该方法的有效性。