位置:立项数据库 > 立项详情页
基于合约的定制构件的测试方法研究
  • 项目名称:基于合约的定制构件的测试方法研究
  • 项目类别:青年科学基金项目
  • 批准号:60703116
  • 申请代码:F020202
  • 项目来源:国家自然科学基金
  • 研究期限:2008-01-01-2010-12-31
  • 项目负责人:姜瑛
  • 负责人职称:教授
  • 依托单位:昆明理工大学
  • 批准年度:2007
中文摘要:

基于构件的软件开发提供了一种自底向上的、基于预先定制包装好的构件来构造应用系统的途径。大多数构件复用者在获得构件后,可能需要对构件进行相应的定制后才能使用。由于黑盒构件固有的封装性,构件复用者通常只能通过修改构件接口来完成定制。本项目研究如何通过接口为复用者提供构件功能及可定制的信息说明,并利用已有的构件测试信息来测试定制后的构件,对构件质量给出客观评价。首先,基于构件定制及测试的需要扩展了构件接口规约,提出了语法规约、语义规约、协议规约和测试信息规约,定义了规约元素之间的关系;其次,针对扩展后的构件接口规约提出了3类定制方法及18个定制算子,通过分析定制前后规约的差异,根据规约与测试信息的对应关系,对不变的规约直接复用已有的测试信息,对变化的规约则重新自动生成相应的测试信息;最后,综合构件开发者、复用者及第三方的不同视角,重点关注与构件定制、复用相关的质量因素,提出了一个构件质量模型及评价方法;并针对上述研究设计、实现了相应的支撑工具。实验结果表明,本项目的研究提供了构件定制的有效机制,测试方法可以较好地提高定制构件的测试效率和质量,从而在整体上减少构件复用成本,保证构件复用质量。

结论摘要:

英文主题词contracts; customized components; component testing


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 9
  • 10
  • 0
  • 0
  • 0
相关项目
姜瑛的项目