收藏本站
《南京航空航天大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于动态行为模型的构件及组装测试的研究

李良明  
【摘要】:构件组装是基于构件软件开发的核心技术,构件必须通过组装才能构造新的应用系统。而为了使组装成为可能,一个构件必须依附于一种特定的构件模型。但目前占主流的构件实现模型一般没有对构件的动态行为进行描述,也缺少组装理论来验证构件组装的正确性。因此,在验证所使用的构件和其组装是否真正满足用户要求时往往会遇到很多困难。本文用接口自动机来描述构件的动态行为,借助其形式化的语义对构件的行为和构件组装进行验证和测试,主要工作包括以下几部分: 1.提出了一种从UML状态图转换为接口自动机模型的方法,并对接口自动机模型的测试问题进行了研究。构件的行为模型有多种不同的描述方式,当构件模型的类型不一致时要准确地完成组装工作往往非常困难。接口自动机是描述开放系统中构件行为的形式化模型,但如何提取构件行为建立该模型,没有统一的准则;UML是广泛应用的建模标准,但缺少精确的语义使得其难以直接应用于系统的验证与测试。通过对二者表达能力的分析,定义了一组转换规则并对转换过程进行了详细说明,从而为基于接口自动机模型的研究奠定了基础。文中进一步研究了接口自动机模型的测试问题,通过为模型中每一个状态和迁移生成测试用例,为应用接口自动机模型提供了正确性的保证。 2.基于构件的动态行为模型提出了简单运行覆盖的测试准则,并以此为基础介绍了一种生成构件运行场景的方法。在验证构件的功能时需要对其行为模型进行仔细的分析,但使用者常常会因为不具备特定模型的知识,而不能对其进行系统的验证。另外,除了构件的实现细节外,用户往往更关心与目标系统功能相关的构件行为,特别是可以直观的与其需求相对应的行为,但却常常难以获取。文中所提出的方法能够对构件的整体行为进行验证,并可进一步生成能够覆盖构件功能的最小测试用例集,从而能够有效地验证构件是否满足用户要求。 3.提出了一种通过测试用例集的组合进行构件组装测试的方法。构件组装测试多是借助构件模型的组合来实现,若构件由不同的模型描述,则进行有效和系统的组装测试就会非常困难;另一方面模型组合容易产生状态空间的爆炸问题,而且常常会重复单元测试时的工作。在基于构件的软件开发中,不仅构件可以复用,构件的测试用例集也存在可复用的性质。文中首先从理论上分析了测试用例组合的可行性和有效性,然后对该方法进行了详细的说明并对其在构件组装过程中的应用进行了介绍,最后的实例验证和结果分析都说明了所提出方法的实用性,从而为构件的组装测试和传统的软件集成测试提供了一种新的思路。该方法计算过程比较简单,可以满足规定的测试准则且具有一定的通用性。 4.为了充分发挥测试在基于构件软件开发中的作用,提出了一种测试驱动的基于构件软件开发模型和测试驱动的构件组装过程。文中分析了测试驱动开发的思想如何应用于构件的组装过程,说明了不同组装方式下生成组装测试用例的方法,然后对测试驱动的构件组装过程进行了详细的描述。所提出的方法使得构件组装过程中的每一步工作都有可以检验的依据,从而可以降低开发过程中的风险,有利于获得高质量的软件系统。此外,文章对构件组装测试的原型工具进行了初步的设计。
【学位授予单位】:南京航空航天大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP311.52

【相似文献】
中国期刊全文数据库 前10条
1 何新华,张威,赵宇,卢庆龄;软件可靠性数学仿真测试平台设计与研制[J];装甲兵工程学院学报;1998年01期
2 冯柳平,武小年,周德新;软件测试技术在医保管理系统中的应用[J];桂林电子工业学院学报;2001年01期
3 王毅,蔡建平;基于API测试的分布式测试框架的研究与实现[J];计算机工程与设计;2004年08期
4 段红玉,陈炎龙;程序调试技巧[J];郑州牧业工程高等专科学校学报;2005年02期
5 张元华;王峻;;通过软件测试提高航空电台软件质量[J];电讯技术;2006年03期
6 贺青春;叶柏龙;;完全路径覆盖测试法[J];矿业研究与开发;2007年01期
7 刘海鹏;;手机软件测试简介[J];科技咨询导报;2007年01期
8 刘杰;;软件测试与测试中的复用技术[J];科技资讯;2007年04期
9 李宝林;李志蜀;李斌;金虎;王莉;;基于Bayes的软件可靠性模型研究[J];计算机工程与科学;2007年10期
10 胡冬萍;;一种基于遗传算法的黑盒测试应用[J];科技广场;2008年08期
中国重要会议论文全文数据库 前10条
1 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
4 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
7 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
10 孟洛明;;安全性测试及基于属性文法的测试用例生成器[A];第四次全国计算机安全技术交流会论文集[C];1989年
中国重要报纸全文数据库 前10条
1 通文;罗德与施瓦茨:HSDPA测试“软硬兼施”[N];通信产业报;2006年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
4 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
5 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
6 刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
7 罗德与施瓦茨中国有限公司 周云;罗德与施瓦茨领跑HSPA测试[N];通信产业报;2006年
8 武刚;测试是质量的关键[N];中国计算机报;2003年
9 罗德与施瓦茨中国有限公司 刘昶;用规范化“通畅”PoC测试[N];通信产业报;2006年
10 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
中国博士学位论文全文数据库 前10条
1 李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
2 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
3 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
4 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
5 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
6 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
7 陈锦富;基于错误注入的构件安全性测试理论与技术研究[D];华中科技大学;2009年
8 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
9 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
10 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
中国硕士学位论文全文数据库 前10条
1 田春艳;基于灰色关联逼近理想解方法的测试用例评价模型研究[D];昆明理工大学;2009年
2 韩仙玉;基于本体的构件测试信息语义检索方法的研究与实现[D];昆明理工大学;2011年
3 牟余鑫;基于测试用例的缺陷跟踪管理工具的设计与实现[D];吉林大学;2004年
4 章烨;Fuzz安全测试技术研究[D];西安电子科技大学;2010年
5 高凯;嵌入式实时操作系统性能测试方法的研究与应用[D];青岛大学;2010年
6 许扬;ATE软件测试策略及实例研究[D];电子科技大学;2004年
7 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
8 殷广丽;软件测试管理与测试应用实践[D];山东大学;2005年
9 高超;实时CORBA平台一致性测试的研究与实现[D];北京邮电大学;2006年
10 高秋;GMTAF测试自动化框架的设计与实现[D];浙江大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026