论文部分内容阅读
充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立了对充分性准则进行有效性评估的度量指标.最后,总结出几类常用的软件测试充分性准则,指出这些充分性准则所适应的不同测试类型.
软件测试的充分性准则及其评价指标
【摘 要】
：
充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立
【机 构】
：
吕梁学院计算机科学与技术系
【出 处】
：
山西师范大学学报(自然科学版)
【发表日期】
：
2012年04期
【基金项目】
：
吕梁学院校级基金(ZRXN201216)
其他文献
Rho/Rho激酶信号通路是体内普遍存在的一条信号通路,它通过调节细胞内肌动蛋白骨架的聚合状态而扮演着"分子开关"的角色,参与细胞形态维持、细胞粘附与迁移、细胞增殖与凋亡
现在各种职业技能大赛举办的如火如荼,作为职业院校一定要以职业技能大赛为契机,改善职业院校的教学条件,构建和优化职业院校的教学体系,并且更新职业院校的教学内容,达到"以
弗里希和丁伯根是20世纪最具盛名的经济学家,他们是计量经济学的拓荒者,正是由于他们开创性的研究,计量经济学才成为主宰西方经济学的显学。同时,在应用计量方法的时候,他们
根据要求出口罐头食品企业都建立了HACCP体系,并进行了实施,但在卫生注册考核或官方验证时,仍发现少数企业存在一些问题,有些还是共性的问题。本文对此提出改进建议,并就HACC
本研究旨在观察压力超负荷所致心肌肥厚的病理生理过程中是否发生细胞程序性坏死及洛沙坦对这一病理生理过程的影响。实验采用腹主动脉缩窄术(TAC)建立压力超负荷导致的心肌
慢性重型肝炎护理体会朱杰英（广西右江民族医学院附属医院内四科百色市５３３０００）关键词慢性肝炎；重型；护理慢性重型肝炎（以下简称慢重肝）常见的死亡原因为出血、感染、肝性脑病及肝肾综合征
<正>中国汇率市场化改革目标是要建立一个以市场供求为基础的、有管理的浮动汇率制度,维护人民币汇率在合理、均衡基础上的基本稳定。改革开放前,中国实行计划经济体制,没有
农民工子女的教育问题已引起社会的普遍关注。在国家的帮助下,农民工子女入学的问题已得到基本解决,但仅仅解决入学问题是不够的。农民工子女作为一个特殊群体,他们存在自卑