非定态路径测试问题的分析与一种转换算法

您当前的位置：

首页 >

文章列表页 >

非定态路径测试问题的分析与一种转换算法

论文 | 更新时间：2025-07-16

上一篇|下一篇

- 非定态路径测试问题的分析与一种转换算法
- Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm
- 缪力，张大方，季洁，宣恒农
- 电子学报 2005年33卷第2期页码：258-261
- 作者机构：
  1. 湖南大学计算机与通信学院,湖南,长沙,410082
  2. 南京财经大学信息工程学院,江苏,南京,210003
  3. 湖南大学计算机与通信学院湖南长沙,410082
  4. 南京财经大学信息工程学院江苏南京,210003
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60473031,No.60273070);江苏省自然科学基金 (No.BK2004119)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

70

浏览量

957

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

面向机器学习模型安全的测试与修复

基于镜像选择序优化的MART算法

一种新的多路径覆盖测试数据进化生成方法

一种面向性质的实时系统测试方法

基于抽象解释的变量值范围分析及应用

相关作者

管晓宏

李琦

王骞

李前

蔺琛皓

沈超

张笑宇

李志博

相关机构

清华大学网络科学与网络空间研究院

武汉大学国家网络安全学院

智能网络与网络安全教育部重点实验室（西安交通大学）

西安交通大学电子与信息学部网络空间安全学院

中关村实验室