Questions tagged [design-by-contract]

Question 1

I read Bertrand Meyer's paper on design by contract yesterday and it is not very clear for me what is the relationship between DbC and testing, since it appears that without testing I cannot be ...

Question 2

I am currently working on a project using Flask to make REST apis, blablabla. But, working with request validation tools that we use, I am thinking of whether it would be necessary to validate the ...

Question 3

For systems that are built on top of diverse tech stacks, including both static and dynamic types languages, what is in practice some ways to have the API contracts published and enforced? Some wiki ...

Question 4

I have a large project that is build contract based, where all functions verify input parameters and return values. But there are also cases where they for example verify that a call to a function is ...

Question 5

FIRST AND FOREMOST: Forgive me if the following question falls into the "off topic" category of this StackExchange, due to its slightly opinion polling nature. This is not my intention, I am simply ...

Question 6

An interesting question I've stumbled upon: Let's assume a java application creates a data model, converts this data to a json object with two fields and uploads it to a server: { "FirstName": "...

Question 7

I am writing a library for some data structures in C that will be used in embedded systems. I have had issues designing and coming up with a solid error handling plan. This API is only subject to ...

Question 8

According to LSP wiki: Substitutability is a principle in object-oriented programming stating that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with ...

Question 9

I'm in the early stages of learning design-by-contract (DbC). And I think that if followed correctly, it can produce very high quality software. This gets me wondering though... why isn't it used a ...

Question 10

I'm writing a handler for download/import of data. After inserting data to the database, several import jobs can be called, but usually it is just one. So there are two methods to get the import job(s)...

Question 11

Does an OOP design that uses a Design by Contract mean the designer is using interfaces to create a "contract." The term "contract" is used quite often when discussing OOP interfaces, so I didn't ...

Question 12

I am trying to write Stack code using the two techniques i.e Design by Contract vs Defensive Programming but I am not sure if I am doing right or not.I am not throwing any kind of exception or error ...

Question 13

I'd heard about Design by Contract a long time ago and always was confused by this question. The approach uses real-world client-supplier analogy to describe caller-callee relationships. It stays, ...

Question 14

I have a client that's requested a detailed Scope of Work/Statement of Work. Upon looking into it, it seems they want timelines, costs, features, the whole nine. In order to do a detailed SOW, one ...

Question 15

Design by contract is based on Hoare logic where a proof of correctness of a program is established by reasoning over pre/post conditions and invariants. What are the means and prerequisites of a ...

Stack Exchange Network

Questions tagged [design-by-contract]

Is design by contract useful without unit testing?

Request and response validation

How do you enforce API contracts across mutliple stacks?

Contract based programming with verifications

API DESIGN: Store Table of function pointers in client or dynamically in api service

Concept to validate objects across languages?

Should I assert the preconditions of functions in a public API?

How to loosen input contracts by inheritance?

Are there issues in using Design by Contract effectively within the typical software development process? [closed]

Is expecting the API user to implement an UnsupportedOperationException okay?

Is Design by Contract the same as using Interfaces to create a "contract"?

Stack implementation by Design by Contract vs Defensive Programming

In design by contract, why preconditions should be ensured by a client and postconditions - by a supplier?

Detailed Scope of Work.. Waterfall?

What makes design by contract a tool?

Hot Network Questions