张卫祥
- 作品数：27 被引量：57H指数：5
- 供职机构：北京跟踪与通信技术研究所更多>>
- 发文基金：国家自然科学基金上海市科学技术发展基金上海市科委科技攻关项目更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学电子电信更多>>
- 基于形式化模型的航天测控软件系统测试
- 软件系统测试是一种重要的测试类别.作为大规模安全攸关系统,航天测控软件系统软件数量多、信息交换关系复杂、安全可靠性要求高,对航天测控软件系统开展软件系统测试是工程实践中的一个难题.结合工程实例,提出了一种基于形式化模型的...
- 张卫祥刘文红魏波
- 关键词：测试用例生成航天器控制
- 文献传递
- 面向工作流系统基于流程挖掘的安全审计技术研究与实现
- 随着工作流技术的发展和广泛应用，工作流系统的安全问题也成为一个重要的研究领域。工作流管理联盟(WfMC)在安全白皮书中提出了八个方面的安全考虑，其中，安全审计可以在身份鉴别、访问控制、数据完整性、加密技术等多种安全措施的...
- 张卫祥
- 关键词：工作流信息安全安全审计PETRI网
- 文献传递
- 基于过程与场景分析的航天应用软件测试方法被引量：7
- 2020年
- 航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。
- 张卫祥张敏窦朝晖马贤颖魏波
- 关键词：测试用例生成软件测试
- 基于离散粒子群算法的测试用例优先排序被引量：11
- 2017年
- 测试用例优先排序技术能够有效提高回归测试效率,是软件测试的热点研究课题之一。针对基于需求的测试用例优先排序方法可操作性差的问题,提出了一种改进的基于测试点覆盖和离散粒子群优化算法的求解方法(TCP-DPSO)。首先,把影响排序的各种因素分为测试收益型因素和测试成本型因素两大类,通过加权平均的方式进行归一化,得到基于需求的通用测试平均收益率评价指标;然后,利用交换子和基本交换序列定义粒子的位置和速度,借鉴遗传算法(GA)变异策略引入变异算子,采用时变惯性权重调整粒子的探索能力和开发能力,促进可持续进化和逼近优化目标。实验结果表明,TCP-DPSO在最优解质量上与遗传算法相当,大幅优于随机测试,在最优解成功率和平均求解时间上优于遗传算法,具有更好的算法稳定性。
- 张卫祥齐玉华李德治
- 关键词：软件测试离散粒子群优化评价指标黑盒测试
- 基于故障树分析与组合测试的测试用例生成方法被引量：5
- 2014年
- 随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后利用等价类划分法、边界值分析法等经典黑盒测试方法,获取各最小割集中每个元素的典型取值集合;最后利用组合测试技术,在充分考虑各元素两两之间关系的基础上生成测试用例集。该方法对传统的故障树分析方法进行了改造,具有更大的适用范围;综合利用组合覆盖技术与黑盒测试方法,能有效保障测试充分性并减少测试用例数目。工程实践表明,该方法能够大幅提高测试效率。
- 张卫祥刘文红
- 关键词：软件测试测试用例生成故障树分析最小割集测试用例集
- 一种基于遗传算法的测试用例优先排序方法
- 通过测试用例优先排序技术对软件测试用例的执行次序进行优化,能够有效地提高软件测试效率,是软件测试理论研究的一个热点课题。设计了一种新的针对测试点覆盖的测试用例优先排序技术评价指标APTC,可以更好地适用于功能测试或黑盒测...
- 张卫祥魏波杜会森
- 关键词：软件测试遗传算法评价指标黑盒测试
- 一种基于矢量量化的声纹识别方法
- 一种基于矢量量化的声纹识别方法，属于声纹识别的技术领域。在已有Matlab服务器上实现的声纹识别系统中，采用基于矢量量化的自适应初始码书的生成算法ACBI识别声纹，并在码字搜索过程中采用基于不等式的快速临近搜索算法FNS...
- 吕钊顾君忠吴悦李卓辉庄杰郭李华张卫祥王峰
- 文献传递
- 基于软件测试与知识发现的软件定量评估方法被引量：2
- 2012年
- 对软件质量进行准确客观的评估是软件评测乃至软件工程的重要研究内容。在软件可信性分解的基础上,提出了一种软件定量评估方法,该方法基于软件测试用例的执行结果,利用基于知识发现(KDD)的权值获取及数据拟合技术,给出定量的软件评估结果。工程实践表明,该方法可以大幅降低软件评估过程中的主观性,提高软件评估的准确度。
- 张卫祥刘文红杜会森
- 关键词：软件测试知识发现软件工程
- 一种面向工作流安全审计的扩展模型挖掘算法及应用
- 2008年
- 工作流系统特有的内在领域知识和逻辑性使得简单应用现有的安全审计技术将会造成这些信息的丢失,从而降低安全监测的准确性和效率。另外,现有的工作流模型挖掘技术能较好地获取流程任务间的关系模型,有助于安全审计分析,但大多缺乏分析数据流与任务流的内在联系。因此,对工作流模型挖掘α算法引入了数据流的分析,使其在安全审计中有效地进行异常检测和入侵检测,从而提高了审计分析的准确性和有效性。
- 张卫祥吕钊顾君忠庄杰
- 关键词：工作流系统安全审计
- 工作流环境下数字内容保护系统研究与实现
- 2008年
- 针对目前工作流系统中对敏感数字内容缺乏有力的安全保护的问题,研究并实现了一种在工作流环境下敏感数字内容流转安全保护系统。该系统基于数字版权管理系统(DRM)紧密结合工作流系统,通过使用并扩展工作流过程定义语言XPDL,使得数字版权管理系统能够充分利用工作流流程信息,解决了数字内容权限与工作流系统动态连接问题,从而实现了在不安全的网络环境下数字内容的安全分发与流转。
- 庄杰吕钊顾君忠张卫祥
- 关键词：数字版权保护工作流
