论文部分内容阅读
在研究了组合测试基本模型的基础上，提出了一种基于组合测试的故障原因诊断方法．该方法基于组合测试的结果，补充一些附加测试用例进行重新测试，并对其结果作进一步分析和验证，从而迅速将故障原因锁定在很小的范围内，这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考．
一种基于组合测试的软件故障调试方法
【摘 要】
：
在研究了组合测试基本模型的基础上，提出了一种基于组合测试的故障原因诊断方法．该方法基于组合测试的结果，补充一些附加测试用例进行重新测试，并对其结果作进一步分析和验证，从而
【机 构】
：
东南大学计算机科学与工程系,江苏省软件质量研究所,国防科学技术大学计算机学院,武汉大学软件工程重点实验室
【出 处】
：
计算机学报
【发表日期】
：
2006年1期
【基金项目】
：
本课题得到国家杰出青年科学基金（60425206）、国家自然科学基金（60373066,60403016,90412003）和江苏省自然科学基金（BK2005060）资助.
其他文献
设计了一个求解多序列比对问题的并行混合遗传算法（与之相应的软件称为PHGA-COFFEE）.该算法采用COFFEE函数作为个体的适应度函数,构造了六种遗传算子,特别是设计了两种新颖的变
中国内燃机工业协会第四届会员代表大会于2008年7月2-3日在北京举行，谭旭光当选新一届中国内燃机工业协会理事长。谭旭光理事长表示，内燃机企业要加强与政府的沟通，承担起社会责
消息认证码（MAC）是与密钥相关的单向Hash函数，不同的密钥会产生不同的Hash函数．因此接收者能在验证发送者的消息是否被篡改的同时，验证消息是由谁发送的．PMAC是由Black和Rogaway在2
Petri网语言是Petri网理论的重要组成部分，也是系统行为分析的一种重耍的工具．Petri网语言的Pumping引理反映了Petri网语言的共性，可用来证明某些语言不是Petri网语言，已经证明，当