Software verification

This is the general subject of Software Quality Engineering, which is organized into three major topics: Software testing as a primary means to ensure software quality; Other alternatives for quality assurance (QA), including defect prevention, process improvement, inspection, formal verification, fault tolerance, safety assurance, and damage control; Measurement and analysis to close the feedback loop for quality assessment and quantifiable improvement.

441p zizaybay1103 29-05-2024 1 1   Download

Lecture Introduction to Software engineering - Lesson 15: Verification and testing. This lesson provides students with content about: software quality assurance; V model – different levels of test; test levels – unit testing; test levels – integration testing; big-bang test; sandwich test; test-case design techniques; unit & system testing techniques;... Please refer to the detailed content of the lecture!

50p codabach1016 03-05-2024 2 0   Download

Part 2 book "Software engineering - A practitioner's approach" includes content: Quality concepts; review techniques; software quality assurance; software testing strategies; testing conventional applications; testing object oriented applications; testing web applications; formal modeling and verification; software configuration management; product metrics,... and other contents.

505p muasambanhan05 16-01-2024 2 0   Download

Aware of the role of the digital verification information system, Head of university let the Information and Library Center to deploy the construction of a centralized digital data space (according to the method deployed digital library) for testing on the principle of autonomy in software, design and administration to ensure sustainable development, process improvement to improve quality, ready to serve for testing all curriculum training through subsequent evaluation cycles.

8p nhanchienthien 25-07-2023 7 3   Download

Ebook Principles of software engineering: Part 1 presents the following content: Introduction to Software Engineering; Software Processes and Models; Software Requirements; Introduction to Validation, Metrics; Software Project Planningdeo; Functional Design;...Please refer to the documentation for more details.

165p chankora 16-06-2023 3 2   Download

Ebook Fundamentals of probability and statistics for engineers: Part 2 presents the following content: Chapter 8: observed data and graphical representation; chapter 9: parameter estimation; chapter 10: model verification; chapter 11: linear models and linear regression; Appendix A: tables; Appendix B: computer software; Appendix C: answers to selected problems.

147p runthenight08 16-05-2023 8 3   Download

Lecture Software process improvement: Lesson 7 provide students with knowledge about: application of ETVX; preparation; inspection meeting; rework; follow-up; data recording and reports; preparation validation/verification;... Please refer to the detailed content of the lecture!

49p hanlamcoman 26-11-2022 27 2   Download

Lecture Software process improvement: Lesson 1 provide students with knowledge about: CMMI staged – maturity level 3; the maturity levels; attributes of a process suggested by CMMI; defined process builds; requirements development; technical solution; product integration; verification; validation; organizational process focus;... Please refer to the detailed content of the lecture!

62p hanlamcoman 26-11-2022 13 2   Download

Lecture Software process improvement: Lesson 17 provide students with knowledge about: CMMI staged maturity level 3; process areas for maturity level 3; select work products for verification; establish the verification environment; establish verification procedures and criteria;... Please refer to the detailed content of the lecture!

91p hanlamcoman 26-11-2022 11 2   Download

In the paper "A verification framework for specification centered developments", we propose a verification framework for specification centered developments. In this framework, we firstly focus on improve the quality of specification then use such high-quality specification to drive the verification of the design and the implementation. This framework could be applied in domain of reactive systems with high automation, adaptation, and practicality.

12p runordie2 06-06-2022 9 2   Download

Lecture Software Engineering - Chapter 22: Verification and Validation, objectives: To introduce software verification and validation and to discuss the distinction between them; To describe the program inspection process and its role in Verification and validation; To explain static analysis as a verification technique; To describe the Cleanroom software development process.

46p tomjerry005 17-11-2021 15 1   Download

Multi-agent systems (MASs) have been recognized as a modern approach for software development where each of software components is independent and autonomous like agent. However, how to ensure the correctness of their designs before implementing is still an open and interesting problem.

11p vijichoo2711 04-06-2021 12 1   Download

In this paper, the thermal model of butt joint in Gas Metal Arc Welding (GMAW) is constructed and simulated based on ANSYS software to obtain welding temperature field. Low carbon steel with temperature-dependent thermal properties due to very high welding temperature is considered. Volumetric heat source is determined through series equations for different welding conditions.

7p chauchaungayxua11 23-03-2021 12 1   Download

In this chapter, the following content will be discussed: Software reliability, what are formal methods? typical situation, some concerns, some exaggerations, the unbearable easiness of grading, different types of software, verification methods,...

36p larachdumlanat126 31-12-2020 11 2   Download

In this chapter, the following content will be discussed: How can we check the model? What properties can we check? How to perform the checking? If it is so good, why learn deductive verification methods? If it is so constrained, is it of any use? Depth first search, start from an initial state, how can we check properties with DFS?...

74p larachdumlanat126 31-12-2020 14 1   Download

Lecture Formal methods in software engineering: Software verification using formal methods. In this chapter, the following content will be discussed: Formal methods in block handler, data invariant, block handler, block handler, selection criteria, formal clean room software engineering,...

21p larachdumlanat126 31-12-2020 15 2   Download

In this chapter, the following content will be discussed: Conditional correctness, weakest pre-condition, broad CAT of statements, assignment axiom, rules for sequential composition, rules for conditional,...

25p larachdumlanat126 31-12-2020 12 1   Download

In this section, we introduce the features of JML as they apply to the formal specification and verification of an individual function, such as the Factorial function that we specified and verified by hand in the previous section. We also show how JML allows us to specify run-time exceptions, providing a more robust vehicle than the pure Hoare triples in a real computational setting where exceptions actually occur.

20p larachdumlanat122 26-11-2020 17 1   Download

Bài giảng "Software quality assurance: Verification" cung cấp cho người học các kiến thức: Cách làm phần mềm, nhìn từ SE, mô hình phát triển phần mềm, hổ trợ thay đổi trong cách làm phần mềm, mô hình làm mẫu thử,... Mời các bạn cùng tham khảo.

30p abcxyz123_10 07-06-2020 24 1   Download

This paper presents the implementation of RGB↔YCbCr color space conversion circuits (IP-cores) necessary for many video designs. These IP-cores offer simplified 3x3 matrix multipliers used to convert three input color samples (RGB or YCbCr) to three output samples (YCbCr or RGB). The optimized structure of IP-cores uses only four multipliers (or XtremeDSP slices) to implement the RGB↔YCbCr transformation by taking advantage of the dependencies between coefficients in the conversion matrix.

4p caygaocaolon1 13-11-2019 26 0   Download