基于控制流的形式化程序测试

• 作者: 丁佐华 章靠
• 来源期刊: 浙江理工大学学报
• 学科: 工学
• 关键词: 软件测试 序列程序 形式化方法.
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 机电与信息科技
• 页码范围: 287-291
• 页数: 5页
• 分类号: TP311.56
• 字数: 3243字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3851.2008.03.011

摘要

为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法.该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例.程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁佐华	浙江理工大学信息电子学院	26	71	6.0	7.0
2	章靠	浙江理工大学信息电子学院	3	1	1.0	1.0