| 基于过程与场景分析的航天应用软件测试方法 |
| |
| 引用本文： | 张卫祥,张 敏,窦朝晖,马贤颖,魏 波.基于过程与场景分析的航天应用软件测试方法[J].测控技术,2020,39(1):30-35. |
| |
| 作者姓名： | 张卫祥 张 敏 窦朝晖 马贤颖 魏 波 |
| |
| 作者单位： | 北京跟踪与通信技术研究所,北京跟踪与通信技术研究所,北京跟踪与通信技术研究所,北京跟踪与通信技术研究所,北京跟踪与通信技术研究所 |
| |
| 基金项目： | 国家自然科学基金项目（61502015） |
| |
| 摘 要： | 航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。
|
| 关 键 词： | 系统测试 测试用例生成 形式化模型 场景分析 软件测试 |
Aerospace Application Software Testing Method Based on Process and Scenario Analysis |
| |
| Abstract: | The space TT&C (Telemetry Track and Command) software system has the characters of large scale and complex data exchange.How to carry out system testing is a difficult problem in engineering practice.Combined with engineering examples,a software testing method based on scenario analysis for TT&C system is proposed.Firstly,the scene tree model based on formal technology was established.Then,the path coverage rule was proposed and the test case generation algorithm was given.Finally,the actual application data was given and analyzed by this method.Experiments show that the method is effective and feasible. |
| |
| Keywords: | system testing test case generation formal model scenario analysis software testing |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《测控技术》浏览原始摘要信息 |
|
点击此处可从《测控技术》下载全文 |
|
