软件体系结构测试覆盖准则研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户：wangjian_heu

【摘要】

：

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题.SA层的测试是软件测试领域的热点和难点.在回顾相关工作的基础上,文章研究了SA测试

【作者】

：

叶俊民赵良罗景王振宇赵恒

【机构】

：

哈尔滨工程大学计算机学院,华中师范大学计算机系,哈尔滨工程大学计算机学院

【出处】

：

计算机工程

【发表日期】

：

2005年22期

【关键词】

：

软件体系结构测试覆盖准则形式化测试 Software architecture Testing criteria Formalization testing

【基金项目】

：

国防科技预研基金，国家重点实验室基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题.SA层的测试是软件测试领域的热点和难点.在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具.这一结论是进一步研究SA测试的基础.

其他文献

长沙市H1N1流感大流行防控措施的动力学模型研究

目的：采用动力学模型模拟长沙市甲型H1N1流感大流行,并评估隔离、治疗患者、疫苗接种等防控策略的效果。方法：根据甲型H1N1流感疾病特征和长沙市人口学特点,建立易感者-潜伏期-

学位

动力学模型甲型H1N1流感大流行隔离抗病毒药物疫苗接种

从流行性出血热的误诊病例中检讨错误的诊断思维

期刊

流行性出血热误诊

物理选择题巧析十法

一、推理法依据题干进行推理,抓住关键词推敲.例1有一物体从距凸透镜1.5倍焦距处沿主轴向透镜方向移动,当物距减小到原来1/2时,适当移动光屏,则在屏上()(A)得到比物体大的虚

期刊

物理选择题反射光线定值电阻滑动变阻器入射光线总功率

乡村干部收费百态

从乡镇接受回来的收款任务是村干部们一年中最最重要的工作、压倒一切的工作。一个村支书能否稳坐他的交椅、取信于乡镇领导，完全要靠收款工作是否完成得及时。其他村干部在村

期刊

收款乡村干部村支书乡镇领导工资收费挂钩直接任务成绩

浪漫的民族情调与恢弘的民族史实——析《尘埃落定》

期刊

土司制度民族情调《尘埃落定》

传染性单核细胞增多症六例误诊分析

传染性单核细胞增多症（传单）临床表现多种多样，与许多疾病有相似之处，容易造成误诊。现将我院近两年来误诊的小儿传染性单核细胞增多症６例分析如下。１临床资料１．１一般资料男、女各３例，年

期刊

传染性单核细胞增多症诊断误诊

郭文景的歌剧新作《夜宴》在伦敦首演

7月10日至18日,中国作曲家郭文景的两部歌剧《狂人日记》和《夜宴》在伦敦阿尔梅达歌剧院连演五场,受到听众好评。《狂人日记》于1994年6月在荷兰阿姆斯特丹首演大获成功后,

期刊

郭文景《夜宴》

适度普惠视角下城市新市民群体住房保障问题研究

改革开放以来,随着我国工业化、城市化的快速发展,越来越多的农村人口涌向城市,逐步形成了一个以进城农民工、毕业后留城市工作的高校毕业生等为主体的“新市民”群体。他们

学位

适度普惠新市民住房保障

几种化学除草剂对冬油菜芽期田间除草效果研究

为筛选对油菜田芽期安全、高效、低成本的除草药剂,笔者比较了不同化学除草剂及其不同用量对防除油菜田间杂草的效果。结果表明:所用的化学除草剂对油菜无毒害作用,对油菜田

期刊

除草剂油菜田杂草芽期经济效益

利培酮口腔崩解片与氯氮平对精神分裂症患者生活质量的影响

目的探讨利培酮口腔崩解片治疗对精神分裂症患者生活质量的影响。方法以利培酮口腔崩解片与氯氮平治疗精神分裂症各40例作对照研究,采用简明精神病评定量表(BPRS)、不良反应

期刊

利培酮口腔崩解片氯氮平分裂症生活质量

软件体系结构测试覆盖准则研究

与本文相关的学术论文