【摘 要】
：
形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试
论文部分内容阅读
形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC/DC（修改的条件/判定覆盖）准则是一种实用的软件结构覆盖率测试准则。结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试。以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性。
其他文献
悬挑脚手架是建设部推广的十大施工新技术之一,具有不受现场和楼高的限制,投入低、周转快、缩短工期等优点,已成为我国目前工程施工中广泛应用的一种脚手架。作为一种重要的
医院财务工作中建立管控措施,防范潜在风险是维持和保障医院各项工作顺利开展的基础,因此,医院财务工作中应该强化对风险的管理、预警和防范机制。本研究以医院财务风险为中
《众妙仙方》为明代方书,分补养、子嗣、稀痘、痰嗽、疟疾、脾胃、痢疾、泄泻等60门,载方1600余首。所载以简便验方居多,名方如龟鹿二仙丹、五子衍宗丸、定喘汤、史国公药酒
新西兰反腐制度简单、有效,到2013年,其清廉指数已经连续8年排名世界第一了。我国反腐十八大以来成效显著,但反腐任务还是任重而道远,借鉴新西兰的反腐经验对于我国开展反腐
<正>Point电子商务产业是海口重点发展的支柱产业,行业发展持续加速,产业集聚效应明显,产业发展环境不断优化,涌现出一批优秀的互联网+电商企业,行业经济贡献率不断提高。同
东南沿海成矿带成矿作用时代与华夏古陆的形成演化 ,特提斯向环太平洋构造成矿域的转换及中新生代中国东部大陆边缘构造活动关系密切。东南沿海成矿作用时代主要与该区中—新
明胶应用领域广泛,需求量逐年递增,传统哺乳动物明胶生产途径已难以满足日益增长的需求量,且为解决哺乳动物明胶的使用受传染病安全风险和宗教禁忌限制并可能有感染传染病的
本次翻译实践的文本来自亨利·菲尔丁(Henry Fielding,1707-1754)的小说《里斯本航海日志》(The Journal of a Voyage to Lisbon,1754)。本篇论文基于认知隐喻学以及认知隐喻
使用Matlab软件从短路时刻、短路点、电动机容量三个方面对三相短路时低压大功率异步电动机向短路点反馈电流的影响进行仿真分析,并与计算值进行比较,论证了对称短路时,电动
<正>Point本文从热力膨胀阀发展的历程出发,描述了目前国内外热力膨胀阀的动力头焊接发展现状,并就热力膨胀阀的动力头焊接的一些特点、技术指标和要求、类型以及汽车热力膨