Filters








4 Hits in 7.4 sec

"Have I Written Enough Properties?" - A Method of Comparison Between Specification and Implementation [chapter]

Sagi Katz, Orna Grumberg, Danny Geist
1999 Lecture Notes in Computer Science  
We suggest four comparison criteria, each revealing a certain dissimilarity b e t ween the implementation and the speci cation.  ...  Given a model of a design or implementation and a temporal logic formula that describes a speci cation, model checking determines whether the model satis es the speci cation.  ...  Acknowledgment: We thank Ilan Beer for suggesting to look into the problem of coverage in model checking. The rst author thanks Galileo Technology for the opportunity t o w ork on the subject.  ... 
doi:10.1007/3-540-48153-2_21 fatcat:a3r3rptofzdwdc6kleibhk2c5y

Comparative Evaluation of the State-of-art Requirements-based Test Case Generation Approaches

Ahmad Mustafa, Wan M.N. Wan-Kadir, Noraini Ibrahim
2017 International Journal on Advanced Science, Engineering and Information Technology  
The testing process ensures that a software is aligned with the user specification and requirements.  ...  The quality of the generated test cases has a significant impact on efficiency and effectiveness of the testing process.  ...  Similarly, in black box testing, it addresses "Have I written enough properties?"  ... 
doi:10.18517/ijaseit.7.4-2.3409 fatcat:b577jozlf5cqdlp453zaydlkea

Coverage in interpolation-based model checking

Hana Chockler, Daniel Kroening, Mitra Purandare
2010 Proceedings of the 47th Design Automation Conference on - DAC '10  
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation.  ...  This re-use permits a quick conclusion of the vast majority of tests, and enables the computation of a coverage measure with 96% accuracy with only 5x the runtime of the Model Checker.  ...  Intuitively, coverage metrics answer the question "Have I written enough properties?".  ... 
doi:10.1145/1837274.1837320 dblp:conf/dac/ChocklerKP10 fatcat:5ufmflnutjdonfiocfinafb2fa

Computing Mutation Coverage in Interpolation-Based Model Checking

Hana Chockler, Daniel Kroening, Mitra Purandare
2012 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation.  ...  This re-use permits a a rapid completion of the vast majority of tests, and enables the computation of a coverage measure with 96% accuracy with only 5x the runtime of the Model Checker.  ...  Intuitively, coverage metrics in formal methods answer the question "Have I written enough properties?".  ... 
doi:10.1109/tcad.2011.2180382 fatcat:4qqi62whgvddjhmxho3jjz2qdq