搜索筛选:
搜索耗时1.1366秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：章靠,丁佐华,
来源：浙江理工大学学报 年份：2008
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题，提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后，通过条件演算对序列......
相关搜索：
