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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

368 篇 会议
4 篇 期刊文献

馆藏范围

373 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

229 篇 工学
- 146 篇 计算机科学与技术...
- 102 篇 软件工程
- 52 篇 控制科学与工程
- 40 篇 电气工程
- 30 篇 机械工程
- 17 篇 信息与通信工程
- 16 篇 土木工程
- 16 篇 交通运输工程
- 14 篇 建筑学
- 12 篇 材料科学与工程（可...
- 12 篇 安全科学与工程
- 9 篇 航空宇航科学与技...
- 9 篇 生物工程
- 8 篇 力学（可授工学、理...
- 8 篇 动力工程及工程热...
- 7 篇 仪器科学与技术
- 7 篇 电子科学与技术（可...
- 7 篇 生物医学工程（可授...
- 5 篇 化学工程与技术
56 篇 理学
- 23 篇 数学
- 14 篇 物理学
- 12 篇 生物学
- 9 篇 系统科学
- 6 篇 化学
- 5 篇 统计学（可授理学、...
55 篇 管理学
- 45 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 11 篇 工商管理
6 篇 医学
- 5 篇 临床医学
4 篇 经济学
- 4 篇 应用经济学
3 篇 法学
2 篇 农学
1 篇 文学
1 篇 军事学

主题

53 篇 software testing
50 篇 testing
46 篇 system testing
23 篇 life testing
16 篇 costs
15 篇 automatic testin...
12 篇 software systems
11 篇 training
9 篇 programming
9 篇 application soft...
9 篇 software enginee...
9 篇 hardware
8 篇 runtime
8 篇 automation
8 篇 computer archite...
8 篇 real time system...
8 篇 software quality
8 篇 security
8 篇 software
8 篇 accuracy

机构

4 篇 vtt technical re...
3 篇 institute of com...
2 篇 mnit jaipur raja...
2 篇 mercedes-benz re...
2 篇 faculty of infor...
2 篇 dr. ing. h.c. f....
2 篇 delft university...
2 篇 poltava state ag...
2 篇 conformiq espoo
2 篇 ve commercial ve...
2 篇 eurocopter marig...
2 篇 industrial softw...
2 篇 faculty of indus...
2 篇 vanderbilt unive...
2 篇 institute of com...
2 篇 v.m. glushkov in...
2 篇 fzi research cen...
2 篇 siemens it solut...
2 篇 department of in...
1 篇 fraunhofer inst ...

作者

3 篇 sagardui goiuria
3 篇 perälä juho
3 篇 etxeberria leire
3 篇 kanstrén teemu
3 篇 jens grabowski
3 篇 abbors fredrik
3 篇 du bousquet lydi...
2 篇 schamai wladimir
2 篇 nicolas belanger
2 篇 christian schane...
2 篇 schanes christia...
2 篇 fankhauser flori...
2 篇 helmut neukirche...
2 篇 ostberg kenneth
2 篇 brown roger g.
2 篇 lydie du bousque...
2 篇 l. du bousquet
2 篇 grechenig thomas
2 篇 yilmaz cemal
2 篇 puolitaival olli...

语言

367 篇 英文
5 篇 其他
1 篇 葡萄牙文

检索条件"任意字段=International Conference on Advances in System Testing and Validation Lifecycle"

共 373 条记录，以下是81-90 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development Process 8

Seamless Integration of Test Information Management and Cali...

引用

8th IEEE international conference on Software testing, Verification and validation Workshops (ICSTW)

作者： El Salloum, Christian AVL List GmbH Graz Austria

ISBN: (纸本)9781479971251

testing and calibration plays a significant role in the automotive development process. In order to shorten development cycles and to enable the detection of problems at early design phases, OEMs and suppliers are often operating a highly complex testing infrastructure covering all development stages including pure simulation in the office, engine test, drive train test, chassis test, vehicle test on the test bed and road test. A multitude of IT systems from different vendors often complemented by custom in-house solutions is usually required to make testing in such scenarios manageable. Examples are systems for requirement management, test management, calibration management, measurement data management, model management and larger systems for application and product lifecycle management. All these systems increase the productivity within their domain, but an increase of productivity on the macro level can only be achieved when these tool are well integrated to enable seamless collaboration among the different engineering domains and stakeholders. In larger organizations, the cost and time required to integrate the individual IT systems into a seamless system engineering environment is extraordinarily high. The Openness of an IT system with respect to system integration is the cornerstone to reduce this effort. The ARTEMIS CRYSTAL project has recognized this need. With 68 partners and a budget of over 82 million Euro, it has the objective to develop an open Interoperability Specification that enables tools to share and interlink their data in a typical multi-vendor environment. In this presentation we will show how the CRYSTAL Interoperability Specification can be applied in a typical automotive testing and calibration scenario. In particular we will present how systems for Calibration Data Management and Test Information Management can be integrated in the overall automotive development process. We will present details about the technical realization, assess the i-

关键词： PROCESS DEVELOPMENT seamless integration automotive engineering test bed Information management Data management Product lifecycle management systems Integration productivity

来源：评论

学校读者我要写书评

暂无评论

Inception of Software validation and Verification Practices within CMMI Level 2

Inception of Software Validation and Verification Practices ...

引用

4th international conference on Software Engineering advances

作者： Monteiro, Paula Machado, Ricardo J. Kazman, Rick Univ Minho P-4719 Braga Portugal Software Engn Inst Pittsburgh PA USA

ISBN: (纸本)9781424447794

validation and verification are mandatory activities that software companies must perform when developing software products with a high degree of quality. Currently, more companies become aware that adopting CMMI (the software process maturity model developed by the Software Engineering Institute) can be a way to develop quality software. However, some companies are resistant to adopt CMMI maturity level 2 because they do not considerer this maturity level a benefit since its implementation is expensive and does not cover the validation and verification efforts. The simultaneous adoption of CMMI maturity level 2 with validation and verification process areas (from maturity level 3) lacks some methodological recommendations, since some dependencies exist between those two CMMI maturity levels. This PhD thesis will propose one approach to conciliate validation and verification practices with of CMMI maturity level 2 and by adopting ISO/IEC 29119 standard to fulfill a product lifecycle perspective.

关键词： Software testing Software Quality

来源：评论

学校读者我要写书评

暂无评论

lifecycle-Based View on Cyber-Physical system Models Using Extended Hidden Markov Models 20

Lifecycle-Based View on Cyber-Physical System Models Using E...

引用

20th ACM-IEEE international conference on Formal Methods and Models for system Design (MEMOCODE)

作者： Schaffeld, Matthias Bernemann, Rebecca Weis, Torben Konig, Barbara Matkovic, Viktor Univ Duisburg Essen Fac Engn Duisburg Germany

ISBN: (数字)9798350331905

ISBN: (纸本)9798350331905

Many components of Cyber-Physical systems (CPS) are designed based on models that represent the assumed behavior of the CPS at the time of deployment. However, significant or continuous small changes in the CPS, as well as wear and tear reduce the effectiveness of the CPS and its model and may lead to a total failure of the overall system. In this paper, we propose a novel lifecycle-based view of CPS models. First, we define the model's lifespan as the period from the initial conception of the model until it is no longer fit to represent the system behavior. For better differentiation, a lifespan is divided into the initial, operation, and adaptation phases. In the initial phase, a known-good baseline performance metric is established for the model's suitability to reflect the system behavior. In the operation phase, the model is used for CPS analysis, data smoothing, and fault location while its suitability is monitored. The adaptation phase is intended for necessary adaptations to the model and to the CPS itself, which lead to new iterations. To implement these lifecycle augmentations of the CPS, we use formal modeling in the form of Hidden Markov Models extended by unobservable transitions (.-HMMT) to represent the assumed system behavior and compare the data of the observed system behavior with this modeling. In addition, we are testing our proposed formalism by designing a CPS model based on smart home systems and running a simulation for validation. The simulation covers unforeseen system changes and corrupted data.

关键词： cyber-physical systems model lifecycle formal modeling model validation

来源：评论

学校读者我要写书评

暂无评论

Virtual validation of Automotive Measurement Services Based on JT (ISO 14306:2012) 12th

Virtual Validation of Automotive Measurement Services Based ...

引用

12th IFIP WG 5.1 international conference on Product lifecycle Management in the Era of Internet of Things (PLM)

作者： Faath, Andreas Christ, Alexander Anderl, Reiner Braunroth, Frank Tech Univ Darmstadt Dept Comp Integrated Design Darmstadt Germany GME Engn Measurements & Calibrat Serv Russelsheim Germany

ISBN: (纸本)9783319331119;9783319331102

In this paper a concept for the virtual validation of automotive measurement services based on JT (ISO 14306:2012) is introduced. Each physical measuring component has a digital representation, represented by a 3D JT model. These models contain all necessary information of the measurement process and are the basis for the application of physical sensors. The developed concept enables the consistent usage of JT models and the suitable integration of virtual engineering methods into measuring services, resulting in improved efficiency and interoperability. For the implementation, instead of a CAD system, the viewing software Teamcenter lifecycle Visualization Mockup is used. This leads to cost savings by the reduction of license fees. The concept is validated based on two measuring projects, containing separate component models and a complete vehicle model.

关键词： Automotive Digitalization Interoperability Measurement services Virtual validation

来源：评论

学校读者我要写书评

暂无评论

Requirements for testing and Validating the Industrial Internet of Things 11

Requirements for Testing and Validating the Industrial Inter...

引用

11th IEEE international conference on Software testing, Verification and validation (ICST)

作者： Antao, Liliana Pinto, Rui Reis, Joao Goncalves, Gil Univ Porto Fac Engn Res Ctr Syst & Technol Rua Dr Roberto Frias P-4200465 Porto Portugal

ISBN: (纸本)9781538663523

The latest advances in industry have been accomplished within the 4th Industrial Revolution, mostly noted as Industrie 4.0. This industrial revolution is boosted by the application of Internet of Things (IoT) technologies into the industrial contexts, also known as Industrial Internet of Things (IIoT), which is being supported by the implementation of Cyber-Physical Production systems (CPPS). In this context, most of the existing work concentrates on developing IIoT models and CPPS architectures, laking the identification of validation requirements of these platforms. By rushing into releasing state-of-the-art IIoT applications, developers usually forget to implement methodologies to validate these applications. In this paper, we propose a list of requirements for IIoT platform validation, based on its architecture, as well as in requirements established by the industrial reality. A CPPS case study is presented, in order to illustrate some of these requisites and how validation of these type of system could be achieved.

关键词： testing Security Reliability Scalability Computer architecture Internet of Things Industries

来源：评论

学校读者我要写书评

暂无评论

validation of knowledge-based systems through commonkads

Validation of knowledge-based systems through commonkads

引用

IWK 2010 Workshops: international Workshop on DERIS 2010 and the 1st international Workshop on Evolution Support for Model-Based Development and testing, EMDT 2010 - Part of the Umbrella conference 55th international Scientific Colloquium, IWK 2010

作者： Batarseh, Feras Gonzalez, Avelino J. Knauf, Rainer 4000 Central Florida Blvd. Orlando FL 32816 United States Ilmenau University of Technology Department of Computer Science and Automation P.O. Box 100565 Ilmenau 98684 Germany

This paper defines a method that can be used for validating knowledge-based systems (KBS) throughout their entire lifecycle. Method's name is MAVERICK. It stands for Method for Automated validation Embedded into the Reusable and Incremental CommonKADS. The lack of suitable, rigorous and general validation methods has become a serious obstacle to user acceptance of KBS for critical applications. In spite of recent significant advances in validation of KBS, it still remains an open problem. The ideas presented in this paper are based on the concept that validation should be performed in a structured and guided manner, integrated within a knowledge-based systems' lifecycle development method. We define an incremental validation method for KBS based on extracting test cases from CommonKADS. Furthermore, we introduce our method for reducing the number of test cases and thus reducing validation's effort and cost.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Rapid Control Prototyping (RCP) solutions for the validation of motor control applications

Rapid Control Prototyping (RCP) solutions for the validation...

引用

IEEE international conference on Emerging Technological Trends in Computing, Communications and Electrical Engineering (ICETT)

作者： Khan, Jihas TATA ELXSI TBU Trivandrum Kerala India

ISBN: (纸本)9781509037513

Rapid Control Prototyping is a significant step in embedded product development lifecycle where the application software is validated without the actual host hardware in the presence of real sensors and actuators. RCP helps the embedded application developers to pin point issues in their software much early providing them enough time and option to fix the bugs before actual hardware platform arrives. This document discusses the RCP platform designed and developed for the hard real time validation of a motor control application software in a dSPACE based prototyping hardware. Brushed DC motors which have inbuilt hall sensors are used in the solution. RCP model is developed in Matlab Simulink environment and integrated with the application model under test. This is then compiled and loaded into the 1005 based dSPACE system. Application is thus made to control the DC motors in a closed loop environment. RCP test system architecture, dSPACE hardware structure, RCP model design, relay circuit board design, validation strategy and test automation framework are discussed in detail. Document also discusses how the RCP based test system helped the author's organization in realizing an early time to market where engineering effort, cost and resources were saved to a significant quantity as compared to conventional testing strategies.

关键词： Rapid Control Prototyping RCP Motor Control embedded system ECU automotive obstacle detection hall sensor feedback DC motors dSPACE Embedded Product Development lifecycle Model Based Design MBD MIL SIL EDLC

来源：评论

学校读者我要写书评

暂无评论

system testing Using Use Cases for an Emergency Room Simulation Model 2

System Testing Using Use Cases for an Emergency Room Simulat...

引用

2nd Int N American Simulation Technol conference on Soft Computing, Simulation and Software Engineering

作者： Shao, Guodong NIST Mfg Simulat & Modeling Grp Gaithersburg MD 20899 USA

ISBN: (纸本)9789077381502

Modeling and simulation (M&S) techniques are increasingly being used to solve problems and aid decision making in many different fields. It is particularly useful for Department of Homeland Security (DHS) applications because of its feature of non-destructive and non-invasive method of observing a system. Results of simulations are expected to provide reliable information for decision makers, but potential errors may be introduced in the M&S development lifecycle. It is critical to make sure to build the right model and that the model is built right. This paper identified the needs of system testing using specifications for M&S applications for DHS applications and providing a novel approach of Verification, validation and testing (VV&T) for DHS M&S community. system testing is an effective methodology that can help to ensure the functionality of a software system. It can also be applied to M&S applications. Use cases are usually used to specify requirements of a simulation system. The collection of use cases can cover the complete functionality of the simulation system and provide information necessary to generate test cases for system testing. Since use cases are associated with the front end of the M&S development lifecycle, testing can get started much earlier in the lifecycle, allowing simulation developers to identify and fix defects that would be very costly if found in the later stages. As an example application, a hospital emergency room (ER) simulation model was introduced. Use cases for the ER model were developed. Functional system test requirements and testing criteria of the ER model were discussed. Based on the coverage criteria, activity diagrams associated with the use case are created to capture scenarios and allow the specification of use case to be tested.

关键词： Modeling and Simulation system testing Use Case

来源：评论

学校读者我要写书评

暂无评论

Performing verification and validation for KT-OSS development

Performing verification and validation for KT-OSS developmen...

引用

international Multi-conference on Computing in the Global Information Technology, ICCGI'06

作者： Kim, Dae-Woo Lim, Hyun-Min Lee, Sang-Kon Network Technology Lab. R and D Group Korea Telecom 463-1 Jeonmin-Dong Yusung-gu Daejeon 305-811 Korea Republic of

ISBN: (纸本)0769526292

This paper describes verification and validation activities in KT-OSS (Korea Telecom Operations Supports system) development. In this paper, the verification and verification phases for KT-OSS development are based on the general software development lifecycle and add an additional phase to the lifecycle. To success KT-OSS development, we needed appropriate tests which focused on functionality, reliability, usability, efficiency in the development process of KT-OSS. This paper describes various tests performed in the KT-OSS development process and tests for maintaining the developed system according to the phases. And to control the quality for KT-OSS, we organized a testing & evaluation department which is independent from a development department. Through these testing activities, we have developed KT-OSS and released it successfully. © 2006 IEEE.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Safety validation of an Embedded Real-Time system at Hardware-Software Integration Test Environment 9th

Safety Validation of an Embedded Real-Time System at Hardwar...

引用

9th international conference on Advanced Computing and Communication Technologies (ICACCT)

作者： Philip, Gracy D'Souza, Meenakshi CEMILAC DRDO Bangalore 560037 Karnataka India IIIT Hosur Rd Bangalore 560100 Karnataka India

ISBN: (纸本)9789811010231;9789811010217

As the complexity and functionality of embedded software is increasing steadily, ensuring that their behavior is safe is of primary concern. We propose a Safety validation Method (SVM) that is used to monitor divergence in safe behavior during integration testing of an embedded system. The proposed monitor observes both application and system level parameters. It can capture effect of potential unsafe scenarios inadvertently created during testing that could recur during actual operation. We present a case study involving the safety validation of advanced fly-by-wire flight control system where the use of the SVM revealed safety critical failures during integration testing.

关键词： Safety validation Embedded software Verification testing Monitors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共38页 << < 5 6 7 8 9 10 11 12 13 14 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：