论文部分内容阅读
软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.
一种基于需求规约的谓词测试用例生成方法
【摘 要】
：
软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法
【机 构】
：
安徽工商职业学院电子信息系
【出 处】
：
安徽工程大学学报
【发表日期】
：
2014年3期
【基金项目】
：
安徽省自然科学基金资助项目（1408085MF124）
其他文献
一、发展现状目前,嵩县基本形成1.67万hm2经济林,1.13万hm2中药材,35万头（只）优质肉牛肉羊,3000hm2烟叶等四大特色产业基地。已建成各类涉农龙头企业35家,其中洛阳顺势药业有限
一、我国农村法制建设面临的主要困境（一）涉农法律法规自身存在缺陷农村法律法规的不健全是阻碍农村法制建设的首要问题。这主要表现在：涉农法律法规体系不健全，许多农业工作领域
一、菇房和栽培原料的处理（一）菇房处理栽培百灵菇所用的菇房一般用蔬菜保护地设施，如日光温室、塑料大棚等。种菇前最好能揭膜晒棚2周，料进棚前再用10茗的百菌清烟雾剂或10茗的
温棚蔬菜已成为冬眷市场供应的主要栽培方式，种植面积大、种类多、茬口多、需肥特点差异大．测土配方施肥应用困难。为保证蔬菜质量和产量最优化．合理科学地掌握化肥的施用量是非
党的十七大从中国特色社会主义事业总体布局出发，对新时期“三农”工作做出了重大部署，进一步明确了“三农”工作的重要地位、总体要求、目标道路、首要任务和重点工作。我们一
一、日光温室结构日光温室长40～50m，宽8～10m，后墙高2～3m，墙体厚0．8～1m，后柱高2．2～3m，中柱高1．5～2．5m，前柱高1～1．5m。为保温增光，采用透光好的无滴膜，用压膜线里顶外压固膜，尽量减少膜上穿孔，
针对钢管二维漏磁检测系统中,轴向缺陷检测装置中探头采集到各路轴向缺陷信号之间的互扰问题,采用基于相对梯度算法的盲分离技术,消除探头中各通道传感器采集信号之间的互扰.
为了研究紫外线纤维织物缝口强度的影响，利用正交试验，对具有抗紫外线功能的涤棉混纺平纹布与常规涤纶斜纹布和涤棉混纺平纹布的缝口强度进行测试，并用线性回归对数据进行拟合，分
【正】近年来,随着生物科学的飞速发展、信息技术在生物教学中的广泛应用,生物学教学改革取得了可喜的成绩。但是,有些生物教师只为标新立异,不顾生物学科自身的特点,致使生
以玫瑰茄为原材料,采用壳聚糖复合涂膜方法对其进行保鲜研究.结果表明：玫瑰茄涂膜保鲜液最佳配方为：壳聚糖质量分数为1.5%,乙酸质量分数为1.0%,1,2-丙二醇质量分数为3.0%,吐温2