Testing scientific software: A systematic literature review

ContextScientific software plays an important role in critical decision making, for example making weather predictions based on climate models, and computation of evidence for research publications. Recently, scientists have had to retract publications due to errors caused by software faults. Systematic testing can identify such faults in code.ObjectiveThis study aims to identify specific challenges, proposed solutions, and unsolved problems faced when testing scientific software.MethodWe conducted a systematic literature survey to identify and analyze relevant literature. We identified 62 studies that provided relevant information about testing scientific software.ResultsWe found that challenges faced when testing scientific software fall into two main categories: (1) testing challenges that occur due to characteristics of scientific software such as oracle problems and (2) testing challenges that occur due to cultural differences between scientists and the software engineering community such as viewing the code and the model that it implements as inseparable entities. In addition, we identified methods to potentially overcome these challenges and their limitations. Finally we describe unsolved challenges and how software engineering researchers and practitioners can help to overcome them.ConclusionsScientific software presents special challenges for testing. Specifically, cultural differences between scientist developers and software engineers, along with the characteristics of the scientific software make testing more difficult. Existing techniques such as code clone detection can help to improve the testing process. Software engineers should consider special challenges posed by scientific software such as oracle problems when developing testing techniques.     

A systematic review on security in Process-Aware Information Systems – Constitution,challenges, and future directions

ContextSecurity in Process-Aware Information Systems (PAIS) has gained increased attention in current research and practice. However, a common understanding and agreement on security is still missing. In addition, the proliferation of literature makes it cumbersome to overlook and determine state of the art and further to identify research challenges and gaps. In summary, a comprehensive and systematic overview of state of the art in research and practice in the area of security in PAIS is missing.ObjectiveThis paper investigates research on security in PAIS and aims at establishing a common understanding of terminology in this context. Further it investigates which security controls are currently applied in PAIS.MethodA systematic literature review is conducted in order to classify and define security and security controls in PAIS. From initially 424 papers, we selected in total 275 publications that related to security and PAIS between 1993 and 2012. Furthermore, we analyzed and categorized the papers using a systematic mapping approach which resulted into 5 categories and 12 security controls.ResultsIn literature, security in PAIS often centers on specific (security) aspects such as security policies, security requirements, authorization and access control mechanisms, or inter-organizational scenarios. In addition, we identified 12 security controls in the area of security concepts, authorization and access control, applications, verification, and failure handling in PAIS. Based on the results, open research challenges and gaps are identified and discussed with respect to possible solutions.ConclusionThis survey provides a comprehensive review of current security practice in PAIS and shows that security in PAIS is a challenging interdisciplinary research field that assembles research methods and principles from security and PAIS. We show that state of the art provides a rich set of methods such as access control models but still several open research challenges remain.     

Decision support and intelligent systems in the textile and apparel supply chain: An academic review of research articles

This article provides a comprehensive review of research articles related to the application of decision support and intelligent systems in the textile and apparel supply chains. Data were obtained from 77 articles published from 1994 to 2009 in 35 journals. The articles were categorized according to their applicability into three basic sectors – textile production, apparel manufacture, and distribution/sales. They were further categorized into 16 subsectors based on their operational and management/control processes. A comprehensive list of categorized journal articles identified in this study provides insights and relevant references for both researchers and practitioners on the application of decision support and intelligent systems to various stages of a textile and apparel supply chain. In light of the developed classification framework, we identify gaps in extending the use of the decision support and artificial intelligent systems in the industry and suggest potential and applicable research areas for further consideration in this subject area.     

Betting system for formative code review in educational competitions

Using competitions to motivate students is a well-known practice that has proved to be successful. Nevertheless, grading students only through their results in the competition could unfairly limit the range of grades that each student can get: regardless of the quality of the different teams participating, one student must necessarily win the tournament, another must be second, and so on until the last place. In fact, player rankings are relative assessments that are conditioned by the performance of every student. In this paper, we propose solving this issue by making students do a code review before betting on the competition. By betting, the grade of students depends both on the performance of their own solution and the one they bet on. This way, grades represent not only coding skills, but also code analysis skills, widening the attainable range of grades and allowing for a fairer grade distribution. As a result, students that are not so proficient in coding are rewarded if they demonstrate they can do a good analysis of the source code written by others, which is a very valuable skill in the professional world. We provide a case study in an undergraduate course, showing positive results.     

美国三元乙丙防水片材接缝技术

介绍了美国三元乙丙防水片材接缝技术的发展历程并介绍了二十世纪八十年代以来有关的专利技术和测试方法。     

水性聚氨酯胶研究及应用

综述了国内外水性聚氨酯胶特点及应用,对水性聚氨酯乳液的制备及物理性质和聚氨酯胶层的性能进行分析和阐述。     

试论我国锦纶生产发展方向

回顾了锦纶发展简史，综述了国内锦纶生产现状，并论述了我国锦纶生产发展方向，必须大力发展原料工业；加快老企业的设备改造；使其达到规模经济，大力发展差别化、高附加值、功能性纤维。同时，提出了锦纶各品种的发展趋向。     

对硝基苯甲酸催化酯化研究进展

综述了对硝基苯甲酸催化酯化的研究情况，重点介绍了直接酯化法催化剂的进展，包括酸催化剂和非酸催化剂。认为固体超强酸催化活性高，使用寿命长，易与产物分离，不腐蚀设备，无环境污染；相转移催化剂应用较多，酯化收率较高。     

新颖除草剂研究进展

综述了新型除草剂研制的方向、重点和特点。涉及磺酰脲类除草剂 ,环状亚胺类除草剂 ,苯氧羧酸类除草剂 ,有机磷类除草剂。主要介绍了具有除草活性好的丙酮酸脱氢酶抑制剂研究新进展。     

改性透明聚丙烯

主要介绍了聚丙烯透明改性的基本原理、透明剂的合成以及聚丙烯的透明改性方法和工艺过程 ,对聚丙烯透明改性的国内外研究现状进行了评述 ,并以山梨糖醇衍生物透明成核剂为主简述了透明聚丙烯的加工过程、性能和应用