咨询与建议

限定检索结果

文献类型

  • 272 篇 会议
  • 60 篇 期刊文献

馆藏范围

  • 332 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 205 篇 工学
    • 182 篇 计算机科学与技术...
    • 139 篇 软件工程
    • 30 篇 控制科学与工程
    • 21 篇 信息与通信工程
    • 16 篇 交通运输工程
    • 15 篇 机械工程
    • 15 篇 生物工程
    • 11 篇 建筑学
    • 9 篇 土木工程
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 7 篇 电气工程
    • 6 篇 动力工程及工程热...
    • 4 篇 光学工程
    • 4 篇 石油与天然气工程
  • 97 篇 理学
    • 74 篇 数学
    • 17 篇 生物学
    • 14 篇 统计学(可授理学、...
    • 9 篇 系统科学
    • 8 篇 物理学
  • 72 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 32 篇 图书情报与档案管...
    • 14 篇 工商管理
    • 5 篇 公共管理
  • 9 篇 医学
    • 8 篇 公共卫生与预防医...
    • 4 篇 基础医学(可授医学...
    • 4 篇 临床医学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 8 篇 法学
    • 6 篇 社会学
  • 5 篇 艺术学
    • 5 篇 设计学(可授艺术学...
  • 2 篇 农学
  • 1 篇 教育学

主题

  • 29 篇 software testing
  • 22 篇 testing
  • 21 篇 petri nets
  • 20 篇 web services
  • 17 篇 software
  • 15 篇 model checking
  • 13 篇 software quality
  • 10 篇 analytical model...
  • 10 篇 cloud computing
  • 9 篇 laboratories
  • 9 篇 quality of servi...
  • 9 篇 computational mo...
  • 9 篇 semantics
  • 8 篇 feature extracti...
  • 8 篇 security
  • 7 篇 software reliabi...
  • 7 篇 costs
  • 7 篇 algorithm design...
  • 7 篇 business
  • 7 篇 training

机构

  • 165 篇 shanghai key lab...
  • 74 篇 school of comput...
  • 55 篇 department of co...
  • 40 篇 shanghai key lab...
  • 24 篇 department of co...
  • 19 篇 shanghai key lab...
  • 19 篇 school of comput...
  • 17 篇 shanghai key lab...
  • 16 篇 school of inform...
  • 10 篇 school of comput...
  • 10 篇 school of cyber ...
  • 9 篇 shanghai key lab...
  • 8 篇 east china unive...
  • 7 篇 shanghai jiao to...
  • 7 篇 guangxi collabor...
  • 7 篇 computing center...
  • 6 篇 shanghai enginee...
  • 6 篇 east china norma...
  • 6 篇 shanghai key lab...
  • 6 篇 faculty of engin...

作者

  • 34 篇 lizhi cai
  • 32 篇 yu huiqun
  • 31 篇 miao huaikou
  • 31 篇 cai lizhi
  • 29 篇 fan guisheng
  • 24 篇 zhenyu liu
  • 21 篇 chen liqiong
  • 19 篇 liu zhenyu
  • 16 篇 huaikou miao
  • 15 篇 chen mingang
  • 13 篇 chen shengbo
  • 11 篇 mingang chen
  • 11 篇 gao honghao
  • 10 篇 liu pan
  • 10 篇 zhang juan
  • 9 篇 genxing yang
  • 9 篇 hongwei zeng
  • 9 篇 yun hu
  • 9 篇 chunhe xia
  • 9 篇 tianbo wang

语言

  • 327 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Shanghai Key Laboratory of Computer Software Evaluating and Testing"
332 条 记 录,以下是251-260 订阅
排序:
Eyou: An electronic map-based logistics service system
收藏 引用
Journal of Convergence Information Technology 2012年 第14期7卷 206-214页
作者: Liu, Pan Miao, Huaikou Chen, Jianjiao College of Computer Engineering and Science Shanghai Business School Fengpu Road FengXian District Shanghai 201400 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 200072 China School of Computer Engineering and Science Shanghai University 149 Yanchang Road 200072 Shanghai China School of Information Science and Engineering Xinjiang University Xinjiang China
The paper describes a project to develop an electronic map-based logistics service system (named as Eyou). It consists of several core components, including a unified portal for searching the goods delivery informatio... 详细信息
来源: 评论
A business process testing sequence generation approach based on test cases composition
A business process testing sequence generation approach base...
收藏 引用
International Association for computer and Information Science/JNU International Conference on computers, Networks, Systems and Industrial Engineering
作者: Cai, Lizhi Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China
This paper proposes a business process testing scenario generation based on test cases composition. Just like path oriented testing technique in structure testing area, this testing method focuses on finding the logic... 详细信息
来源: 评论
A test case suite generation framework of scenario testing
A test case suite generation framework of scenario testing
收藏 引用
3rd International Conference on Advances in System testing and Validation Lifecycle, VALID 2011
作者: Li, Ting Liu, Zhenyu Jiang, Xu Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China Shanghai Software Industry Association Shanghai China
This paper studies the software scenario testing, which is commonly used in black-box testing. In the paper, the workflow model based on task-driven, which is very common in scenario testing, is analyzed. According to... 详细信息
来源: 评论
Research on web service composition using probabilistic abstraction refinement
Research on web service composition using probabilistic abst...
收藏 引用
5th International Conference on Theoretical Aspects of software Engineering, TASE 2011
作者: Gao, Honghao Miao, Huaikou Zeng, Hongwei School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China
The Web service composition (WSC) has been widely used in Service-Oriented Architecture (SOA), which is an effective integration of the distributed and heterogeneous business applications. In contrast to the component... 详细信息
来源: 评论
An application of ontology to test case reuse
An application of ontology to test case reuse
收藏 引用
2011 International Conference on Mechatronic Science, Electric Engineering and computer, MEC 2011
作者: Guo, Shaojie Zhang, Juan Tong, Weiqin Liu, Zongheng School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200072 China
Test case is one of the most important part of software testing. Reusing available test cases is an effective means to reduce the cost and improve the efficiency of software testing. In order to efficiently reuse test... 详细信息
来源: 评论
Test generation by using component composition abstraction refinement
Test generation by using component composition abstraction r...
收藏 引用
2011 10th IEEE/ACIS International Conference on computer and Information Science, ICIS 2011
作者: Chen, Ying Tian, Ye Zeng, Hongwei School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China
In this paper, we propose a test generation method that combines compositional reasoning theory and counterexample guided abstraction refinement framework. Firstly, the abstract model of system is produced by composin... 详细信息
来源: 评论
Probabilistic timed model checking for atomic Web service
Probabilistic timed model checking for atomic Web service
收藏 引用
2011 IEEE World Congress on Services, SERVICES 2011
作者: Gao, Honghao Miao, Huaikou Chen, Shengbo Mei, Jia School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China
As Web services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web services composition. This has driven many researchers to study the performan... 详细信息
来源: 评论
Modeling and verifying for frameset-based web applications
Modeling and verifying for frameset-based web applications
收藏 引用
5th International Conference on Theoretical Aspects of software Engineering, TASE 2011
作者: Chen, Shengbo Miao, Huaikou School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China
As Web applications evolve, their structure may be-come more and more complex. Web frameset is used to organize multiple frames and nested framesets to make the layout of some Web pages more identical and bring the de... 详细信息
来源: 评论
Formal modeling and verification of digital home RF protocol
收藏 引用
Journal of Computational Information Systems 2011年 第7期7卷 2412-2419页
作者: Zheng, Hong Jiang, Yue Liu, Yun School of Information Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200235 China Training Center JiangXi Electric Power Company Nanchang 330032 China
Wireless radio frequency (RF) protocol of the digital home runs on control equipments, RF repeater and terminal equipments. RF protocol provides a quick, flexible, and reliable means to communicate, identify, track, a... 详细信息
来源: 评论
Petri nets based modeling and analysis of UPnP security ceremonies
Petri nets based modeling and analysis of UPnP security cere...
收藏 引用
Pacific-Asia Conference on Circuits, Communications and System
作者: Zheng, Hong Li, Chunfang Chen, Zhihua School of Information Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200235 China
UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduce... 详细信息
来源: 评论