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

2nd International Conference on Information, Communication and Computing Technology (ICICCT)

作者： Lakshmi, K. V. N. S. Kumar, Sanjeev DRDO Adv Syst Lab Hyderabad Telangana India

ISBN: (纸本)9789811065446;9789811065439

A study and analysis of software errors has been carried out. The present study analyzed approximately 400 errors of safety critical Navigation system software in 10 project variants. Framework used was: (i) Identification of types and severity of errors (ii) Gathering errors from error database and categorizing them according to the type and severity (iii) Recognition of the pattern and deriving the relation to software change rationale (iv) Proposing the error prevention guidelines for software requirements specification and code implementation for future software projects as a part of software Quality Assurance (SQA) process. The main aim is to propose the error prevention guidelines that are practical to be implemented despite the project schedules. This is considered valuable outcome of the Independent verification and validation (IV&V) effort carried out for this safety critical embedded software.

关键词： Embedded software Real-time systems software software verification and validation Requirements analysis software functional properties: correctness Functionality Consistency Completeness software testing Logic and verification software defect analysis

来源：评论

学校读者我要写书评

暂无评论

Towards Static Flow-based Declassification for Legacy and Untrusted Programs

Towards Static Flow-based Declassification for Legacy and Un...

引用

Symposium on Security and Privacy

作者： Rocha, Bruno P. S. Bandhakavi, Sruthi den Hartog, Jerry Winsborough, William H. Etalle, Sandro Eindhoven Univ Technol NL-5600 MB Eindhoven Netherlands Univ Texas San Antonio San Antonio TX USA Univ Twente NL-7500 AE Enschede Netherlands

ISBN: (纸本)9780769540351

Simple non-interference is too restrictive for specifying and enforcing information flow policies in most programs. Exceptions to non-interference are provided using declassification policies. Several approaches for enforcing declassification have been proposed in the literature. In most of these approaches, the declassification policies are embedded in the program itself or heavily tied to the variables in the program being analyzed, thereby providing little separation between the code and the policy. Consequently, the previous approaches essentially require that the code be trusted, since to trust that the correct policy is being enforced, we need to trust the source code. In this paper, we propose a novel framework in which declassification policies are related to the source code being analyzed via its I/O channels. The framework supports many of the of declassification policies identified in the literature. Based on flow-based static analysis, it represents a first step towards a new approach that can be applied to untrusted and legacy source code to automatically verify that the analyzed program complies with the specified declassification policies. The analysis works by constructing a conservative approximation of expressions over input channel values that could be output by the program, and by determining whether all such expressions satisfy the declassification requirements stated in the policy. We introduce a representation of such expressions that resembles tree automata. We prove that if a program is considered safe according to our analysis then it satisfies a property we call Policy Controlled Release, which formalizes information-flow correctness according to our notion of declassification policy. We demonstrate, through examples, that our approach works for several interesting and useful declassification policies, including one involving declassification of the average of several confidential values.

关键词： Security Languages software verification and validation Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Web2MexADL: Discovery and Maintainability verification of software Systems Architecture

Web2MexADL: Discovery and Maintainability Verification of So...

引用

16th European Conference on software Maintenance and Reengineering (CSMR)

作者： Castrejon, Juan Lozano, Rafael Vargas-Solar, Genoveva Inst Tecnol & Estudios Super Monterrey Campus Ciudad Mexico Mexico City DF Mexico Ctr Natl Recherche Scientifique LIG LAFMIA Labs Paris France

ISBN: (纸本)9780769546667

This paper introduces Web2MexADL, a tool that can discover architectural documentation for web systems, by analyzing properties and relationships of their source code artifacts. This analysis is based on the use of probabilistic methods executed through machine learning tools. The resulting documentation includes an Architecture Description Language (ADL) document and a Scalable Vectors Graphic (SVG) file depicting an architecture view of the analyzed system. Finally, the resulting ADL document can be used to verify the maintainability of the system under analysis, by taking advantage of the MexADL approach.

关键词： Documentation software engineering software maintenance software verification and validation

来源：评论

学校读者我要写书评

暂无评论

software Qualification Approach for Safety-Critical software of the Embedded System

Software Qualification Approach for Safety-Critical Software...

引用

International Conference on Future-Generation Communication and Networking (FGCN 2012)/International Conference on Digital Contents and Applications (DCA 2012)

作者： Kim, Jangyeol Kim, Soongohn Joongbu Univ Div Comp & Game Sci 101 Daehakro Gumsangun 312702 Chungnam South Korea KAERI Instrumentat & Control & Human Factors Div Taejon 305353 South Korea

ISBN: (纸本)9783642355936

Programmable Logic Controller (PLC) is applied to a control system as major components in industrial functional safety facilities. This paper describes the safety-critical software qualification approach which corresponds to the software verification and validation, software safety analysis, software quality assurance and software configuration management etc. Major qualification activities for safety-critical software are a technical evaluation, licensing suitability evaluation, inspection and traceability analysis, formal verification, software safety analysis, software quality assurance and its software configuration management etc. First, the technology evaluation performs a technical review which was based on engineering decision-making by verifiers. Second, the licensing suitability evaluation was performed according to the Code & Standard criteria by analyzing the designed outputs based on the functional characteristics and process characteristics defined in the verification and validation guidelines. Third, the inspection and traceability analysis covers the correctness, consistency, completeness, properties of the inputs and outputs, behavioral entities, interfaces, etc. with a three-folded checklist topology. Fourth, a formal verification perform for the statechart based on the software Requirement Specification (SRS) and the software Design Specification (SDS) by a Graphical Back Animation (GBA) and a simulation. Fifth, the software safety analysis use the HAZard Operability (HAZOP) method and it analyze the Failure Mode Effect Analysis (FMEA). Finally, a software configuration management under the software quality assurance estimate for the software documents and the source codes by using software Configuration Management tool. We believe that we achieve the functionality, performance, reliability and safety that are the software qualification objective goals of the embedded system.

关键词： software Qualification software Quality Assurance software verification and validation software Safety Analysis Safety-Critical software Configuration Management Embedded Systems

来源：评论

学校读者我要写书评

暂无评论

An Abstraction-Aware Compiler for VHDL Models

An Abstraction-Aware Compiler for VHDL Models

引用

International Conference on Computer Engineering and Systems

作者： Maksoud, Mohamed Abdel Pister, Markus Schlickling, Marc Univ Saarland D-66123 Saarbrucken Germany

ISBN: (纸本)9781424458424

Safety-critical hard real time systems as the flight control computer in avionics or airbag control software in the automotive industry need to be validated for their correct behavior. Besides the functional correctness, timely task completion is essential, i.e. the worst-case execution time (WCET) of each task in the system has to be determined. Saarland University and AbsInt GmbH have successfully developed the aiT WCET analyzer for computing safe upper bounds on the WCET of a task. The computation is mainly based on abstract interpretation of timing models of the processor and its periphery. Such timing models are currently hand-crafted by human experts. Therefore their implementation is a time-consuming and error-prone process. This paper presents an abstraction-aware compiler for automatically generating efficient pipeline analyzes out of abstracted timing models that could be derived from formal V(HDL) specifications.

关键词： Timing analysis Real time systems Hardware design languages System analysis and design Computer aided analysis software verification and validation

来源：评论

学校读者我要写书评

暂无评论

Experience Report on Teaching Testing through Gamification 3

Experience Report on Teaching Testing through Gamification

引用

3rd International Workshop on Education through Advanced software Engineering and Artificial Intelligence (EASEAI)

作者： Lorincz, Beata Iudean, Bogdan Vescan, Andreea Babes Bolyai Univ Fac Math & Comp Sci Cluj Napoca Romania

ISBN: (纸本)9781450386241

software systems become increasingly complex and testing is a vital component of the development process. Teaching software testing concepts are now more than ever acknowledged as essential. The aim of this paper is to report on our software testing teaching approach, using game-based activities to engage students and facilitate learning, making them aware of their actions and related testing concepts. Agile testing and Session-Based Test Management are learned through lego-based context, exploratory testing is learned through a dice-based game, and various testing concepts are learned during the laboratory using storification. We report on the results of activities with students, extracting valuable lessons for reproducing this approach in teaching software testing: game-based learning motivated students to participate in the activities, reflection on their actions allowed them to self-discover the testing concepts encapsulated into the game. In addition, we adapt and analyse an industry-like environment that serves as experience for their future careers.

关键词： software verification and validation software testing Agile testing Exploratory testing Experiential learning Gamification Storification

来源：评论

学校读者我要写书评

暂无评论

Un modele pour une satisfaction implicite des proprie tes d'Utilisabilite CARE pour les IHM multimodales

Un modele pour une satisfaction implicite des proprie tes d'...

引用

IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008

作者： Kamel, Nadjet Selouani, Sid-Ahmed Hamam, Habib Université de Moncton Campus de Shippagan Université de Moncton Campus de Moncton Canadian University Dubai Canada

No abstract available

ISBN: (纸本)9781424416431

No abstract available

关键词： software verification and validation User centered design User interfaces

来源：评论

学校读者我要写书评

暂无评论

A taxonomy of metrics for GUI-based testing research: A systematic literature review

引用

INFORMATION AND software TECHNOLOGY 2022年第0期152卷

作者： Coppola, Riccardo Alegroth, Emil Politecn Torino Dept Control & Comp Engn Turin Italy Blekinge Inst Technol Karlskrona Sweden

Context: GUI-based testing is a sub-field of software testing research that has emerged in the last three decades. GUI-based testing techniques focus on verifying the functional conformance of the system under test (SUT) through its graphical user interface. However, despite the research domains growth, studies in the field have low reproducibility and comparability. One observed cause of these phenomena is identified as a lack of research rigor and commonly used metrics, including coverage ***: We aim to identify the most commonly used metrics in the field and formulate a taxonomy of coverage metrics for GUI-based testing ***: We adopt an evidence-based approach to build the taxonomy through a systematic literature review of studies in the GUI-based testing domain. Identified papers are then analyzed with Open and Axial Coding techniques to identify hierarchical and mutually exclusive categories of metrics with common characteristics, usages, and ***: Through the analysis of 169 papers and 315 metric definitions, we obtained a taxonomy with 55 codes (common names for metrics), 17 metric categories, and 4 higher level categories: Functional Level, GUI Level, Model Level and Code Level. We measure a higher number of mentions of Model and Code level metrics over Functional and GUI level ***: We propose a taxonomy for use in future GUI-based testing research to improve the general quality of studies in the domain. In addition, the taxonomy is perceived to help enable more replication studies as well as macro-analysis of the current body of research.

关键词： software testing GUI -based testing Coverage metrics Taxonomies software verification and validation

来源：评论

学校读者我要写书评

暂无评论

Qualification of Avionic software Based on Machine Learning: Challenges and Key Enabling Domains

引用

JOURNAL OF AEROSPACE INFORMATION SYSTEMS 2024年第5期21卷 367-379页

作者： Vidot, Guillaume Gabreau, Christophe Ober, Ileana Ober, Iulian Univ Toulouse IRIT Airbus Operation SAS F-31062 Toulouse France Airbus Operat SAS 316 Route Bayonne F-31060 Toulouse France Univ Toulouse IRIT 118 Route Narbonne F-31062 Toulouse France Univ Toulouse Federat ENAC ISAE SUPAERO ONERA 10 Ave Edouard BelinBP 54032 F-31055 Toulouse 4 France

Advances in machine learning (ML) open the way to innovating functions in the avionic domain, such as navigation/surveillance assistance (e.g., vision-based navigation, obstacle sensing, virtual sensing), speech-to-text applications, autonomous flight, predictive maintenance, and cockpit assistance. Current standards and practices, which were defined and refined over decades with classical programming in mind, do not, however, support this new development paradigm. This paper provides an overview of the main challenges raised by the use of ML in the demonstration of compliance with regulatory requirements (i.e., software qualification) and an overview of literature relevant to these challenges, with particular focus on the issues of robustness, provability, and explainability of ML results.

关键词： Reinforcement Learning Convolutional Neural Network Artificial Intelligence Embedded software Aircraft Certification software verification and validation software Qualification

来源：评论

学校读者我要写书评

暂无评论

引用

INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS 2023年第4期14卷 777-786页

作者： Alghasham, Mohammed Alzakan, Mousa Al-Hagery, Mohammed Qassim Univ Coll Comp Dept Comp Sci Buraydah 51452 Saudi Arabia

Today's modern technologies and requirements make the utilization of crowdsourcing more viable and applicable. It is one of the problem-solving models that can be used in various domains to reduce costs and time. It is also an excellent way to find new and different ideas and solutions. This paper studies the use of crowdsourcing in software engineering and reveals adequate details to highlight its significance. A few recent literature reviews have been published to address specific topics or study general attributes of papers in crowdsourced software engineering. This paper, however, explores all recent publications related to software and crowdsourcing to find the trends and highlight mobile and AI usage in software crowdsourcing. The findings of this paper show that most research papers are in the areas of software management and software verification and validation. The results also reveal that machine learning and data mining techniques are predominant in software manage-ment crowdsourcing and software verification and validation. Furthermore, this study shows that the methods and techniques used in general crowdsourcing apply to mobile crowdsourcing except in mobile testing, where there is a need for clustering and prioritization of test reports.

关键词： -software engineering crowdsourcing mobile crowdsourcing software management software verification and validation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：