Functional program testing and analysis
Functional program testing and analysis
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Functional documents for computer systems
Science of Computer Programming
Towards a formal semantics of Parnas tables
Proceedings of the 17th international conference on Software engineering
Tabular representations in relational documents
Relational methods in computer science
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicative programming Part I
Communications of the ACM
A generalized control structure and its formal definition
Communications of the ACM
Communications of the ACM
The Core Method for Real-Time Requirements
IEEE Software
Predicate Logic for Software Engineering
IEEE Transactions on Software Engineering
Compilation of Z Specifications into C for Automatic Test Result Evaluation
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Improving Software Tests Using Z Specifications
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Specifying and simulating the externally observable behavior of modules
Specifying and simulating the externally observable behavior of modules
Specifying and Testing Software Components using ADL
Specifying and Testing Software Components using ADL
STG: a tool for generating symbolic test programs and oracles from operational specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Systematically deriving partial oracles for testing concurrent programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Panel discussion: is ISSTA testing research relevant to industrial users?
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
What Is Software Testing? And Why Is It So Hard?
IEEE Software
An Easily Extensible Toolset for Tabular Mathematical Expressions
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Specification Based Testing: Towards Practice
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Java Specification Extension for Automated Test Development
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
An Execution Semantics for MSC-2000
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
UniTesK Test Suite Architecture
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
KVEST: Automated Generation of Test Suites from Formal Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
SC(R)3: towards usability of formal methods
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Structured programming: a minor part of software engineering
Information Processing Letters - Special issue: Contribution to computing science
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software
Proceedings of the 19th IEEE international conference on Automated software engineering
Empirical Software Engineering
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Developing maintainable software: the READABLE approach
Decision Support Systems
Industrial Evaluation of a Log File Analysis Methodology
WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
Testing object-oriented industrial software without precise oracles or results
Communications of the ACM
Automatic Testing of Object-Oriented Software
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Using Dynamic Symbolic Execution to Improve Deductive Verification
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Document based rational software development
Knowledge-Based Systems
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
Component architecture of model-based testing environment
Programming and Computing Software
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
An experimental assessment of module documentation-based testing
Information and Software Technology
An automated framework for software test oracle
Information and Software Technology
Evolving a test oracle in black-box testing
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Hi-index | 0.02 |
This paper illustrates how software can be described precisely using LD-relations, how these descriptions can be presented in a readable manner using tabular notations, and one way such descriptions can be used to test programs. We describe an algorithm that can be used to generate a test oracle from program documentation, and present the results of using a tool based on it to help test part of a commercial network management application. The results demonstrate that these methods can be effective at detecting errors and greatly increase the speed and accuracy of test evaluation when compared with manual evaluation. Such oracles can be used for unit testing, in situ testing, constructing self-checking software, and ensuring consistency between code and documentation.