A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Using formal specifications to support testing
2009
ACM Computing Surveys
Preserved Fulltext
This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing. ...
Note that the term 'model-based' is used rather differently in model-based testing and model-based specification languages. ...
Acknowledgements This work was supported by EPSRC Formal Methods and Testing (FORTEST) grant GR/R43150. ...
doi:10.1145/1459352.1459354
fatcat:423uyowpgjaxljjli2u47rcpay
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques
2014
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We have developed a tool that allows us to convert ASD models to Spec Explorer, allowing us to do more complete verification of software systems using dynamic testing at little additional cost and effort ...
Formal methods and testing are two important approaches that assist in the development of high quality software. ...
If, for example, we want to test a specific action in the system, we can use a machine to select only those tests containing that particular action. ...
doi:10.4204/eptcs.141.1
fatcat:t7orl5r4fjdr3jyrk66egvhcku
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification
2014
Journal of Robotics, Networking and Artificial Life (JRNAL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a supporting method to generate a decision table from the formal specification in order to improve efficiency of the test design with formal methods. ...
We have implemented a supporting tool to generate a decision table. It automatically generates a skeleton decision table from the formal specification. ...
By using the supporting tool to generate a decision table, it is considered that the efficiency of the test design from a formal specification is improved. ...
doi:10.2991/jrnal.2014.1.3.1
fatcat:22tqu3zwevfjdco2ukc3dxf2hi
Specification-Based Testing of Interactive Systems
[chapter]
1997
Human-Computer Interaction INTERACT '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
I then outline a case study based research plan to extend an existing specification-based testing framework to incorporate multiparadigm user interface specifications. ...
In this paper I propose developing a framework for applying formal methods to testing of user interface software. ...
Formal methods have been combined with software testing to provide specification-based testing techniques that use a (formal) specification to support testing. ...
doi:10.1007/978-0-387-35175-9_113
fatcat:x3zn75ublnb45n376wrsmqpjpa
An approach to applying SOFL for agile process and its application in developing a test support tool
2009
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It offers a three-step specification approach to constructing formal specifications, and specification-based inspection and testing for verification and validation. ...
We have tested the approach in developing a prototype test support tool. ...
Fig. 3 Semi-formal specification of the test support tool Such a way allows us to see the new progress and to evaluate whether the new progress is in the correct direction. ...
doi:10.1007/s11334-009-0114-3
fatcat:5atf22ixmraxdb7w4ulkb6p77q
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++
2017
Journal of Robotics, Networking and Artificial Life (JRNAL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Our tool improves the efficiency of software testing process in using VDM++ that is one of the Formal Methods. ...
For software development using Formal Methods, we have developed a prototype of the boundary value test case automatic generation tool BWDM. ...
Acknowledgements This work was supported by JSPS KAKENHI Grant Number 24220001. ...
doi:10.2991/jrnal.2017.4.2.1
fatcat:ndmdh2v565hnvpskxk675ecuxm
Formality of the Security Specification Process: Benefits Beyond Requirements
2010
2010 43rd Hawaii International Conference on System Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An important difference among approaches to software requirements specification is the degree of formality of the specification process itself. ...
Our analysis shows that security requirements specified using a formal process are highly correlated with benefits that go beyond the requirements stage, compared to requirements specified using an informal ...
Support is described, but no specific measures to operationalize that support are given. ...
doi:10.1109/hicss.2010.212
dblp:conf/hicss/Romero-MarionaZR10
fatcat:rg2pk3nnfncdddbkqdrseaaruu
Formal Description Techniques for Object Management
[chapter]
1995
Integrated Network Management IV
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper examines the use of formal description techniques to the specification of managed objects. ...
Application of formal techniques can make the specifications more precise, reducing the ambiguity inherent in natural language, and can automate some or all of the process of implementation and testing ...
Formal Methods in the Testing Process The ultimate airn of using formal methods in the testing process is to develop tools which will assist with the generation of sensible tests from formal specifications ...
doi:10.1007/978-0-387-34890-2_54
fatcat:e73jfe5mwnaxvb2n3oyysdstn4
Assessing the Role of Formal Specifications in Verification and Validation of Knowledge‑Based Systems
[chapter]
1996
Achieving Quality in Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Many elements of this conceptual model can be effectively used to support V&V. ...
Formal specification techniques provide levels of description which support both verification and validation, and V&V techniques feed back to assist the development of the specifications. ...
On the other hand, the level of structure in formal specifications can be used to support structural testing. ...
doi:10.1007/978-0-387-34869-8_26
fatcat:fjpihax4hbdnfdzmhrrerml3s4
Integrating Formal Methods in XP—A Conceptual Solution
2014
Journal of Software Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Formal methods can be used at any stage of product development process to improve the software quality and efficiency using mathematical models for analysis and verification. ...
This will help the practitioners to understand the effectiveness of formal methods using in agile methods that can be helpful in utilizing the benefits of formal methods in industry. ...
Table 2 . 2 Present the use of XP practices with FM to improve software quality. Conceptual Model's Validation Support STUDY ID TITLE YEAR SUPPORTING CENCEPT STD-1 [30] Formal Agility. ...
doi:10.4236/jsea.2014.74029
fatcat:m2nzhwh7nbcbtgmy5cobgauhdy
Enabling verification and conformance testing for access control model
2008
Proceedings of the 13th ACM symposium on Access control models and technologies - SACMAT '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Also, we systematically articulate testing cases from formal specifications and validate conformance to the system design and implementation using those cases. ...
In this paper we propose a methodology to support automatic analysis and conformance testing for access control systems, integrating those features to Assurance Management Framework (AMF). ...
ACKNOWLEDGMENTS This work was partially supported by the grants from National Science Foundation (NSF-IIS-0242393 and NSF-DUE-0416042), Department of Energy Early Career Principal Investigator Award (DE-FG02 ...
doi:10.1145/1377836.1377867
dblp:conf/sacmat/HuA08
fatcat:kf5noufm2fgxdnw4awxlrd2nmq
MODE: a Development Environment for Managed Objects based on Formal Methods
[chapter]
1995
Integrated Network Management IV
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
But the development of such specifications is a difficult and time consuming task which must be supported by a powerful set of tools. ...
to be formally described. ...
Through the use of this algorithm it is possible to determine the behaviour specification for any given MO and thus open some issues to validate, test and verify extended GDMO specifications which is not ...
doi:10.1007/978-0-387-34890-2_52
fatcat:omyq3fwgwfdpzg3u6stayq2fwa
Application of a LOTOS based Test Environment on AAL5
[chapter]
1996
Protocol Test Systems VIII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this approach it is one of our intentions to be able to check a test suite against a formal specification without leaving the language (and its formal semantics) domain. ...
As a prerequisite, a formalized, but simplified, protocol or service specification is expected, which will be also used for the analysis of the test execution. ...
We would like to thank J. de Meer, technical leader of the TOPIC project, who invented and discussed with us the basic ideas of the distributed test system, and also B. ...
doi:10.1007/978-0-387-34988-6_4
fatcat:6fwejtbhcvfiddynqmalvyt2qy
A Case Study on the Application of PVS to Requirements Analysis
1999
Australasian Journal of Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
PVS is a tool for writing formal specifications and constructing proofs. Previously, the same requirements have been analyzed by means of testing supported by the IFAD Toolbox for VDM-SL. ...
This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control system ...
Tool support is known to be one of the success factors in formal specification based analysis. ...
doi:10.3127/ajis.v6i2.298
fatcat:cnk4l6h6b5gmdbb352crkrla44
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
specification-driven design. ...
to ANY client). ...
Unit tests can also be used to do regression testing at the end of coding, but in TDD, unit tests are seen as formal specifications that drive the design [1, p38 and p51]. ...
doi:10.1007/978-3-540-30472-2_7
fatcat:j33knyxssvdnvbfafomayubi7q
« Previous
Showing results 1 — 15 out of 1,631,561 results