论文部分内容阅读
研究了基于EAI(Environment Application Interaction)模型软件错误注入测试方法,结合变异测试技术,提出了一种基于EAI模型的加权测试技术及其实现方法。对实际软件进行测试,实验结果表明,该方法有效并且可复用性强。
一种基于EAI模型的错误注入测试方法
【摘 要】
：
研究了基于EAI(Environment Application Interaction)模型软件错误注入测试方法,结合变异测试技术,提出了一种基于EAI模型的加权测试技术及其实现方法。对实际软件进行测试,实验结果表明,该方法有效并且可复用性强。
【机 构】
：
南华大学计算机科学与技术学院
【出 处】
：
工业控制计算机
【发表日期】
：
2011年04期
其他文献
探讨碳基催化法在锅炉烟气脱硫应用中的优势.采用模拟烟气对一种新型炭基催化剂用于锅炉烟气脱硫的反应条件进行了实验;向催化剂中添加烟气粉尘进行对比试验,以讨论粉尘添加
为了将孤立的流水线系统和仓储系统有机的联系起来，基于最高响应比法和匈牙利算法的调度系统设计了其在流水线、仓储系统中的优化应用，建立了最高响应比法和匈牙利算法的数学模
随着经济发展，中国目前已经处于物流发展倒逼政策放开的节点。“一带一路”、京津冀协同发展和长江经济带战略等战略部署，以及“3纵5横”全国骨干流通大通道体系确定将为中国物
讨论再生核空间W2^1[a，b]定义中的条件是否可以减弱的问题，得到下面的两个结论：(1)条件u(x)是[a，b]上实的连续函数且u′(x)∈L^2[a，b]不能推出u(x)是[a，b]上实的绝对连续函数；(2)再
就抗营养因子、霉菌污染、氧化变质、不良味道、饲料加工、营养平衡等饲料适口性的影响因素进行分析,提出改善饲料饲口性的针对性措施,为饲料生产提供参考。
<正>井立强博士,1973年生,黑龙江大学化学化工与材料学院副教授。1991年9月-1997年7月在吉林大学分析测试专业学习与工作。1997年9月-2000年7月在吉林大学环境科学与工程系学
期刊
根据船舶航行灯监控系统的控制需求,阐述了基于S7-200 PLC航行灯监控系统的软硬件设计方案,并给出了系统的主要控制程序。实际运行结果表明,该系统具有控制准确、可靠、调试
针对卧式镗床的工作特点，提出了一种使用三菱PLC改进其电气控制系统的方法，分析了电气系统的控制要求，给出了系统的硬件、软件设计方法，阐述了PLC输入输出端保护措施，实践证明，这种
在《存款保险条例》实施4年后，如今央行又有大动作。近日，存款保险基金管理有限责任公司在北京成立，注册资本100亿元，由中国人民银行100%持股，法定代表人黄晓龙，系中国人民银行金融
报纸
读写分离集群,是当前系统应对高并发、大吞吐量的一种方法,也是一种保障系统业务连续性的方法。现有实现读写分离集群的工具和方法,主要是一种静态部署,不适应资源横向扩展、