检索结果-内蒙古大学图书馆

上海大学学报（自然科学版） 2012年第2期18卷 156-162页

作者：戴雨婷缪淮扣梅佳高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114

采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相... 详细信息

采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.

关键词： LSC 模型验证性质抽取一致性

来源：评论

学校读者我要写书评

暂无评论

一种Web应用测试生成与约简方法

引用

上海大学学报（自然科学版） 2012年第2期18卷 163-169,173页

作者：晏霞敏曾红卫刘攀贺斌上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据... 详细信息

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.

关键词： Web应用模型检验模型分化测试序列冗余约简

来源：评论

学校读者我要写书评

暂无评论

基于蚁群算法的延时感知VANET路由协议

引用

华东理工大学学报（自然科学版） 2020年第1期46卷 128-134页

作者：吉祥虞慧群范贵生孙怀英华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

针对城市车载自组网场景,提出了一种基于蚁群算法的道路延时感知路由协议。将数据转发过程分为直路模式和路口模式,利用蚁群算法中信息素的更新机制建立了一种基于蚁群算法的延时感知路段权重计算方法,并结合蚁群对最优化路径的探索过... 详细信息

针对城市车载自组网场景,提出了一种基于蚁群算法的道路延时感知路由协议。将数据转发过程分为直路模式和路口模式,利用蚁群算法中信息素的更新机制建立了一种基于蚁群算法的延时感知路段权重计算方法,并结合蚁群对最优化路径的探索过程给出了一种优化的反应式路由方案。仿真实验模拟了城市交通场景,将所提出的路由协议与GPSR、GSR、VACO路由协议进行性能比较,实验结果表明,该协议在数据分组投递率及延时方面均有较好的性能。

关键词：车载自组网蚁群算法桥节点数据分组投递率端到端延时

来源：评论

学校读者我要写书评

暂无评论

C程序控制流程模型的提取技术与实现

引用

计算机科学 2014年第5期41卷 208-214页

作者：杨昌坤许庆国上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构... 详细信息

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性。基于提取的控制流程,可对C程序的某些性质进行模型检验。

关键词：控制流图抽象语法树模型检测

来源：评论

学校读者我要写书评

暂无评论

软件需求的不确定性与解决途径

引用

计算机应用与软件 2002年第4期19卷 17-19,32页

作者：杨根兴金荣得宗宇伟上海计算机软件技术开发中心/上海市计算机软件评测重点实验室上海200235

本文试图从分析软件需求的不确定性产生的原因,分析传统开发方法的不适应性,提出加强软件项目管理、确定与顾客有关的过程、采用适用的软件开发方法和软件需求管理工具作为解决问题的途径。

关键词：软件需求项目管理需求管理工具 SCRUM 不确定性软件开发方法

来源：评论

学校读者我要写书评

暂无评论

基于Object-Z的Web组件形式化建模

引用

计算机科学 2012年第B06期39卷 383-388,407页

作者：严吉皞缪淮扣上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对Web组件建模,能够保证Web组件在异构平台、松散耦合、封装等... 详细信息

Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对Web组件建模,能够保证Web组件在异构平台、松散耦合、封装等特性下的一致性和精确性。以Web组件为研究对象,以Object-Z为形式规格说明语言建立模型,提出了Web组件及其组合的建模方法。该方法对包括接口、组件操作在内的Web组件静态行为进行了建模,定义了接口、消息的匹配方法。构造了基本组合结构的形式化框架,利用组件的逻辑分解方法将该框架应用于复杂的组件组合过程,并提出了需求驱动的组件组合方法。在此基础上,结合实例对组件的交互、组合进行了建模分析。

关键词： Web组件组件组合 Object-Z 定理证明

来源：评论

学校读者我要写书评

暂无评论

信息系统工程监理的实践与研究

引用

计算机应用与软件 2001年第12期18卷 5-7,10页

作者：崔彦军叶言苓上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200233

本文简要介绍了信息系统工程监理的概念和意义,以及作者近年来在信息系统工程监理工作中的应用经验和体会。文章呼吁社会各界在大力推进信息系统工程建设的同时,必须注重质量意识,加大对监理工作的重视程度和投入。

关键词：信息系统工程监理计算机校园网

来源：评论

学校读者我要写书评

暂无评论

基于数据的自适应CPS软件结构模型设计方法

引用

华东理工大学学报（自然科学版） 2022年第6期48卷 841-848页

作者：许浩虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CP... 详细信息

信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CPS的自适应演化通过面向方面建模方法实现,将环境因素的功能抽象成方面模型,通过对方面模型与基础模型进行编织得到综合的CPS模型。基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段。理论分析和实验结果表明,本文的设计方法具有可行性和高效性。

关键词：信息物理系统数据驱动软件结构自适应机制软件设计

来源：评论

学校读者我要写书评

暂无评论

基于BERT的端到端中文篇章事件抽取

引用

中文信息学报 2022年第10期36卷 97-106页

作者：张洪宽宋晖徐波王舒怡东华大学计算机科学与技术学院上海201620 上海市计算机软件评测重点实验室上海201100

篇章级事件抽取研究从整篇文档中检测事件,识别出事件包含的元素并赋予每个元素特定的角色。该文针对限定领域的中文文档提出了基于BERT的端到端模型,在模型的元素和角色识别中依次引入前序层输出的事件类型以及实体嵌入表示,增强文本... 详细信息

篇章级事件抽取研究从整篇文档中检测事件,识别出事件包含的元素并赋予每个元素特定的角色。该文针对限定领域的中文文档提出了基于BERT的端到端模型,在模型的元素和角色识别中依次引入前序层输出的事件类型以及实体嵌入表示,增强文本的事件、元素和角色关联表示,提高篇章中各事件所属元素的识别精度。在此基础上利用标题信息和事件五元组的嵌入式表示,实现主从事件的划分及元素融合。实验证明,该文提出的方法与现有工作相比具有明显的性能提升。

关键词：篇章级事件抽取端到端主从事件

来源：评论

学校读者我要写书评

暂无评论

基于聚类的响应时间分析方法

引用

计算机应用与软件 2012年第8期29卷 200-201,274页

作者：华悦姜旭刘振宇丁志刚上海计算机软件技术开发中心上海201112 上海市计算机软件评测重点实验室上海201112

随着互联网应用的迅速发展,互联网技术已经应用于各类专业领域,如医疗卫生应用领域等。使用第三方性能测试工具模拟多用户并发测量应用的性能已经得到绝大多数软件企业的认可。在使用第三方性能测试工具进行性能测试时,响应时间作为最... 详细信息

随着互联网应用的迅速发展,互联网技术已经应用于各类专业领域,如医疗卫生应用领域等。使用第三方性能测试工具模拟多用户并发测量应用的性能已经得到绝大多数软件企业的认可。在使用第三方性能测试工具进行性能测试时,响应时间作为最主要的衡量指标为开发者和用户提供了直观的参考数据。传统的第三方测试工具一般采用平衡值对响应时间进行分析,以PACS/MIIS系统中WEB方式打开影像为研究对象,研究了基于聚类的响应时间分析,提供了一种量化分析响应时间的方法。

关键词：性能测试响应时间聚类软件质量

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：