Precise documentation of well-structured programs

Parnas, David Lorge; Madey, Jan; Iglewski, Michal

doi:10.1109/32.368133

Cited by 78 publications

(5 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In search of a model-based specification language accessible to domain experts, Parnas et al proposed TOG (Test Oracles Generator) from program documentation [143], [146], [149]. In their method, the documentation is written in fully formal tabular expressions in which the method signature, the external variables, and relation between its start and end states are specified [105].…”

Section: Model-based Specification Languagesmentioning

confidence: 99%

The Oracle Problem in Software Testing: A Survey

Barr

Harman

McMinn

et al. 2015

IIEEE Trans. Software Eng.

736

389

View full text Add to dashboard Cite

Testing involves examining the behaviour of a system in order to discover potential faults. Given an input for a system, the challenge of distinguishing the corresponding desired, correct behaviour from potentially incorrect behavior is called the "test oracle problem". Test oracle automation is important to remove a current bottleneck that inhibits greater overall test automation. Without test oracle automation, the human has to determine whether observed behaviour is correct. The literature on test oracles has introduced techniques for oracle automation, including modelling, specifications, contract-driven development and metamorphic testing. When none of these is completely adequate, the final source of test oracle information remains the human, who may be aware of informal specifications, expectations, norms and domain specific information that provide informal oracle guidance. All forms of test oracles, even the humble human, involve challenges of reducing cost and increasing benefit. This paper provides a comprehensive survey of current approaches to the test oracle problem and an analysis of trends in this important area of software testing research and practice.

show abstract

Section: Model-based Specification Languagesmentioning

confidence: 99%

The Oracle Problem in Software Testing: A Survey

Barr

Harman

McMinn

et al. 2015

IIEEE Trans. Software Eng.

736

389

View full text Add to dashboard Cite

show abstract

“…The paper ranked seventh is "Precise Documentation of Well-Structured Programs" coauthored by J. Madey [21] from Warsaw University. It proposes a new form of program documentation that is precise, systematic and readable.…”

Section: The Most Acknowledged Workmentioning

confidence: 99%

Polish Contribution to Software Engineering Research 1992–2021

SZYDŁOWSKA

Swacha

2023

Foundations of Computing and Decision Sciences

View full text Add to dashboard Cite

Since the collapse of the Soviet Bloc, Polish researchers in the software engineering area made a large e ort to close the gap developed during the times of the Iron Curtain and the ensuing limited access to Western technology. The question arises as to whether they eventually managed to attain – or maybe even to surpass the scientific output in this area of the developed Western countries. In this paper, we perform analysis on papers published in 16 high-quality software engineering journals within the last 30 years to measure the Polish contribution to the global scientific output in the area of software engineering. We observe how the Polish contribution changed in quantity in relation to the global scientific output in subsequent years. We also identify the journals that attracted the Polish authors the most, the institutions located in Poland that contributed the most, as well as the most productive Polish authors and the most acknowledged works (in terms of citation number) written by Polish authors. Moreover, we investigate the topics most often chosen by them.

show abstract

“…Tabular expressions (a.k.a. function tables) [12] are an effective approach for describing conditionals and relations, thus ideal for documenting many system requirements. They are arguably easier to comprehend and to maintain than conventional mathematical expressions.…”

Section: Tabular Expressionsmentioning

confidence: 99%

“…In our approach, we use tabular expressions (a.k.a. function tables) [12] for specification and the PVS proof assistant [9] for formal verification. Tabular expressions are a way to document system requirements as black-box, input-output relations that has proven to be practical and effective in industry [14].…”

Section: Introductionmentioning

confidence: 99%

Formal Verification of Real-Time Function Blocks Using PVS

Pang

Wang

Lawford

et al. 2015

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

A critical step towards certifying safety-critical systems is to check their conformance to hard realtime requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a compositional manner. We previously reported a formal approach to verifying function blocks (FBs) using tabular expressions and the PVS proof assistant. By applying our approach to the IEC 61131-3 standard of Programmable Logic Controllers (PLCs), we constructed a repository of precise specification and reusable (proven) theorems of feasibility and correctness for FBs. However, we previously did not apply our approach to verify FBs against timing requirements, since IEC 61131-3 does not define composite FBs built from timers. In this paper, based on our experience in the nuclear domain, we conduct two realistic case studies, consisting of the software requirements and the proposed FB implementations for two subsystems of an industrial control system. The implementations are built from IEC 61131-3 FBs, including the on-delay timer. We find issues during the verification process and suggest solutions.

show abstract

Precise documentation of well-structured programs

Cited by 78 publications

References 12 publications

The Oracle Problem in Software Testing: A Survey

The Oracle Problem in Software Testing: A Survey

Polish Contribution to Software Engineering Research 1992–2021

Formal Verification of Real-Time Function Blocks Using PVS

Contact Info

Product

Resources

About