首页 > 最新文献

2013 13th International Conference on Quality Software最新文献

英文 中文
The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random Testing 分而治之的艺术:一种提高自适应随机测试效率的创新方法
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.19
C. Chow, T. Chen, T. H. Tse
Test case selection is a prime process in the engineering of test harnesses. In particular, test case diversity is an important concept. In order to achieve an even spread of test cases across the input domain, Adaptive Random Testing (ART) was proposed such that the history of previously executed test cases are taken into consideration when selecting the next test case. This was achieved through various means such as best candidate selection, exclusion, partitioning, and diversity metrics. Empirical studies showed that ART algorithms make good use of the concept of even spreading and achieve 40 to 50% improvement in test effectiveness over random testing in revealing the first failure, which is close to the theoretical limit. However, the computational complexity of ART algorithms may be quadratic or higher, and hence efficiency is an issue when a large number of previously executed test cases are involved. This paper proposes an innovative divide-and-conquer approach to improve the efficiency of ART algorithms while maintaining their performance in effectiveness. Simulation studies have been conducted to gauge its efficiency against two most commonly used ART algorithms, namely, fixed size candidate set and restricted random testing. Initial experimental results show that the divide-and-conquer technique can provide much better efficiency while maintaining similar, or even better, effectiveness.
测试用例选择是测试利用工程中的一个主要过程。特别地,测试用例多样性是一个重要的概念。为了在输入域中实现测试用例的均匀分布,提出了自适应随机测试(ART),以便在选择下一个测试用例时考虑先前执行的测试用例的历史。这是通过各种手段实现的,如最佳候选选择、排除、划分和多样性指标。实证研究表明,ART算法很好地利用了均匀传播的概念,在揭示第一次故障方面,测试效率比随机测试提高了40 - 50%,接近理论极限。然而,ART算法的计算复杂度可能是二次的或更高,因此当涉及到大量先前执行的测试用例时,效率是一个问题。本文提出了一种创新的分而治之的方法来提高ART算法的效率,同时保持其有效性。已经进行了仿真研究,以衡量其与两种最常用的ART算法(即固定大小候选集和限制随机测试)的效率。初步的实验结果表明,分而治之的方法可以提供更好的效率,同时保持相似甚至更好的有效性。
{"title":"The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random Testing","authors":"C. Chow, T. Chen, T. H. Tse","doi":"10.1109/QSIC.2013.19","DOIUrl":"https://doi.org/10.1109/QSIC.2013.19","url":null,"abstract":"Test case selection is a prime process in the engineering of test harnesses. In particular, test case diversity is an important concept. In order to achieve an even spread of test cases across the input domain, Adaptive Random Testing (ART) was proposed such that the history of previously executed test cases are taken into consideration when selecting the next test case. This was achieved through various means such as best candidate selection, exclusion, partitioning, and diversity metrics. Empirical studies showed that ART algorithms make good use of the concept of even spreading and achieve 40 to 50% improvement in test effectiveness over random testing in revealing the first failure, which is close to the theoretical limit. However, the computational complexity of ART algorithms may be quadratic or higher, and hence efficiency is an issue when a large number of previously executed test cases are involved. This paper proposes an innovative divide-and-conquer approach to improve the efficiency of ART algorithms while maintaining their performance in effectiveness. Simulation studies have been conducted to gauge its efficiency against two most commonly used ART algorithms, namely, fixed size candidate set and restricted random testing. Initial experimental results show that the divide-and-conquer technique can provide much better efficiency while maintaining similar, or even better, effectiveness.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115171568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences 测试用例生成的类别和选择的增量识别:软件从业者偏好的研究
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.14
P. Poon, T. Chen, T. H. Tse
Test case generation is a vital procedure in the engineering of test harnesses. In particular, the choice relation framework and the category-partition method play an important role, by requiring software testers to identify categories (intuitively equivalent to input parameters or environment conditions) and choices (intuitively equivalent to ranges of values) from a specification and to systematically work on the identified choices to generate test cases. Other specification-based test case generation methods (such as the classification-tree method, cause-effect graphing, and combinatorial testing) also have similar requirements, although different terminology such as classifications and classes is used in place of categories and choices. For a large and complex specification that contains many specification components, categories and choices may be identified separately from various kinds of components. We call this practice an incremental identification approach. In this paper, we discuss our study involving 16 experienced software practitioners and three commercial specifications. Our objectives are to determine, from the opinions of the practitioners, (a) the popularity of an incremental identification approach, (b) the usefulness of identifying categories and choices from various kinds of specification components, and (c) possible ways to improve the effectiveness of the identification process.
测试用例生成是测试工具工程中的一个重要过程。特别是,选择关系框架和类别划分方法发挥了重要的作用,通过要求软件测试人员从规范中识别类别(直观地等同于输入参数或环境条件)和选择(直观地等同于值的范围),并系统地处理识别的选择以生成测试用例。其他基于规范的测试用例生成方法(如分类树方法、因果图和组合测试)也有类似的需求,尽管使用了不同的术语,如分类和类来代替类别和选择。对于包含许多规范组件的大型复杂规范,可以从各种组件中单独识别类别和选择。我们称这种做法为增量识别方法。在本文中,我们讨论了我们的研究涉及16个有经验的软件从业者和三个商业规范。我们的目标是根据从业者的意见,确定(a)增量识别方法的流行程度,(b)从各种规格组件中识别类别和选择的有用性,以及(c)提高识别过程有效性的可能方法。
{"title":"Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences","authors":"P. Poon, T. Chen, T. H. Tse","doi":"10.1109/QSIC.2013.14","DOIUrl":"https://doi.org/10.1109/QSIC.2013.14","url":null,"abstract":"Test case generation is a vital procedure in the engineering of test harnesses. In particular, the choice relation framework and the category-partition method play an important role, by requiring software testers to identify categories (intuitively equivalent to input parameters or environment conditions) and choices (intuitively equivalent to ranges of values) from a specification and to systematically work on the identified choices to generate test cases. Other specification-based test case generation methods (such as the classification-tree method, cause-effect graphing, and combinatorial testing) also have similar requirements, although different terminology such as classifications and classes is used in place of categories and choices. For a large and complex specification that contains many specification components, categories and choices may be identified separately from various kinds of components. We call this practice an incremental identification approach. In this paper, we discuss our study involving 16 experienced software practitioners and three commercial specifications. Our objectives are to determine, from the opinions of the practitioners, (a) the popularity of an incremental identification approach, (b) the usefulness of identifying categories and choices from various kinds of specification components, and (c) possible ways to improve the effectiveness of the identification process.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125093089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
An Approach for Checking OSEK/VDX Applications 一种检查OSEK/VDX应用程序的方法
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.62
Haitao Zhang, Toshiaki Aoki, K. Yatake, Min Zhang, Hsin-hung Lin
With the growing demands for automotive auxiliary functions, more and more complex applications have been developed based on OSEK/VDX OS. However, how to completely check developed applications is becoming a challenge for developers. In this paper, we describe and develop an approach to check developed applications based on the SMT-based BMC. We have implemented a prototype tool and conducted some experiments. The experiments results show that our approach can be completely used to check the properties associated with (i) variables, (ii) mutual exclusion, (iii) service API and (iv) tasks execution sequences.
随着对汽车辅助功能需求的不断增长,基于OSEK/VDX操作系统开发的复杂应用越来越多。然而,如何完全检查开发的应用程序正成为开发人员面临的挑战。在本文中,我们描述并开发了一种基于SMT-based BMC的检查已开发应用程序的方法。我们已经实现了一个原型工具,并进行了一些实验。实验结果表明,我们的方法可以完全用于检查与(i)变量,(ii)互斥,(iii)服务API和(iv)任务执行序列相关的属性。
{"title":"An Approach for Checking OSEK/VDX Applications","authors":"Haitao Zhang, Toshiaki Aoki, K. Yatake, Min Zhang, Hsin-hung Lin","doi":"10.1109/QSIC.2013.62","DOIUrl":"https://doi.org/10.1109/QSIC.2013.62","url":null,"abstract":"With the growing demands for automotive auxiliary functions, more and more complex applications have been developed based on OSEK/VDX OS. However, how to completely check developed applications is becoming a challenge for developers. In this paper, we describe and develop an approach to check developed applications based on the SMT-based BMC. We have implemented a prototype tool and conducted some experiments. The experiments results show that our approach can be completely used to check the properties associated with (i) variables, (ii) mutual exclusion, (iii) service API and (iv) tasks execution sequences.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122745382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Applying Cloud Computing Technologies to Gerontology and Geriatrics Health Care System (GGHCS) 云计算技术在老年医学和老年医疗保健系统中的应用
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.33
Tse-Chuan Hsu, Chih-Hung Chang, W. Chu, Shinn-Ying Ho, Nien-Lin Hsueh, Wei-Bin Lee
At present, the cloud is now being acclaimed as a less expensive with low maintenance, entirely secure and compatible alternative to traditional computing networks used by physicians and healthcare organizations worldwide. These sensors will collect all the information that is required and the sensors will transmit it into the cloud. These sensors are always-on, real-time data compiling, it rules out manual collecting work and possibility of typing errors, and, it reposes the deployment process, as wireless networking signifies no need for cabling or other physical setup. As healthcare IT turns more widely used, and data storage and retrieval costs raise, more hospitals are anticipated to adopt cloud computing, encouraging the overall healthcare IT market with great potential impact on Gerontology and Geriatrics HealthCare System.
目前,云被认为是世界各地的医生和医疗保健组织使用的传统计算网络的一种成本更低、维护成本更低、完全安全且兼容的替代方案。这些传感器将收集所需的所有信息,并将其传输到云端。这些传感器始终处于开启状态,可以进行实时数据编译,它排除了手动收集工作和输入错误的可能性,并且它可以简化部署过程,因为无线网络意味着不需要布线或其他物理设置。随着医疗IT的广泛应用,以及数据存储和检索成本的提高,预计将有更多的医院采用云计算,从而推动整个医疗IT市场,对老年医学和老年医学医疗系统产生巨大的潜在影响。
{"title":"Applying Cloud Computing Technologies to Gerontology and Geriatrics Health Care System (GGHCS)","authors":"Tse-Chuan Hsu, Chih-Hung Chang, W. Chu, Shinn-Ying Ho, Nien-Lin Hsueh, Wei-Bin Lee","doi":"10.1109/QSIC.2013.33","DOIUrl":"https://doi.org/10.1109/QSIC.2013.33","url":null,"abstract":"At present, the cloud is now being acclaimed as a less expensive with low maintenance, entirely secure and compatible alternative to traditional computing networks used by physicians and healthcare organizations worldwide. These sensors will collect all the information that is required and the sensors will transmit it into the cloud. These sensors are always-on, real-time data compiling, it rules out manual collecting work and possibility of typing errors, and, it reposes the deployment process, as wireless networking signifies no need for cabling or other physical setup. As healthcare IT turns more widely used, and data storage and retrieval costs raise, more hospitals are anticipated to adopt cloud computing, encouraging the overall healthcare IT market with great potential impact on Gerontology and Geriatrics HealthCare System.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129417532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An Approach for Fault Localization Based on Program Slicing and Bayesian 基于程序切片和贝叶斯的故障定位方法
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.29
Yingqi Liu, Wei Li, Shujuan Jiang, Yanmei Zhang, Xiaolin Ju
The key issue of reducing software cost and improving software reliability is locating defective codes precisely and efficiently. In this paper, we propose a fault localization method which combines program slicing and Bayesian method. First, we perform dynamic program slicing according to the slicing criteria. Then, we calculate the posterior probability according to Bayesian Theory. Finally, we take the posterior probability as the suspicion degree of the statement and rank the statements in the descending order based on suspicion degree. We apply our approach to six open-source programs. The results of the experiments show that the method we propose can improve the precision of fault localization to some extent.
准确、高效地定位缺陷代码是降低软件成本、提高软件可靠性的关键问题。本文提出了一种结合程序切片和贝叶斯方法的故障定位方法。首先,根据切片标准进行动态程序切片。然后,根据贝叶斯理论计算后验概率。最后,我们将后验概率作为语句的怀疑度,并根据怀疑度对语句进行降序排序。我们将我们的方法应用于六个开源程序。实验结果表明,该方法能在一定程度上提高故障定位的精度。
{"title":"An Approach for Fault Localization Based on Program Slicing and Bayesian","authors":"Yingqi Liu, Wei Li, Shujuan Jiang, Yanmei Zhang, Xiaolin Ju","doi":"10.1109/QSIC.2013.29","DOIUrl":"https://doi.org/10.1109/QSIC.2013.29","url":null,"abstract":"The key issue of reducing software cost and improving software reliability is locating defective codes precisely and efficiently. In this paper, we propose a fault localization method which combines program slicing and Bayesian method. First, we perform dynamic program slicing according to the slicing criteria. Then, we calculate the posterior probability according to Bayesian Theory. Finally, we take the posterior probability as the suspicion degree of the statement and rank the statements in the descending order based on suspicion degree. We apply our approach to six open-source programs. The results of the experiments show that the method we propose can improve the precision of fault localization to some extent.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128732613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Providing Support for Specifying Redundancy Tactics Using Aspect-Oriented Modeling 使用面向方面的建模为指定冗余策略提供支持
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.61
Xiang Qiu, Li Zhang
Modelers want to model redundancy tactics in the design phase so as to provide fault-tolerance guidelines for the following development process. However, existing approaches usually interweave redundancy tactics into the functional models and result in complex and cluttered models, which are difficult and time-consuming to be maintained. To address this problem, we provide a modeling approach to separate redundancy tactics from the base functional models using aspect-oriented modeling. First of all, the conceptual models of redundancy tactics and their semantic constraints are provided for deriving the tactic aspects. After mapping the tactic concepts into the concepts of aspect-oriented modeling, UML profiles for specifying the tactic aspects are proposed. Based on our tactic aspects and their configured attributes, we provide a weaving algorithm to associate the tactic aspects with the base functional models. Finally, we compare our work with an existing tactic modeling approach through an avionics system model. The results show that our work can help modelers to reduce the modeling effort of components and dependencies significantly during the modeling process of redundancy tactics.
建模人员希望在设计阶段对冗余策略进行建模,以便为后续开发过程提供容错指导方针。然而,现有的方法通常将冗余策略交织到功能模型中,导致模型复杂混乱,维护困难且耗时。为了解决这个问题,我们提供了一种建模方法,使用面向方面的建模将冗余策略与基本功能模型分离开来。首先,给出了冗余策略的概念模型及其语义约束,从而推导出冗余策略的各个方面。在将策略概念映射到面向方面建模的概念之后,提出了用于指定策略方面的UML概要文件。基于我们的策略方面及其配置属性,我们提供了一种编织算法来将策略方面与基本功能模型关联起来。最后,我们通过航空电子系统模型将我们的工作与现有的战术建模方法进行了比较。结果表明,我们的工作可以帮助建模者在冗余策略建模过程中显著减少组件和依赖项的建模工作量。
{"title":"Providing Support for Specifying Redundancy Tactics Using Aspect-Oriented Modeling","authors":"Xiang Qiu, Li Zhang","doi":"10.1109/QSIC.2013.61","DOIUrl":"https://doi.org/10.1109/QSIC.2013.61","url":null,"abstract":"Modelers want to model redundancy tactics in the design phase so as to provide fault-tolerance guidelines for the following development process. However, existing approaches usually interweave redundancy tactics into the functional models and result in complex and cluttered models, which are difficult and time-consuming to be maintained. To address this problem, we provide a modeling approach to separate redundancy tactics from the base functional models using aspect-oriented modeling. First of all, the conceptual models of redundancy tactics and their semantic constraints are provided for deriving the tactic aspects. After mapping the tactic concepts into the concepts of aspect-oriented modeling, UML profiles for specifying the tactic aspects are proposed. Based on our tactic aspects and their configured attributes, we provide a weaving algorithm to associate the tactic aspects with the base functional models. Finally, we compare our work with an existing tactic modeling approach through an avionics system model. The results show that our work can help modelers to reduce the modeling effort of components and dependencies significantly during the modeling process of redundancy tactics.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126366063","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Interaction Models Matter in the Evaluation of Quality of Conceptual Models 交互模型在概念模型质量评价中的作用
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.38
Beatriz Marín, Giovanni Giachetti, Ó. Pastor, A. Abran
Conceptual models are key artefacts in software production processes that are based on MDD technology. These conceptual models are used as inputs in the process of code generation. Therefore, it is very important to be able to evaluate the quality of the models in order to improve the quality of the corresponding final applications. The development of an effective quality assurance technique requires knowing what kind of defects may occur in practice in the conceptual models used in MDD approaches. Conventional Conceptual Modeling approaches focus on the detection of defects that comes from either the data perspective or the process perspective. However, the interaction perspective also matters! This paper presents a list of technical defects that can be identified when performing the interaction modeling of an MDD environment. This list of defects provides an initial approach to evaluate the completeness of Interaction Models with respect to their use for the automatic generation of a final application. This paper also presents an example that illustrates how the completeness of an Interaction Model can be evaluated through defect detection.
概念模型是基于MDD技术的软件生产过程中的关键工件。这些概念模型在代码生成过程中用作输入。因此,为了提高相应的最终应用程序的质量,能够对模型的质量进行评估是非常重要的。开发有效的质量保证技术需要了解MDD方法中使用的概念模型在实践中可能出现的缺陷类型。传统的概念建模方法侧重于检测来自数据透视图或过程透视图的缺陷。然而,交互视角也很重要!本文给出了在执行MDD环境的交互建模时可以识别的技术缺陷列表。这个缺陷列表提供了一种评估交互模型的完整性的初始方法,该方法涉及到它们对最终应用程序的自动生成的使用。本文还提供了一个例子,说明如何通过缺陷检测来评估交互模型的完整性。
{"title":"Interaction Models Matter in the Evaluation of Quality of Conceptual Models","authors":"Beatriz Marín, Giovanni Giachetti, Ó. Pastor, A. Abran","doi":"10.1109/QSIC.2013.38","DOIUrl":"https://doi.org/10.1109/QSIC.2013.38","url":null,"abstract":"Conceptual models are key artefacts in software production processes that are based on MDD technology. These conceptual models are used as inputs in the process of code generation. Therefore, it is very important to be able to evaluate the quality of the models in order to improve the quality of the corresponding final applications. The development of an effective quality assurance technique requires knowing what kind of defects may occur in practice in the conceptual models used in MDD approaches. Conventional Conceptual Modeling approaches focus on the detection of defects that comes from either the data perspective or the process perspective. However, the interaction perspective also matters! This paper presents a list of technical defects that can be identified when performing the interaction modeling of an MDD environment. This list of defects provides an initial approach to evaluate the completeness of Interaction Models with respect to their use for the automatic generation of a final application. This paper also presents an example that illustrates how the completeness of an Interaction Model can be evaluated through defect detection.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133251423","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards Designing a Quality Software System for Mental Disease Treatment through Artistic Painting Therapy 艺术绘画治疗精神疾病的优质软件系统设计
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.35
Yingmei Wang, Jia Jiang, Hongji Yang
Mental illness belongs to emotional disease. Medication and psychotherapy have good effectiveness but cannot last long due to side effects of drugs and resistance of patients respectively. The study found that artistic paintings may supply treatment of mental illness: The use of aesthetic rules cured many patients, and the expression and function of catharsis of painting can reveal the patient's unconscious and provide physicians with accurate treatment. Computer graphics in the field of painting therapy has a broad application. Computer software is helpful to improve the quality of painting, and can simulate reality and set up a counseling system. Palette should set up some more curve tool in software, curve conforms to the psychological characteristics of the complex human, and it gives patients' full of humanistic care. On the palette should try to avoid black, gray and purple. Reading famous painting can significantly improve the patients' state of mind, but with positive themes for point cuts. Figurative painting and strong sense of order easily gives patients a sense of reality and certainty, and marks the boundaries with potential illness of mental.
精神疾病属于情绪疾病。药物治疗和心理治疗均有较好的疗效,但由于药物的副作用和患者的耐药而不能持久。研究发现,艺术绘画可能提供精神疾病的治疗:运用审美规律治愈了许多病人,绘画的宣泄表达和功能可以揭示病人的无意识,为医生提供准确的治疗。计算机图形学在绘画治疗领域有着广泛的应用。计算机软件有助于提高绘画质量,可以模拟现实,建立咨询系统。调色板应在软件中多设置一些曲线工具,曲线符合人类复杂的心理特征,并给予患者充分的人文关怀。在调色板上应尽量避免黑色、灰色和紫色。阅读名画能显著改善患者的心境,但以积极题材为切点。具象绘画和强烈的秩序感容易给患者一种真实感和确定性,并标记出与潜在疾病心理的界限。
{"title":"Towards Designing a Quality Software System for Mental Disease Treatment through Artistic Painting Therapy","authors":"Yingmei Wang, Jia Jiang, Hongji Yang","doi":"10.1109/QSIC.2013.35","DOIUrl":"https://doi.org/10.1109/QSIC.2013.35","url":null,"abstract":"Mental illness belongs to emotional disease. Medication and psychotherapy have good effectiveness but cannot last long due to side effects of drugs and resistance of patients respectively. The study found that artistic paintings may supply treatment of mental illness: The use of aesthetic rules cured many patients, and the expression and function of catharsis of painting can reveal the patient's unconscious and provide physicians with accurate treatment. Computer graphics in the field of painting therapy has a broad application. Computer software is helpful to improve the quality of painting, and can simulate reality and set up a counseling system. Palette should set up some more curve tool in software, curve conforms to the psychological characteristics of the complex human, and it gives patients' full of humanistic care. On the palette should try to avoid black, gray and purple. Reading famous painting can significantly improve the patients' state of mind, but with positive themes for point cuts. Figurative painting and strong sense of order easily gives patients a sense of reality and certainty, and marks the boundaries with potential illness of mental.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124874257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions 变形关系的有效性与测试用例执行的差异性之间的相关性
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.43
Yuxiang Cao, Z. Zhou, T. Chen
Metamorphic testing (MT) is a property-based automated software testing method. It alleviates the oracle problem by testing programs against metamorphic relations (MRs), which are necessary properties among multiple executions of the target program. For a given problem, usually more than one MR can be identified. It is therefore of practical importance for testers to know the nature of good MRs, that is, which MRs are likely to have higher chances of revealing failures. To address this issue we investigate the correlation between the fault-detection effectiveness of MRs and the dissimilarity (distance) of test case execution profiles. Empirical study results reveal that there is a strong and statistically significant positive correlation between the fault-detection effectiveness and the distance. The findings of this research can help to develop automated means of selecting/prioritizing MRs for cost-effective metamorphic testing.
变形测试(MT)是一种基于属性的自动化软件测试方法。它通过根据变形关系(MRs)测试程序来减轻oracle问题,变形关系是目标程序多次执行之间的必要属性。对于一个给定的问题,通常可以识别多个MR。因此,对于测试人员来说,了解好的MRs的本质是非常重要的,也就是说,哪些MRs可能有更高的机会揭示故障。为了解决这个问题,我们研究了MRs的故障检测有效性与测试用例执行概要的不相似性(距离)之间的相关性。实证研究结果表明,故障检测效率与距离之间存在显著的正相关关系。这项研究的发现可以帮助开发自动化的方法来选择/优先考虑具有成本效益的变质试验的MRs。
{"title":"On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions","authors":"Yuxiang Cao, Z. Zhou, T. Chen","doi":"10.1109/QSIC.2013.43","DOIUrl":"https://doi.org/10.1109/QSIC.2013.43","url":null,"abstract":"Metamorphic testing (MT) is a property-based automated software testing method. It alleviates the oracle problem by testing programs against metamorphic relations (MRs), which are necessary properties among multiple executions of the target program. For a given problem, usually more than one MR can be identified. It is therefore of practical importance for testers to know the nature of good MRs, that is, which MRs are likely to have higher chances of revealing failures. To address this issue we investigate the correlation between the fault-detection effectiveness of MRs and the dissimilarity (distance) of test case execution profiles. Empirical study results reveal that there is a strong and statistically significant positive correlation between the fault-detection effectiveness and the distance. The findings of this research can help to develop automated means of selecting/prioritizing MRs for cost-effective metamorphic testing.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126434137","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 40
Outsourcing Software Testing: A Case Study in the Oulu Area 外包软件测试:奥卢地区的案例研究
Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.53
I. Tervonen, A. Haapalahti, L. Harjumaa, Jouni Similä
Global software engineering increases coordination, communication, and control challenges in software development. The testing phase in this context is not a widely researched subject. In this paper, we study the outsourcing of software testing in the Oulu area, research the ways in which it is used, and determine the observable benefits and obstacles. The companies that participated in this study were found to use the outsourcing possibility of software testing with good efficiency and their testing process was considered to be mature. The most common benefits, in addition to the companies' cost savings, included the utilization of time zone differences for around-the-clock productivity, a closer proximity to the market, an improved record of communication and the tools that record the audit materials. The most commonly realized difficulties consisted of teamwork challenges, a disparate tool infrastructure, tool expense, and often-elevated coordination costs. We utilized in our study two matrices that consist in one dimension of the three distances, control, coordination, and communication, and in another dimension of four distances, temporal, geographical, socio-cultural and technical. The technical distance was our extension to the matrix that has been used as the basis for many other studies about global software development and outsourcing efforts. Our observations justify the extension of matrices with respect to the technical distance.
全球软件工程增加了软件开发中的协调、通信和控制挑战。在这种情况下,测试阶段并不是一个广泛研究的课题。本文对奥卢地区软件测试外包进行了研究,研究了软件测试外包的使用方式,并确定了可观察到的效益和障碍。参与本研究的公司使用软件测试外包的可能性,效率较高,测试过程较为成熟。除了节省成本之外,最常见的好处还包括利用时区差异来实现全天候的生产力,更接近市场,改进的通信记录和记录审计材料的工具。最常见的困难包括团队合作的挑战、不同的工具基础设施、工具费用,以及经常升高的协调成本。我们在研究中使用了两个矩阵,其中一个维度包括三个距离:控制、协调和沟通,另一个维度包括四个距离:时间、地理、社会文化和技术。技术距离是我们对矩阵的扩展,它已经被用作许多关于全球软件开发和外包工作的其他研究的基础。我们的观察证明了矩阵在技术距离方面的扩展是正确的。
{"title":"Outsourcing Software Testing: A Case Study in the Oulu Area","authors":"I. Tervonen, A. Haapalahti, L. Harjumaa, Jouni Similä","doi":"10.1109/QSIC.2013.53","DOIUrl":"https://doi.org/10.1109/QSIC.2013.53","url":null,"abstract":"Global software engineering increases coordination, communication, and control challenges in software development. The testing phase in this context is not a widely researched subject. In this paper, we study the outsourcing of software testing in the Oulu area, research the ways in which it is used, and determine the observable benefits and obstacles. The companies that participated in this study were found to use the outsourcing possibility of software testing with good efficiency and their testing process was considered to be mature. The most common benefits, in addition to the companies' cost savings, included the utilization of time zone differences for around-the-clock productivity, a closer proximity to the market, an improved record of communication and the tools that record the audit materials. The most commonly realized difficulties consisted of teamwork challenges, a disparate tool infrastructure, tool expense, and often-elevated coordination costs. We utilized in our study two matrices that consist in one dimension of the three distances, control, coordination, and communication, and in another dimension of four distances, temporal, geographical, socio-cultural and technical. The technical distance was our extension to the matrix that has been used as the basis for many other studies about global software development and outsourcing efforts. Our observations justify the extension of matrices with respect to the technical distance.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"65-66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123129647","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
期刊
2013 13th International Conference on Quality Software
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1