全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
- 航空软件测试用例自动生成方法研究
- 作者： 曹爽 来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 178B 模型检查 测试用例自动生成 灰盒测试 MC/DC DO
- 描述： 准则的时序逻辑变换、软件需求形式化模型与时序逻辑的一致性验证以及测试用例的提炼和整理等内容。其次,依据航空软件测试标准DO-178B的要求,本文提出一个布尔运算符替换算法来构造时序逻辑,该时序逻辑经过
- 航空软件测试用例自动生成方法研究
- 作者： 曹爽 来源： 南京航空航天大学 年份： 2016 文献类型 ： 学位论文 关键词： 178B 模型检查 测试用例自动生成 灰盒测试 MC/DC DO
- 描述： 准则的时序逻辑变换、软件需求形式化模型与时序逻辑的一致性验证以及测试用例的提炼和整理等内容。其次,依据航空软件测试标准DO-178B的要求,本文提出一个布尔运算符替换算法来构造时序逻辑,该时序逻辑经过