Filters








1,631,561 Hits in 6.7 sec

Using formal specifications to support testing

Robert M. Hierons, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick (+3 others)
2009 ACM Computing Surveys  
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

A.P. van der Meer, R. Kherrazi, M. Hamilton
2014 Electronic Proceedings in Theoretical Computer Science  
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

Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
2014 Journal of Robotics, Networking and Artificial Life (JRNAL)  
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]

Ian MacColl
1997 Human-Computer Interaction INTERACT '97  
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

Shaoying Liu
2009 Innovations in Systems and Software Engineering  
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++

Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
2017 Journal of Robotics, Networking and Artificial Life (JRNAL)  
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

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson
2010 2010 43rd Hawaii International Conference on System Sciences  
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]

J. Derrick, P. F. Linington, S. J. Thompson
1995 Integrated Network Management IV  
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]

Pedro Meseguer, Alun D. Preece
1996 Achieving Quality in Software  
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

Shagufta Shafiq, Nasir Mehmood Minhas
2014 Journal of Software Engineering and Applications  
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

Hongxin Hu, GailJoon Ahn
2008 Proceedings of the 13th ACM symposium on Access control models and technologies - SACMAT '08  
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]

Olivier Festor
1995 Integrated Network Management IV  
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]

J. Burmeister, A. Rennoch
1996 Protocol Test Systems VIII  
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

Georg Droschl
1999 Australasian Journal of Information Systems  
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]

Richard F. Paige, Jonathan S. Ostroff
2004 Lecture Notes in Computer Science  
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