检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:何伟[1] 沈晓美 刘泊江 韩新宇[1] 唐龙利[1] He Wei;Shen Xiaomei;Liu Bojiang;Han Xinyu;Tang Longli(China Shipbuilding Software Quality&Reliability Testing Center,Beijing 100081,China)
机构地区:[1]中国船舶工业集团公司软件质量与可靠性测评中心,北京100081
出 处:《计算机测量与控制》2020年第3期72-78,共7页Computer Measurement &Control
摘 要:针对基于任务的舰船装备软件进行测试时,缺乏任务需求的系统化分析与描述手段、难以从任务执行层面有效生成测试用例、不支持跨平台测试的自动化执行等问题,对舰船装备软件任务分析与建模、基于任务模型的舰船装备软件测试用例生成及舰船装备软件测试自动化执行等三方面关键技术进行了研究,研制了配套的软件测试工具,形成了一整套基于任务的舰船装备软件测试技术,以满足基于任务的舰船装备软件测试的需要;在此基础上,开展了基于任务的舰船装备软件测试技术实例应用,验证了该技术的工程适用性和配套工具的有效性,并形成了典型应用实例,为该技术的推广提供支撑。Testing mission-based warship software usually involves many technical challenges,such as lack of systematical mission analysis and describing technique,hard to generate test cases with respect to mission requirements,unable to support automated cross-platform test execution,etc.To tackle these challenges,this paper presents an integrated approach to test mission-based warship software,including key steps on mission analysis and modeling,mission-model-based test case generation,and automated test execution.A tool for testing mission-based warship software is developed according to this approach.Besides,an example is provided to exhibit the feasibility of the approach and the effectiveness of the tool.In practice,this example can be looked up for reference so as to promote the usability of this approach.
关 键 词:扩展有限状态机 舰船装备软件 任务分析与建模 测试用例生成 测试自动化执行
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.170