Development of Correct-by-Construction Software using Product Lines

Abstract : We began the thesis by survey literature on SPLE and CbyC approaches in the State of the Art. Based on the overview and the insights obtained, we have analyzed the existing problems and suggested ways to solve them for our main goal. We have proposed in Chapter 2 a methodology to develop product lines such that the generated products are correct-by-construction. Our main intention is that a user does not need to know the product generation process but can receive a correct final product from selecting a configuration of features. Using the methodology, the final products are generated automatically and their correctness is guaranteed. Following this proposal, we have moved in Chapter 3 to define the FFML language that is used for writing modules. The reuse and modification mechanism, defined for the language and applied to all kinds of artifacts (specification, code and correctness proof), reduce the programming effort. In Chapter 4, we have focused on defining the composition mechanisms for composing FFML modules and embedded them into the FFML Product Generator tool. The evaluation of our methodology is performed through the development of two software product lines, the Bank Account SPL and the Poker SPL, the latter being a bit more complex than the former. In the evaluation, we have highlighted the advantages and the limitation of our methodology.
Document type :
Theses
Complete list of metadatas

Cited literature [67 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01720099
Contributor : Abes Star <>
Submitted on : Wednesday, February 28, 2018 - 7:27:07 PM
Last modification on : Saturday, December 21, 2019 - 3:42:57 AM
Long-term archiving on: Monday, May 28, 2018 - 10:37:08 AM

File

thesisThiKimDungPHAM.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01720099, version 1

Collections

Citation

Thi-Kim-Dung Pham. Development of Correct-by-Construction Software using Product Lines. Software Engineering [cs.SE]. Conservatoire national des arts et metiers - CNAM, 2017. English. ⟨NNT : 2017CNAM1138⟩. ⟨tel-01720099⟩

Share

Metrics

Record views

311

Files downloads

89