论文部分内容阅读
近年来,随着嵌入式领域的发展,嵌入式软件及系统的规模和复杂程度越来越大。但是嵌入式软件的产品质量始终无法得到充分保障,生产效率也无法得到提高。软件复用和构件技术作为提高软件质量和生产效率的有效方法被引入到嵌入式软件开发中。领域工程是实现大规模软件复用的关键,领域工程的实施主要包括领域分析,领域设计、领域实现三个阶段。领域分析是对特定领域进行需求分析,主要目的是识别领域需求中的可复用成分。作为一种特殊的软件系统,嵌入式系统面向特定应用领域,软硬件结合十分紧密,且普遍具有实时性、高效性的特点。因而传统的领域分析方法不再适用于嵌入式领域。本文分析比较了几种较为成熟的领域分析方法,总结出它们的不足之处,结合嵌入式领域的特殊性,构建出适用于嵌入式领域的需求模型,并分析了嵌入式领域需求建模过程。本文构建的嵌入式领域需求模型是以嵌入式领域词典为基础,由领域需求描述、特征模型、用例模型三部分组成。领域需求描述是一种以自然语言表述模式与计算机处理模式相结合的描述方法,能够较为完整准确地描述嵌入式领域需求。本文针对传统的特征模型中存在的对领域可变性需求可能表达不准确、无法描述硬件可变性等问题,从特征模型的层次分解、特征间依赖关系、特征模型视图等方面进行描绘,提出一种具有层次结构的特征模型,并提供一种特征模型形式化方法用于模型验证。该特征模型具有良好的层次结构扩展能力,能够应对嵌入式领域复杂的变化性描述,具有更实际的使用价值。用例模型作为特征模型的补充,用于描述嵌入式领域中系统的外部行为,记录用户和系统的关键交互过程,有助于更加精确、清晰的描述嵌入式领域需求。本文最后对领域需求建模工具进行了介绍,并结合嵌入式领域需求模型和工具对无创呼吸机领域进行了需求建模。