【摘 要】
:
软构件是由详细规格说明约束的接口和依赖外部的上下文组成的复合单元,它能够被独立的部署,并受控于第三方。随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开
论文部分内容阅读
软构件是由详细规格说明约束的接口和依赖外部的上下文组成的复合单元,它能够被独立的部署,并受控于第三方。随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开发方法日趋成熟。如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题。 本论文是基于场景的软构件自动化测试工具的研究与实现,介绍了基于统一建模语言UML的顺序图构造测试场景具体方法,并对基于UML顺序图构造测试场景方法的有效性进行了分析。在构建测试用例模型时,利用了消息顺序图,在此基础上对消息的顺序机制进行扩展,它以序列图的事件序语义为基础,用消息序列表示序列图,并将其具体上下文表示为对消息序列的语义约束。 分析了基于场景的软构件可靠性测试,利用交互场景模型来定义软构件在应用系统中的使用环境,以面向方面编程技术在一定程度上拦截并监控软构件的内部运行,并运用工作流引擎依据交互场景中的信息驱动测试任务,实现对软构件自动化测试目的。
其他文献
<正> 20世纪80年代中期,西方国家提出一种着眼于配合陆战的轻型航空兵器——"战场飞机"的概念。近年来,我国的有关专家也提出过类似的想法。自1991年海湾战争开始,人类的战争
目的观察超声引导下经皮Herbert螺钉固定治疗新鲜无移位腕舟骨骨折的临床疗效。方法 2013年5月—2015年8月,采用超声引导下经皮Herbert螺钉固定治疗新鲜Krimmer分型A2型腕舟
唐代是中国绘画极其成熟的时期,表现鞍马的题材在这时已形成独立画科,脱颖而出。以马作为绘画表现的内容契合了唐代社会、经济、文化的辉煌气象和锐意进取的精神。唐代思想的
通过对加氢装置反应系统多年RBI(Risk-based Inspection,基于风险的检验)工作的总结,分析了加氢装置反应系统中的氨盐腐蚀,提出如何减缓或防范设备因氨盐腐蚀失效,并借鉴国外的
用LI-6400便携式光合作用系统对美国黑樱桃、加拿大黑樱桃、中国山樱桃苗木的净光合速率、气孔导度、胞间CO2浓度等进行了比较测定,结果表明:(1)日平均净光合速率、气孔导度
猛犸象属古脊椎动物,其现存的猛犸牙多呈半化石状态。采用SEM,FTIR等分析测试仪器对猛犸牙和象牙的微生长结构、胶原蛋白等差异特征进行了研究。结果表明,象牙和猛犸牙主要由
本文欲探讨宗气下陷证的实质。通过对宗气的生理功能及宗气下陷证的病因病理、临床表现、病例治疗的综合分析,认为宗气下陷证与肺气虚衰密切相关,宗气下陷证即是以肺气虚衰为
目的:探讨应用大段病骨切除+旷置及截骨延长治疗胫骨慢性骨髓炎、骨不连的临床效果。方法:术前根据患者小腿最大周径、内踝到胫骨平台长度、依据X光片判定的病骨切除范围和截
面向agent的软件开发被看作是一个新的软件开发范型。但是,agent领域正面临着一种尴尬的状况:一方面市场上对agent技术有很大的需求,另一方面agent技术还不成熟。而面向对象
目的探讨重症慢性顽固性肺部疾病的临床特点、治疗疗效及预后。方法对2005年2月~2010年12月在吉林省舒兰矿业(集团)公司总医院呼吸内科住院治疗的169例重症慢性顽固性肺部疾病