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

上海大学学报（自然科学版） 2009年第1期15卷 60-65页

作者：朱义毅缪淮扣唐新香上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z... 详细信息

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.

关键词：规格说明集成测试 Object—Z模型测试用例组件

来源：评论

学校读者我要写书评

暂无评论

Web应用软件的质量评价技术研究

Web应用软件的质量评价技术研究

引用

第三届全国软件测试会议与移动计算、栅格、智能化高级论坛

作者：刘振宇蔡立志杨根兴上海市计算机软件评测重点实验室

通过对Web应用软件的特点和质量进行分析,研究了使用者度量对Web应用软件的质量评价的关键技术,提出了适用于Web应用软件质量要素及其相应的度量元,引入传统的测试方式来获取相关质量所需度量元,建立了相应的评价体系模型,最后结合相应... 详细信息

通过对Web应用软件的特点和质量进行分析,研究了使用者度量对Web应用软件的质量评价的关键技术,提出了适用于Web应用软件质量要素及其相应的度量元,引入传统的测试方式来获取相关质量所需度量元,建立了相应的评价体系模型,最后结合相应的实例给出了评价体系的工作机制。

关键词： Web软件质量评价软件测试

来源：评论

学校读者我要写书评

暂无评论

一种基于两两组合测试的FIT框架扩展

引用

计算机应用与软件 2009年第1期26卷 120-123页

作者：林辉杨根兴蔡立志华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201114

优秀的软件开发过程需要协作和沟通,集成测试框架FIT(Framework for Integrated Test)就是一个用于增强交流和协作的工具。FIT创建了一个在客户和程序员之间的反馈循环。在集成测试框架FIT的基础上,研究软件测试用例的选择和生成,并结... 详细信息

优秀的软件开发过程需要协作和沟通,集成测试框架FIT(Framework for Integrated Test)就是一个用于增强交流和协作的工具。FIT创建了一个在客户和程序员之间的反馈循环。在集成测试框架FIT的基础上,研究软件测试用例的选择和生成,并结合两两组合覆盖的测试用例自动生成技术,实现了从接口参数边界值的确定,到以HMTL形式显示集成测试结果的半自动化过程,从而提高软件测试的质量和效率。

关键词：软件测试 FIT 组合测试

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的服务组合故障诊断与处理

基于Petri网的服务组合故障诊断与处理

引用

中国计算机学会全国软件与应用学术会议(NASAC2009)

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系，上海 200237 华东理工大学计算机科学与工程系，上海 200237 上海市计算机软件评测重点实验室，上海，201112 上海应用技术学院计算机科学与信息工程系，上海，200235

服务组合是实现服务增值的一种有效方法，并已广泛使用于一些关键的应用。对这些应用而言，故障后能迅速而有效地处理是至关重要的。然而，现有的服务组合很少考虑服务的故障诊断及其故障处理方法，导致服务组合在运行时出现失败的概率... 详细信息

服务组合是实现服务增值的一种有效方法，并已广泛使用于一些关键的应用。对这些应用而言，故障后能迅速而有效地处理是至关重要的。然而，现有的服务组合很少考虑服务的故障诊断及其故障处理方法，导致服务组合在运行时出现失败的概率较大。首先通过分析服务组合的故障需求，给出服务组合故障处理的框架。该框架采用Petri网来解决服务组合的错误发现及其处理问题。重点讨论了可用服务失败、组件失败及网络故障的情况，并相应地给出了服务故障模型。在此基础对故障处理模型进行分析，给出服务组合故障处理正确性准则，并证明了其正确性。最后，采用CTL描述相关性质并提出验证服务组合故障分析的实施算法。仿真结果表明，该方法在处理服务组合故障时具有一定的优越性。

关键词： Petri网服务组合故障处理服务增值

来源：评论

学校读者我要写书评

暂无评论

面向对象软件多态交互的测试

引用

计算机工程 2008年第14期34卷 29-31页

作者：陈达丽杨根兴上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

在面向对象软件测试领域,合理选择测试用例集合,覆盖复杂的多态交互情形,一直是软件测试研究的热点。该文基于pair-wise测试理论,提出一种选择测试用例的贪心算法,该算法可以有效地筛选测试用例,提高测试效率,降低测试成本。并介绍了在... 详细信息

在面向对象软件测试领域,合理选择测试用例集合,覆盖复杂的多态交互情形,一直是软件测试研究的热点。该文基于pair-wise测试理论,提出一种选择测试用例的贪心算法,该算法可以有效地筛选测试用例,提高测试效率,降低测试成本。并介绍了在多态交互的单元测试框架中使用装饰型设计模式,有效地提高了测试代码的效率。

关键词：单元测试多态性面向对象

来源：评论

学校读者我要写书评

暂无评论

基于Web的测试工具集成研究

引用

计算机应用与软件 2008年第9期25卷 73-75页

作者：黄燕张绍华秦辉丁志刚上海计算机软件技术开发中心上海201112 上海市计算机软件评测重点实验室上海201112

提出了一种新的测试工具网络化集成方案:在视图层、控制层、模型层、测试工具管理层和测试工具服务层五层结构框架上,运用数据封装技术、功能封装技术实现了对测试工具的封装集成。在对PolySpace、CodeTest等测试工具的集成中得到了应用... 详细信息

提出了一种新的测试工具网络化集成方案:在视图层、控制层、模型层、测试工具管理层和测试工具服务层五层结构框架上,运用数据封装技术、功能封装技术实现了对测试工具的封装集成。在对PolySpace、CodeTest等测试工具的集成中得到了应用,为工具提供了一种便捷的使用方式。

关键词：测试工具网络化集成封装

来源：评论

学校读者我要写书评

暂无评论

基于两两覆盖准则的遗传算法测试用例生成

引用

计算机应用与软件 2008年第12期25卷 21-23页

作者：蔡立志童维勤杨根兴上海大学计算机工程与科学学院上海200072 上海软件中心上海市计算机软件评测重点实验室上海201114

软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对... 详细信息

软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对测试基准的测试用例套,结果表明该方法能在不降低测试覆盖精度的情况下有效降低了测试用例数量。

关键词：遗传算法测试用例成对测试

来源：评论

学校读者我要写书评

暂无评论

SSTL基于知识管理的软件质量与测试服务平台

SSTL基于知识管理的软件质量与测试服务平台

引用

作者：杨根兴宗宇伟刘振宇李婷蔡立志金荣得秦毅上海市计算机软件评测重点实验室

项目完成的可视化成果为形成了一套具有自主知识产权的“SSTL基于知识管理的测试服务平台”。该平台为各类软件测试人员、质量管理人员、软件评测机构、软件企业提供服务,旨在为用户提供一个集测试知识共享、测试项目管理于一体的测试... 详细信息

标准号: 1001410932

项目完成的可视化成果为形成了一套具有自主知识产权的“SSTL基于知识管理的测试服务平台”。该平台为各类软件测试人员、质量管理人员、软件评测机构、软件企业提供服务,旨在为用户提供一个集测试知识共享、测试项目管理于一体的测试服务平台,提高了用户进行知识检索、复用、测试过陈和项目监控的效能,对整个测试过程进行评价、反馈,有效保证了软件过程和产品质量。项目成果“SSTL基于知识管理的测试服务平台”已集成到科技部863项目“863软件开发支撑环境(上海)研究”的项目成果中,形成了“SSTL基于知识管理的软件质量与测试服务平台”并获得了软件著作权。该集成平台已通过科技部863专家验收。通过本项目,在国际学术会议和国内核心刊物上发表了学术论文12篇。

关键词：知识管理软件测试组织模型

来源：评论

学校读者我要写书评

暂无评论

基于GUI的自动化测试框架的研究与改进

引用

计算机与现代化 2008年第11期 38-41页

作者：杨承川姚砺东华大学计算机科学与技术学院上海201620 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

在GUI自动化测试中,很多软件体系都采用录制回放技术,本文通过分析现阶段的基于事件源的捕捉回放技术,发现在回放过程中的不足,并提出针对同步回放策略的改进方案,设计出新的GUI自动化测试框架。

关键词：图形用户接口回归测试捕捉回放同步回放

来源：评论

学校读者我要写书评

暂无评论

上海中小企业软件产品质量分析及对策

上海中小企业软件产品质量分析及对策

引用

2008全国软件与应用学术会议(NASAC'08)

作者：蔡立志苏金梅童维勤杨根兴上海大学计算机工程与科学学院上海 200072 上海市计算机软件评测重点实验室上海 201112 上海市计算机软件评测重点实验室上海 201112 上海大学计算机工程与科学学院上海 200072

根据第三方测试机构的测试结果,从工程实践的角度分析了上海中小企业软件产品质量及中小企业现状,在此基础上提出了提高软件产品质量的方法和对策,并在测试管理平台中实现了这些策略。

关键词：软件产品测试管理平台产品质量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：