Một phương pháp để xác minh yêu cầu hiệu suất và tạo môi trường kiểm thử Dịch bởi AI Springer Science and Business Media LLC -
Waleed Abdeen, Xingru Chen, Michael Unterkalmsteiner
Tóm tắtKiểm thử dựa trên mô hình (MBT) là một phương pháp hỗ trợ thiết kế và thực hiện các trường hợp kiểm thử thông qua các mô hình xác định hành vi mong muốn của hệ thống đang được kiểm thử. Trong khi có những tổng quan tài liệu có hệ thống về MBT nói chung, thì tình hình hiện tại về việc mô hình hóa và kiểm thử các yêu cầu hiệu suất đã nhận được ít sự chú ý hơn nhiều. Do đó, chúng tôi đã tiến hành một nghiên cứu lập bản đồ có hệ thống về kiểm thử hiệu suất dựa trên mô hình. Sau đó, chúng tôi nghiên cứu các đặc tả yêu cầu phần mềm bằng ngôn ngữ tự nhiên để hiểu các yêu cầu về hiệu suất thường được xác định như thế nào và ở mức độ nào. Vì không có kỹ thuật MBT nào đã xác định được lợi ích chính của việc mô hình hóa, đó là phát hiện các lỗi trong các đặc tả yêu cầu, chúng tôi đã phát triển phương pháp Xác minh yêu cầu hiệu suất và Tạo môi trường kiểm thử (PRO-TEST). Cuối cùng, chúng tôi đã đánh giá PRO-TEST trên 149 đặc tả yêu cầu. Chúng tôi đã tìm thấy và phân tích 57 nghiên cứu chính từ nghiên cứu lập bản đồ có hệ thống và trích xuất 50 mô hình yêu cầu hiệu suất. Tuy nhiên, những mô hình đó không đạt được các mục tiêu của MBT, đó là xác minh yêu cầu, đảm bảo tính khả thi của chúng và tạo ra các trường hợp kiểm thử tối thiểu cần thiết. Chúng tôi đã phân tích 77 tài liệu Đặc tả yêu cầu phần mềm (SRS), trích xuất 149 yêu cầu hiệu suất từ những SRS đó và minh họa rằng với PRO-TEST, chúng tôi có thể mô hình hóa các yêu cầu hiệu suất, tìm ra các vấn đề trong những yêu cầu đó và phát hiện các yêu cầu còn thiếu. Chúng tôi đã phát hiện ba yêu cầu không thể định lượng, 43 yêu cầu không được định lượng và 180 tham số chưa được xác định trong 149 yêu cầu hiệu suất đã được mô hình hóa. Hơn nữa, chúng tôi đã tạo ra 96 môi trường kiểm thử từ các mô hình đó. Bằng cách mô hình hóa các yêu cầu hiệu suất với PRO-TEST, chúng tôi có thể xác định các vấn đề trong các yêu cầu liên quan đến tính mơ hồ, khả năng đo lường và độ đầy đủ của chúng. Ngoài ra, nó cho phép tạo ra các tham số cho các môi trường kiểm thử.
Dealing with software process requirements complexity: an information access proposal based on semantic technologiesSpringer Science and Business Media LLC - Tập 22 - Trang 527-542 - 2016
Ricardo Eito-Brun, Antonio Amescua
Organizations developing software for critical sectors like aerospace, automotive, and medical systems need to apply process requirements coming from different sources: industrial standards, customer-provided requirements, and procedures from internal quality management systems. In these situations, software teams need to deal with complex sets of process requirements that govern different aspects of their work. This paper describes the development of a collaborative, web-based solution to improve access to process requirements. The solution makes use of semantic technologies to handle the context of process requirement. Requirements are contextualized by linking them to activities, tasks, and work products. With this tool, software engineers have a single point of access to all the applicable process requirements, avoiding the risk of missing relevant information.
A framework to measure and improve the quality of textual requirementsSpringer Science and Business Media LLC - Tập 18 - Trang 25-41 - 2011
Gonzalo Génova, José M. Fuentes, Juan Llorens, Omar Hurtado, Valentín Moreno
Improving the quality of software demands quality controls since the very beginning of the development process, i.e., requirements capture and writing. Automating quality metrics may entail considerable savings, as opposed to tedious, manually performed evaluations. We present some indicators for measuring quality in textual requirements, as well as a tool that computes quality measures in a fully automated way. We want to emphasize that the final goal must be measure to improve. Reducing quality management to the acquisition of a numerical evaluation would crash against the strong opposition of requirements engineers themselves, who would not see in the measurement process the aid of a counselor, but a policeman mechanism of penalties. To avoid this, quality indicators must first of all point out concrete defects and provide suggestions for improvement. The final result will not only be an improvement in the quality of requirements, but also an improvement in the writing skills of requirements engineers.
On the systematic transformation of requirements to specificationsSpringer Science and Business Media LLC - Tập 19 - Trang 397-419 - 2013
Zhi Li, Jon G. Hall, Lucia Rapanotti
Formal approaches to development are widely acknowledged to have difficulty in the validation of real-world requirements; in contrast, non-formal approaches find it difficult to identify the formal structures in requirements that are useful in a solution. That the problems that computing treats are embedded in the real world with solutions being an essentially formal machine means this dichotomy will always exist, with some new approach to the development needed which can draw a boundary between what is formalised and what can be left informal. In this paper, we show how the natural cause-and-effect structures that can be found in non-formal requirements descriptions can be used systematically to arrive at a software specification. The theoretical contribution of the work is the formalisation of Jackson’s idea of problem progression in his Problem Frames framework through the use of a graph grammar to capture problem models as graphs and their manipulation as transformations. The approach is illustrated through a substantial benchmark example—Swartout’s and Balzer’s package router. We also report on the results of an initial empirical evaluation of the approach based on a prototype problem progression tool we have constructed.
Requirements engineering for e-business advantageSpringer Science and Business Media LLC - Tập 11 - Trang 4-16 - 2005
Steven J. Bleistein, Karl Cox, June Verner, Keith T. Phalp
As a means of contributing to the achievement of business advantage for companies engaging in e-business, we propose a requirements engineering framework that incorporates a business strategy dimension. We employ Jackson’s Problem Frames approach, goal modeling, and business process modeling (BPM) to achieve this. Jackson’s context diagrams, used to represent business model context, are integrated with goal models to describe the requirements of the business strategy. We leverage the paradigm of projection in both approaches as a means of simultaneously decomposing both the requirement and context parts, from an abstract business level to concrete system requirements. Our approach maintains traceability to high-level business objectives via contribution relationship links in the goal model. We integrate use of role activity diagrams to describe business processes in detail where needed. The feasibility of our approach is shown by a well-known case study taken from the literature.
