Case Study: Testing a Formal Requirements Specification (TransitCard Ticketing System)
Specification-based class testing: A case study
... a case study demonstrating a com- plete process for specification-based class ...abstract specification written in Object- Z and concludes by exercising an implementation with test cases and ...
10
Quality Assurance through Rigorous Software Specification and Testing: A Case Study
... a case study, the BlackBoard Quiz Editor, how two rigorous software specification and testing methods, ...statistical testing, and their supporting tools could be combined and integrated with ...
9
MoL 2009 15: A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
... test case, and we compute the set of paths this test case may non-deterministically ...test case that follows a path to that ...test case, this means we couldn’t solve the attainment ...
58
On Agile Performance Requirements Specification and Testing
... one case study, twelve months were used to record the inputs to the system for the purpose of workload characterization ...performance requirements; Level 1 introduces a quantitative metric to ...
6
Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
... 4.11 Evaluation How to ensure that our formalization is faithful with the English description? To attack this problem we rely heavily on testing in our formal framework. We provide comprehensive unit tests ...
57
Case Study: Design and Implementation of an Ordering system using UML, Formal specification and Java Builder
... use case. 6.2 Testing phase Testing phase is the most critical one of the development process and is an integral part of every aspect of the development ...use case diagram were used to test ...
11
Formal Structured Specification for Web Application Testing
... test case requests a web page with ini- tial URL ...response specification only speci- fied statuscode="200", which means the test specifi- cation is expecting a status code of 200, ...
10
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
... a formal specification for a non-trivial concurrency API requires the right combination of rigor, executability, and ...A formal specification must also be written as an elaboration of a ...
17
Enhancing the Fusion Method to Fusion B Requirements Engineering and Formal Specification
... • The predicate of the operation is placed after the keyword Pre. Accord- ing to the following principle of design (design by contract), the user environment of the system operation must meet the precondition if the ...
202
Formal Specification of SNMP MIB s Using Action Semantics: The Routing Proxy Case Study
... the formal description of the behavior of MIB objects. Formal descriptions may be used as the basis for systematic development, verification, and automatic generation of ...a case study, we ...
14
Computer-aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings
... a testing process for assuring that the statechart-assertion is a good representative of its corresponding NL ...NL specification it is OK to turn all lights red if the car speed drops below 1m/sec only for ...
25
Formal Specification Driven Development
... statistical study for FSDD is needed for quality and ...this study will concentrate on the quality urpose of determining if this formalized combination of the TDD and BDD approaches is a better technique in ...
210
Formal Specification of UML Use Case Diagram - A CASL based approach
... a formal language derived from dynamic logic to give formal semantics for parts of UML class and state machine ...for requirements engineering, as these authors see it, but from our perspective, it ...
5
Enterprise Architecture Specification Case Study
... business case, synthesis of concerns and principles as relevant for the deliverables of the project, and evaluation of alternative models (Bloom et ...business case, the project charter and project ...
16
Integrating Formal Methods Tools : A Case Study
... 2.3 JML annotations inside methods In addition to making it possible to describe the behavior of a class and its methods from the perspective of a user of that class, JML can also be used to describe behavior inside a ...
50
Requirements Specification and Testing Part 1
... Requirements traceability Challenges of requirements traceability: – Traces have to be identified and recorded among numerous, heterogeneous entity instances (document, models, code, ...
22
Requirements / Use Case Specification
... Use Case Models organize Functional Requirements in ways meaningful to users, describing their interactions with the system in support of their goal(s). l Use Cases are high-level descriptions of system ...
12
Formal specification of AI systems : four case studies
... The control loop of the specification proved to be the hardest part. This is because the user is intended to have a great many options when using the system. For example, the user may want to start a session with ...
18
Formal Specification and Verification
... transition systems, abstract state machines, specifications based on set theory Axiom-based specification. Declarative specifications[r] ...
40
The formal specification of ELEKTRA
... the case of relations, each argument must be checked to see whether it is a variable, constant or ...the case of functions, a checkmust be made of its arguments, and so on ...the case of variables, ...
62