咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 329 篇 电子文献
  • 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...
  • 16 篇 school of inform...
  • 16 篇 shanghai key lab...
  • 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 篇 shanghai key lab...
  • 6 篇 faculty of engin...
  • 6 篇 beijing key lab....

作者

  • 34 篇 lizhi cai
  • 33 篇 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 篇 gao honghao
  • 10 篇 mingang chen
  • 10 篇 liu pan
  • 10 篇 zhang juan
  • 9 篇 genxing yang
  • 9 篇 hongwei zeng
  • 9 篇 yun hu
  • 9 篇 chunhe xia
  • 9 篇 tianbo wang

语言

  • 324 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Shanghai Key Laboratory of Computer Software Evaluating and Testing"
329 条 记 录,以下是261-270 订阅
排序:
Service Reconfiguration Architecture Based on Probabilistic Modeling Checking
Service Reconfiguration Architecture Based on Probabilistic ...
收藏 引用
IEEE International Conference on Web Services (ICWS)
作者: Honghao Gao Huaikou Miao Hongwei Zeng School of Computer Engineering and Science Shanghai University Shanghai P.R. China Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai P.R. China
Service software deployed in E-commerce and finance fields needs working under 7*24 houses mode. If any failure occurs, service reconfiguration should be immediately executed to find appropriate services from candidat... 详细信息
来源: 评论
Reports Aggregation of Crowdsourcing Test Based on Feature Fusion
Reports Aggregation of Crowdsourcing Test Based on Feature F...
收藏 引用
IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)
作者: Lizhi Cai Naiqi Wang Mingang Chen Jin Wang Jilong Wang Jiayu Gong Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China School of Information Science and Engineering. East China University of Science and Technology Shanghai China
In recent years, a new testing method based on the concept of crowdsourcing has made great progress. Developers upload the project to the crowdsourcing test platform and recruit a large number of crowdsourcing workers... 详细信息
来源: 评论
An approach to analyzing user preference based dynamic service composition
Journal of Software
收藏 引用
Journal of software 2010年 第9期5卷 982-989页
作者: Fan, Guisheng Yu, Huiqun Chen, Liqiong Yu, Caizhu Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China
As a way to compose independent service together to fulfill a function, service composition is an important means for flexible and rapid information integration of complex distribution application in open and heteroge... 详细信息
来源: 评论
A formal aspect-oriented method to model and analyse secure service composition
收藏 引用
International Journal of Autonomous and Adaptive Communications Systems 2015年 第2-3期8卷 119-140页
作者: Fan, Guisheng Yu, Huiqun Chen, Liqiong Liu, Dongmei Department of Computer Science and Engineering East China University of Science and Technology Shanghai200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai200235 China
Service-oriented computing (SOC) is becoming a prominent paradigm for creating value-added enterprise applications by composing web services. However, this flexibility comes along with new security risks. In this pape... 详细信息
来源: 评论
Formal verification of security protocols using Spin
Formal verification of security protocols using Spin
收藏 引用
International Conference on computer and Information Science (ACIS)
作者: Shengbo Chen Hao Fu Huaikou Miao School of Computer Engineering and Science Shanghai University Shanghai P. R. China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai P. R. China
Security protocols are the key to ensure network security. In the context of the state of the art, so many methods have been developed to analyze the security properties of security protocols, such as Ban logic, theor... 详细信息
来源: 评论
testing web applications with web frameset and browser interactions
收藏 引用
Information Technology Journal 2011年 第7期10卷 1305-1314页
作者: Song, Bo Chen, Shengbo College of Information Science and Technology Qingdao University of Science and Technology 266061 Qingdao China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China School of Computer Engineering and Science Shanghai University 200072 Shanghai China
software testing is a difficult task and testing Web applications may be more difficult, due to their characteristics. Web application is an interactive one since it came into being. How to model and test Web interact... 详细信息
来源: 评论
Modeling and testing of GUIs Using IOLTS
Modeling and Testing of GUIs Using IOLTS
收藏 引用
Asia-Pacific Conference on software Engineering
作者: Shengbo Chen Dashen Sun Huaikou Miao Hongwei Zeng School of Computer Engineering and Science Shanghai University Shanghai P. R. China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai P. R. China
Graphical User Interface (GUI) provides a popular and convenient way for the user to freely interact with the systems which makes it widely used in various software applications, it has become an important and indispe... 详细信息
来源: 评论
Modeling and optimizing CPS software testing based on petri nets
收藏 引用
International Journal of Performability Engineering 2017年 第8期13卷 1183-1194页
作者: Chen, Liqiong Fan, Guisheng Yu, Huiqun Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai200235 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai201112 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai200237 China
software testing is an important means to ensure the quality of software. However, there is a lack of effective modeling and optimization of CPS software testing. In this paper, Petri nets are used to model the underl... 详细信息
来源: 评论
Analysis for Microservice Architecture Application Quality Model and testing Method
Analysis for Microservice Architecture Application Quality M...
收藏 引用
software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter), ACIS International Winter Conference on
作者: Jiayu Gong Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China
In recent years, microservice architectures have benefited from low coupling and high cohesion characteristics, allowing flexible on-demand deployment of complex applications and simplifying the difficulty of developi...
来源: 评论
Research on software security and compatibility test for mobile application
Research on software security and compatibility test for mob...
收藏 引用
International Conference on Innovative Computing Technology (INTECH)
作者: Zhenyu Liu Yun Hu Lizhi Cai Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai Development Center of Computer Software Technology Shanghai China
The intelligent device and mobile applications has been the growth rapidly. The mobile device and related applications has widely used increasingly. The security and compatibility concern for mobile application is mou... 详细信息
来源: 评论