您的位置： 专家智库 > >

倪亭

作品数：4 被引量：0H指数：0
供职机构：中国航空无线电电子研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇形式化
  • 2篇形式化描述
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇计算机
  • 2篇计算机程序
  • 2篇飞行任务
  • 2篇测试程序
  • 1篇软件测试
  • 1篇人机
  • 1篇人机交互
  • 1篇人机交互界面
  • 1篇主界面
  • 1篇自动化
  • 1篇自动化测试
  • 1篇扩展标记语言
  • 1篇交互界面
  • 1篇脚本
  • 1篇飞行
  • 1篇XML

机构

  • 4篇中国航空无线...

作者

  • 4篇倪亭
  • 2篇周弘斌
  • 2篇黄芙平
  • 2篇倪红英

传媒

  • 1篇航空电子技术

年份

  • 1篇2019
  • 1篇2018
  • 1篇2014
  • 1篇2012
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
基于形式化描述的测试程序自动生成方法
本发明公开了一种基于形式化描述的测试程序自动生成方法，包括如下步骤：首先进行构造形式化描述步骤，具体包括：选择形式化测试用例描述的格式；对应用系统功能进行分解；规定形式化测试用例描述的内容；设计测试用例；最后生成软件验证...
倪红英周弘斌黄芙平倪亭
文献传递
飞行任务计划软件的自动化测试技术研究
2019年
XML作为数据交换的唯一公共语言,能够非常容易地在任何应用程序中进行读写操作,在软件测试过程中利用自动化测试方法,可有效提高软件的测试质量和效率,自动化测试是未来软件测试的主要发展方向。提出了一种自动化测试的方法,研究自动化测试的关键技术,以任务计划软件为例,使用XML语言编写自动化测试脚本,提高软件的测试水平,减少测试的成本。
倪亭胡建洲戴苏榕
关键词：自动化测试软件测试
测试飞行任务计划软件人机交互界面的测试系统
本发明公开了一种测试飞行任务计划软件人机交互界面的测试系统，包含XML文档、测试工具主界面、Data Set数据集、SQLServer数据库、测试脚本运行模块和Excel文档。本发明实现对飞行任务计划软件人机交互界面功能...
倪亭胡建洲
文献传递
全选 清除 导出
共1页<1>
聚类工具0