Category partition black-box software testing: theory, tool support and experiments
类别划分黑盒软件测试:理论、工具支持和实验
基本信息
- 批准号:RGPIN-2016-06214
- 负责人:
- 金额:$ 2.26万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2020
- 资助国家:加拿大
- 起止时间:2020-01-01 至 2021-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Category partition (CP) is a black-box software testing technique based on equivalence class partitioning and boundary value analysis. It applies to many contexts: e.g., C unit testing, Java unit/integration testing, system testing of use cases. It has also been combined with other techniques such as state-based testing from extended finite state machines.
CP begins by identifying the parameters and environment variables of a functionality under test. Environment variables are factors in the environment of execution of the program under test that may impact its behaviour. These parameters and environment variables are then envisioned into categories, which are characteristics that are deemed important from a testing viewpoint. Each characteristic leads to the definition of choices (i.e., equivalent classes) splitting the domain of values (implicitly) defined by the characteristic. Constraints can then specify that some choices from two different categories should always be used together, can never be used together, or can only be used together under certain condition. The choices are then combined to form test frames according to a selection criterion, while satisfying constraints. A simple adequacy criterion requires that each choice appears at least once in the set of test frames. Each test frame is then associated with actual input values (for parameters and environment variables), according to the choice specifications, to produce test cases.
When using CP, one needs to take many decisions that can impact the result (e.g., cost, fault detection) of the testing campaign. Obviously the selection of choices has an impact: e.g., poorly defined categories and choices will lead to faults that slip through the testing activity; Choosing an adequacy criterion matters because criteria are not all equally demanding (i.e., cost) or effective (i.e., fault detection); The technology to produce a set of test frames adequate for a criterion, while accounting for constraints, will have an impact; The procedure to identify input values for test frames may have an impact.
Unfortunately, very little is known about the actual, precise impact of those decisions on the result of applying CP.
The purpose of this project is to fill this gap. Tool support will be created to facilitate the use of CP and alternative decisions, on different case studies. Real and synthetic faults will be used to evaluate the impact of the many alternatives on the effectiveness of the testing technique at finding faults.
The results will be of high interest to the research community: it is the first time the many alternative applications of CP will be studied. Results will also be highly relevant to industry: tool support, experimental evidence leading to better decision making. Results will be highly interesting for teaching purposes: tailoring the teaching of the technique, availability of the tool, including an online version.
类别划分是一种基于等价类划分和边界值分析的黑盒软件测试技术。它适用于许多情况:例如,C单元测试,Java单元/集成测试,用例系统测试。它还与其他技术相结合,例如来自扩展有限状态机的基于状态的测试。
CP首先确定被测功能的参数和环境变量。环境变量是被测程序执行环境中可能影响其行为的因素。然后将这些参数和环境变量设想为类别,这些类别是从测试的角度来看被认为是重要的特性。每个特征都导致了选择的定义(即,等价类)分割由特征(隐式)定义的值的域。然后,约束可以指定两个不同类别中的某些选项应该始终一起使用,永远不能一起使用,或者只能在特定条件下一起使用。然后,根据选择标准将选择组合以形成测试框架,同时满足约束。一个简单的充分性准则要求每个选择在测试框架集中至少出现一次。然后,根据选择规范,将每个测试帧与实际输入值(参数和环境变量)相关联,以生成测试用例。
当使用CP时,需要做出许多可能影响结果的决定(例如,成本、故障检测)。显然,选择的选择有影响:例如,定义不好的类别和选择将导致在测试活动中遗漏的错误;选择适当性标准很重要,因为标准并不都是同等要求的(即,成本)或有效(即,故障检测);在考虑约束的同时,产生一组足以满足标准的测试框架的技术将产生影响;识别测试框架输入值的程序可能产生影响。
不幸的是,很少有人知道这些决定对应用CP结果的实际精确影响。
这个项目的目的就是填补这个空白。将创建工具支持,以促进在不同案例研究中使用CP和替代决策。将使用真实的和合成故障来评估许多备选方案对测试技术在查找故障时的有效性的影响。
研究结果将引起研究界的高度兴趣:这是第一次研究CP的许多替代应用。结果也将与行业高度相关:工具支持,实验证据导致更好的决策。结果将是非常有趣的教学目的:剪裁教学的技术,工具的可用性,包括在线版本。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Labiche, Yvan其他文献
Automated traceability analysis for UML model refinements
- DOI:
10.1016/j.infsof.2008.06.002 - 发表时间:
2009-02-01 - 期刊:
- 影响因子:3.9
- 作者:
Briand, Lionel C.;Labiche, Yvan;Yue, Tao - 通讯作者:
Yue, Tao
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms
- DOI:
10.1109/tse.2010.70 - 发表时间:
2010-11-01 - 期刊:
- 影响因子:7.4
- 作者:
Bowman, Michael;Briand, Lionel C.;Labiche, Yvan - 通讯作者:
Labiche, Yvan
Labiche, Yvan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Labiche, Yvan', 18)}}的其他基金
Category partition black-box software testing: theory, tool support and experiments
类别划分黑盒软件测试:理论、工具支持和实验
- 批准号:
RGPIN-2016-06214 - 财政年份:2021
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Category partition black-box software testing: theory, tool support and experiments
类别划分黑盒软件测试:理论、工具支持和实验
- 批准号:
RGPIN-2016-06214 - 财政年份:2019
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Unit test patterns for multicore software
多核软件的单元测试模式
- 批准号:
485144-2015 - 财政年份:2018
- 资助金额:
$ 2.26万 - 项目类别:
Collaborative Research and Development Grants
Category partition black-box software testing: theory, tool support and experiments
类别划分黑盒软件测试:理论、工具支持和实验
- 批准号:
RGPIN-2016-06214 - 财政年份:2018
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Category partition black-box software testing: theory, tool support and experiments
类别划分黑盒软件测试:理论、工具支持和实验
- 批准号:
RGPIN-2016-06214 - 财政年份:2017
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Category partition black-box software testing: theory, tool support and experiments
类别划分黑盒软件测试:理论、工具支持和实验
- 批准号:
RGPIN-2016-06214 - 财政年份:2016
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
On integration testing object-oriented software systems
面向对象软件系统的集成测试
- 批准号:
239119-2011 - 财政年份:2015
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Unit test patterns for multicore software
多核软件的单元测试模式
- 批准号:
485144-2015 - 财政年份:2015
- 资助金额:
$ 2.26万 - 项目类别:
Collaborative Research and Development Grants
Category partition applied to LTE BB SW Test: A case study
LTE BB SW 测试中的类别划分:案例研究
- 批准号:
468506-2014 - 财政年份:2014
- 资助金额:
$ 2.26万 - 项目类别:
Engage Grants Program
On integration testing object-oriented software systems
面向对象软件系统的集成测试
- 批准号:
239119-2011 - 财政年份:2014
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
CAREER: KKM-Type Theorems for Piercing Numbers, Mass Partition, and Fair Division
职业:刺穿数、质量划分和公平除法的 KKM 型定理
- 批准号:
2336239 - 财政年份:2024
- 资助金额:
$ 2.26万 - 项目类别:
Continuing Grant
Quantitative imaging of choroid plexus function and neurofluid circulation in Alzheimer's Disease Related Dementia
阿尔茨海默病相关痴呆症脉络丛功能和神经液循环的定量成像
- 批准号:
10718346 - 财政年份:2023
- 资助金额:
$ 2.26万 - 项目类别:
Deconvolution of Physicochemical Properties Contributing to Passive Diffusion of Depsipeptides
有助于缩酚肽被动扩散的物理化学性质的反卷积
- 批准号:
10607589 - 财政年份:2023
- 资助金额:
$ 2.26万 - 项目类别:
Complexity of Partition Problems
分区问题的复杂性
- 批准号:
RGPIN-2019-04221 - 财政年份:2022
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Tobacco-based Sustainable Squalene for Novel Vaccine Adjuvant Emulsions
用于新型疫苗佐剂乳液的基于烟草的可持续角鲨烯
- 批准号:
10545289 - 财政年份:2022
- 资助金额:
$ 2.26万 - 项目类别:
Partition's Constitution: Law, Violence, Nation
分区宪法:法律、暴力、国家
- 批准号:
2607526 - 财政年份:2022
- 资助金额:
$ 2.26万 - 项目类别:
Studentship
運動神経細胞のシナプス特性解析:生後発達過程で確立される入力/されない入力
运动神经元突触特征分析:出生后发育期间建立的输入/未建立的输入
- 批准号:
22K06435 - 财政年份:2022
- 资助金额:
$ 2.26万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Facteurs contrôlant la limite nord de répartition de l'érable à sucre
苏克雷可控制分区的北部限制因素
- 批准号:
RGPIN-2020-06245 - 财政年份:2022
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Post-Partition Shakespeare: Northern Ireland's Bard in History, Politics and Culture (1921-Present)
分治后莎士比亚:北爱尔兰历史、政治和文化领域的吟游诗人(1921 年至今)
- 批准号:
2778356 - 财政年份:2022
- 资助金额:
$ 2.26万 - 项目类别:
Studentship