-
题名面向路径的测试数据自动生成方法述评
被引量：46
- 1
-
-
作者
单锦辉
王戟
齐治昌
-
机构
国防科学技术大学计算机学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2004年第1期109-113,共5页
-
基金
国家自然科学基金 (No .60 2 330 2 0
60 3730 0 3
+2 种基金
90 1 0 4 0 0 7)
国家 863项目 (No.2 0 0 1AA1 1 32 0 2 )
霍英东高等院校青年教师基金 (No .71 0 64)
-
文摘
为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为四类———随机法、静态法、动态法和试探法 ,分析和比较了每一类中有代表性的方法 ,并探讨了研究方向 .
-
关键词
测试数据自动生成
程序路径
约束求解
数值优化
-
Keywords
automatic generation of test data
program path
constraints solving
numerical optimization
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名发射场测试发射指挥监控系统可靠性分析
被引量：2
- 2
-
-
作者
单锦辉
曹宗胜
张爱良
牛胜芬
-
机构
北京特种工程设计研究院
-
出处
《载人航天》
CSCD
2010年第2期58-64,共7页
-
文摘
测试发射指挥监控系统(简称C^3I系统)在发射场发挥着重要的作用,对其可靠性提出了很高的要求。本文对C^3I系统可靠性分析方法进行研究,提出C^3I系统可靠性评定指标,收集C^3I系统可靠性数据,对C^3I系统可靠性进行分析,查找其中存在的薄弱环节,分析造成其可靠性下降的原因,并提出可靠性工作建议。
-
关键词
测试发射指挥监控系统
C^3I系统
可靠性
分析
-
Keywords
Command
Monitor
and Control System for Testing and Launching
C3I System
Reliability
Analysis.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名发射场测试发射指挥监控系统可靠性分配与预计
- 3
-
-
作者
孙雅度
单锦辉
曹宗胜
-
机构
北京特种工程设计研究院
-
出处
《载人航天》
CSCD
2012年第2期57-63,共7页
-
基金
国家自然科学基金项目(60970022)
-
文摘
测试发射指挥监控系统(简称C3I系统)在发射场发挥着重要的作用。C3I系统可靠性分配与预计是C3I系统可靠性工作的重要内容,也是C3I系统可靠性设计的基础和依据。提出了一种C3I系统可靠性分配与预计方法,对一种C3I系统可靠性进行了分配与预计,并验证了所提方法的有效性。
-
关键词
测试发射指挥监控系统(C3I系统)
可靠性
分配
预计
-
Keywords
Command, monitor, and control system for testing and launching （C^3I System）
Reliability
Allocation
Prediction.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
V556
[航空宇航科学与技术—人机与环境工程]
-
