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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

54 篇 期刊文献
52 篇 会议
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

102 篇 工学
- 75 篇 计算机科学与技术...
- 69 篇 软件工程
- 26 篇 电气工程
- 6 篇 信息与通信工程
- 5 篇 电子科学与技术（可...
- 3 篇 仪器科学与技术
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 航空宇航科学与技...
3 篇 理学
- 2 篇 生物学
- 1 篇 数学
- 1 篇 化学
2 篇 管理学
- 2 篇 管理科学与工程(可...
1 篇 教育学
- 1 篇 教育学

主题

108 篇 specification-ba...
21 篇 software testing
10 篇 test case genera...
7 篇 classification-t...
7 篇 fault-based test...
6 篇 formal specifica...
5 篇 unfolding
5 篇 finite state mac...
5 篇 selection criter...
5 篇 formal methods
5 篇 black-box testin...
4 篇 automated test g...
4 篇 testing-based ve...
3 篇 test case select...
3 篇 quantifier-free ...
3 篇 capture/replay
3 篇 model-based test...
3 篇 fault finding
3 篇 test reduction
3 篇 category-partiti...

机构

5 篇 hong kong polyte...
5 篇 swinburne univ t...
4 篇 city univ hong k...
4 篇 univ windsor sch...
4 篇 hosei univ dept ...
4 篇 swinburne univ t...
3 篇 univ minnesota d...
2 篇 city univ hong k...
2 篇 hong kong polyte...
2 篇 n carolina state...
2 篇 hosei univ fac c...
2 篇 united nations u...
2 篇 hosei univ
2 篇 univ wisconsin d...
2 篇 izmir inst techn...
2 篇 concordia univ d...
2 篇 univ sheffield d...
1 篇 univ evry val es...
1 篇 university of vi...
1 篇 univ paris 06 cn...

作者

9 篇 chen ty
9 篇 liu shaoying
7 篇 poon pl
6 篇 aiguier marc
6 篇 yu yt
5 篇 longuet delphine
4 篇 ng sp
4 篇 le gall pascale
4 篇 wang rong
4 篇 chen j
3 篇 george devaraj
3 篇 sato yuji
3 篇 arnould agnes
3 篇 lau mf
2 篇 peureux f
2 篇 aichernig bernha...
2 篇 tse th
2 篇 liu sy
2 篇 belli fevzi
2 篇 paradkar a

语言

103 篇 英文
5 篇 其他

检索条件"主题词=Specification-based testing"

共 108 条记录，以下是71-80 订阅

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

详细简洁

排序：

Generating test vectors from system requirements

Generating test vectors from system requirements

引用

37th Annual AUTOTESTCON Conference

作者： Akkipeddi, S Alexander, P Univ Kansas Lawrence KS 66046 USA

ISBN: (纸本)0780370945

specification-based verification is increasingly being used when designing systems. specification-based verification uses conventional testing methods where the program under test is repeatedly stimulated and outputs and/or other values are observed and compared against the expected values. There are number of advantages to this approach, an important one being validation of the system against the specification. testing the implementation against the specification ensures that the implementation Satisfies its specified functionality. In this paper, we describe an automated approach of validating systems using axiomatic specifications and simulation. Specifically, we describe the generation of test vectors from Rosetta specifications. These vectors can directly be translated to specific inputs to simulation runs, and the outputs generated during these runs can be checked against the acceptance criteria generated from the specifications.

关键词： Rosetta test scenarios test vectors specification-based testing WAVES facet

来源：评论

学校读者我要写书评

暂无评论

Using MC/DC as a Black-Box testing Technique 28

Using MC/DC as a Black-Box Testing Technique

引用

28th IEEE Annual Software Technology Conference (STC)

作者： Vilkomir, Sergiy Baptista, John Das, Gourav East Carolina Univ Dept Comp Sci Greenville NC 27858 USA

ISBN: (纸本)9781538610893;9781538610886

In the early 1990s, the Modified Condition/Decision Coverage (MC/DC) criterion was suggested as a structural white-box testing approach, but it can also be used for black-box specification-based testing. Practical application of MC/DC for specification-based testing has its own unique features and sometimes is quite different from code-based applications. However, MC/DC as a black-box approach has not been studied sufficiently, and thus, the application of MC/DC for specifications coverage was the main research problem considered in this paper. The goal of this study was to analyze MC/DC as a black-box technique, investigate factors that distinguish the black-and white-box applications of this approach, and provide proper definitions and rules to evaluate the MC/DC level during black-box testing.

关键词： software testing MC/DC black-box testing specification-based testing

来源：评论

学校读者我要写书评

暂无评论

specification Test Minimization for Given Defect Level

Specification Test Minimization for Given Defect Level

引用

15th Latin American Test Workshop (LATW)

作者： Sindia, Suraj Agrawal, Vishwani D. Auburn Univ Dept Elect & Comp Engn Auburn AL 36849 USA

ISBN: (纸本)9781479947119

An accepted industry practice for testing of analog and RF circuits is to use specification-based tests. These tests are capable of providing a very low defect level but tend to be long and costly. In this work, we focus on minimizing the specification-based tests without exceeding any given defect level. We use Monte Carlo simulation to determine the probabilities with which a test covers specifications it was not originally intended to cover. These probabilities and the given defect level then define an integer linear programming (ILP) model for eliminating unnecessary tests. This paper gives sufficient evidence of successful implementation of the proposed methodology. A hypothetical example of ten specifications illustrates that depending upon the defect level requirement up to half of the tests may be eliminated. Monte Carlo simulation using spice for probabilistic characterization of tests versus specifications of a commercially available operational amplifier circuit is presented as evidence for the applicability of the technique.

关键词： Analog and mixed-signal testing defect-level RF testing specification-based testing test optimization

来源：评论

学校读者我要写书评

暂无评论

Deductive Verification in Decidable Fragments with Ivy 1

引用

25th International Static Analysis Symposium (SAS)

作者： McMillan, Kenneth L. Padon, Oded Microsoft Res Redmond WA 98052 USA Tel Aviv Univ Tel Aviv Israel

ISBN: (数字)9783319997254

ISBN: (纸本)9783319997254;9783319997247

This paper surveys the work to date on Ivy, a language and a tool for the formal specification and verification of distributed systems. Ivy supports deductive verification using automated provers, model checking, automated testing, manual theorem proving and generation of executable code. In order to achieve greater verification productivity, a key design goal for Ivy is to allow the engineer to apply automated provers in the realm in which their performance is relatively predictable, stable and transparent. In particular Ivy focuses on the use of decidable fragments of first-order logic. We consider the rationale or Ivy's design, the various capabilities of the tool, as well as case studies and applications.

关键词： Deductive verification Distributed systems Safety verification Liveness verification Paxos Decidable logics Effectively propositional logic Cache coherence Model checking specification-based testing

来源：评论

学校读者我要写书评

暂无评论

Test selection criteria for modal specifications of reactive systems

Test selection criteria for modal specifications of reactive...

引用

1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering

作者： Aiguier, Marc Longuet, Delphine Univ Evry Val Essonne CNRS0 FRE 2873 IBISC 523 Pl Terrasses Agroa F-91000 Evry France

ISBN: (纸本)9780769528564

In the framework of functional testing from algebraic specifications, the strategy of test selection which has been widely and efficiently applied is based on axiom unfolding. In this paper, we propose to extend this selection strategy to a modal formalism used to specify dynamic and reactive systems. Such a work is then a first step to tackle testing of such systems more abstractly than most of the works dealing with what is called conformance testing. We get a higher level of abstraction since our specifications account for what is usually called underspecification, i.e. they do not denote a unique model but a class of models. Hence, the testing process can be applied at every design level.

关键词： specification-based testing dynamic specifications selection criteria unfolding proof tree normalisation exhaustivity coalgebras

来源：评论

学校读者我要写书评

暂无评论

Expressing graphical user's input for test specifications 1

引用

1st International Conference on Engineering and Deployment of Cooperative Information Systems

作者： Chen, J Univ Windsor Sch Comp Sci Windsor ON N9B 3P4 Canada

ISBN: (纸本)3540442227

As more and more applications now involve graphical user's interactions, an essential issue we are facing is how to automate effective testing on GUI-based applications. Many factors have contributed to the new dimensions of the complexity in the automated testing in this regard, one of them being how to property characterize the graphical user's input from the prospective of test users. Here we propose a possible way of characterizing graphical user's input. This treatment is used in our prototype implementation of an automated tool to support the testing of the presentation logic in GUI-based applications. It plays an important role in enhancing the scalability of this testing environment with respect to the various types of graphical user's input. We introduce the respect enhancement and discuss the important design issues in it.

关键词： java swing and AWT graphical user's interface finite state machines specification-based testing capture/replay

来源：评论

学校读者我要写书评

暂无评论

The Timed Abstract State Machine based test requirement auto generation for embedded systems

The Timed Abstract State Machine based test requirement auto...

引用

9th IEEE Int Conf on Internet of Things / 12th IEEE Int Conf on Green Comp and Communicat / 9th IEEE Int Conf on Cyber, Phys, and Social Comp / IEEE Int Conf on Smart Data

作者： Ruan, Chenglin Wang, Jinbo Chinese Acad Sci Technol & Engn Ctr Space Utilizat Beijing Peoples R China

ISBN: (纸本)9781509058808

In this paper, we propose an approach for test requirement auto generation. The approach is based on a formal requirement specification modeled in the Timed Abstract State Machine language and several coverage criteria are introduced for the generation. We develop a tool on the basis of this approach and experiment on a project. And the analysis of the experimental results proves the effectiveness of this approach.

关键词： Timed abstract state machine (TASM) specification-based testing test requirement adequacy coverage criteria

来源：评论

学校读者我要写书评

暂无评论

On Partitioning the Domain for Test Case Reusability

On Partitioning the Domain for Test Case Reusability

引用

8th International Conference on Quality Software

作者： Dong, Yunwei Lau, M. F. Lin, Si-Yu Swinburne Univ Technol Fac Informat & Commun Technol Hawthorn Vic 3122 Australia Northwestern Polytech Univ Xian 710072 Shaanxi Peoples R China

ISBN: (纸本)9780769533124

During the life time of software or even within the development stage, it is inevitable that the software needs to be modified. Test cases used before for the previous version could be reused in order to reduce the cost of regression testing. This paper proposes a regression testing methodology, called Partitioning of Domain testing (PDT), to analyze the input domains of the previous version and the modified version so that test cases can be maximally reused. As a result, sofware test engineers can spend less effort in generating test cases to test the modified software. This methodology is different from traditional domain-based testing strategies in the sense that the partitioning is achieved by two supplementary perspectives, namely the specifications of the program and its testing criterion. First, the input domain is partitioned according to the specification and testing criterion of the program under test. Then, further refining methods are introduced to obtain 100% reusable test cases. We also illustrate the idea of PDT using a case study with 3 different testing criteria.

关键词： Domain partitioning specification-based testing test case reusability

来源：评论

学校读者我要写书评

暂无评论

On the testing methods used by beginning software testers

On the testing methods used by beginning software testers

引用

18th ACM Symposium on Applied Computing

作者： Yu, YT Ng, SP Poon, PL Chen, TY City Univ Hong Kong Dept Comp Sci Kowloon Hong Kong Peoples R China Swinburne Univ Technol Sch Informat Technol Hawthorn Vic 3122 Australia Hong Kong Polytech Univ Sch Accounting & Finance Kowloon Hong Kong Peoples R China

This paper describes our experiences of the methods used by novice software testers to test their own programs, as well as their perception of the classification-tree method, which is a black box testing method first introduced by Grochtmann and Grimm. We conducted two case studies involving novice software testers. The subjects in the first study possessed one-year working experience while those in the second study had a wider range of working experiences. Both studies found that white box testing methods were initially far more popular than black box methods, but the majority of the subjects were convinced of the benefits of the classification-tree method after they had learned and used it. About two-third of them indicated their preference of the classification-tree method over the methods they originally used. (C) 2003 Elsevier B.V. All rights reserved.

关键词： black box testing classification-tree method software testing specification-based testing white box testing

来源：评论

学校读者我要写书评

暂无评论

TBFV-SE: testing-based Formal Verification with Symbolic Execution 18

TBFV-SE: Testing-Based Formal Verification with Symbolic Exe...

引用

18th IEEE International Conference on Software Quality, Reliability, and Security (QRS)

作者： Wang, Rong Liu, Shaoying Hosei Univ Dept Comp Sci Tokyo Japan

ISBN: (纸本)9781538677575

testing-based Formal Verification (TBFV) is a rigorous and potentially automated approach to verifying the correctness of traversed program paths based on specification-based testing and Hoare logic, but its capability is limited due to the fact that Hoare logic may not be applicable. To address this challenge, we propose to use symbolic execution to replace Hoare logic in the existing TBFV, thus enhance the capability of TBFV. We call the newly proposed approach TBFV-SE (TBFV-Symbolic Execution). The advantage of TBFV-SE over the existing TBFV lies in its applicability to wide range of programs while preserving its characteristic of full automation. We descirbe the principle of TBFV-SE and present two case studies to demonstrate its feability and usability. We also discuss the condition under which TBFV-SE can be effectively used and potential challenges in building a tool support.

关键词： symbolic execution specification-based testing path correctness proof testing-based verification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共11页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：