张丽颖
- 作品数:4 被引量:12H指数:2
- 供职机构:上海交通大学更多>>
- 发文基金:上海市教育发展基金会“曙光计划”项目国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术机械工程更多>>
- 基于本体的核电站生产用软件测试用例自动生成
- 核电领域是典型的安全关键领域,人们对核电站生产用软件的质量要求较高。软件测试是保证软件质量的重要手段,也是一个知识密集型活动。本文将知识工程的方法引入到软件测试中,解决GUI软件测试用例的自动生成以及测试用例的维护和重用...
- 张丽颖
- 关键词:测试用例自动生成OWLSWRLJESS
- 文献传递
- 基于本体和规则推理的GUI软件测试用例生成被引量:7
- 2010年
- 为了提高GUI软件测试用例的生成效率和可维护性,提出了一种基于本体和规则推理的GUI软件测试用例生成方法。首先建立一个通用的GUI软件测试用例本体模型,通过对其继承和实例化可获得具体被测软件的测试用例本体模型,同时开发反映测试数据生成和测试路径生成的测试用例生成规则。最后将基于OWL的测试用例本体和基于SWRL的测试用例生成规则导入Jess推理引擎,通过推理得到符合测试需求的、易于维护的测试用例子集。在核电站堆芯换料管理系统上的应用,验证了该方法的有效性。
- 张丽颖蒋祖华
- 关键词:测试用例生成本体OWLSWRLJESS
- 基于Pro/E族表的产品族实例快速生成被引量:5
- 2007年
- 对Pro/E族表进行介绍,基于产品族理论利用族表提供的管理功能,对不同类型的零件提出了不同的管理和生成策略。同时建立了相应的合法性约束准则对生成的实例进行检验,实现了产品族实例的快速生成,最后开发了相应的原型系统。
- 赵云松张丽颖蒋祖华何普红陈平波
- 关键词:产品族族表PRO/E
- 高阶多段凸轮型线的拟合方法及应用
- 本文分析了高阶多段凸轮型线拟合的复杂性,探讨了高阶多段凸轮型线的拟合方法,分析了其中的分段、光顺、拟合和病态矩阵求解等关键技术,通过这些方法的组合应用解决了企业实际需求。
- 宋玲玉张丽颖
- 关键词:凸轮