A methodology for evaluating test coverage criteria of high levelPetri nets

Ding, Junhua; Clarke, Peter J.; Argote-Garcia, Gonzalo; He, Xudong

doi:10.1016/j.infsof.2009.06.014

Cited by 4 publications

(1 citation statement)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Definitionuse coverage measures the percentage of pairs of definitionuse executed by a test input to all interested pairs of definition-use in the program under test. There are many ways to evaluate the adequacy of test coverage criteria [8]. In this paper, code for evaluating the test coverage is instrumented into the program under test so that test coverage information can be generated whenever a test input is executed.…”

Section: B Test Coverage Criteriamentioning

confidence: 99%

Self-Checked Metamorphic Testing of an Image Processing Program

Ding

et al. 2010

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement

Self Cite

View full text Add to dashboard Cite

Metamorphic testing is an effective technique for testing systems that do not have test oracles, for which it is practically impossible to know the correct output of an arbitrary test input. In metamorphic testing, instead of checking the correctness of a test output, the satisfaction of metamorphic relation among test outputs is checked. If a violation of the metamorphic relation is found, the system implementation must have some defects. However, a randomly or accidently generated incorrect output may satisfy a metamorphic relation as well. Therefore, checking only metamorphic relations is not good enough to ensure the testing quality. In this paper, we propose a self-checked metamorphic testing approach, which integrates structural testing into metamorphic testing, to detect subtle defects in a system implementation. In our approach, metamorphic testing results are further verified by test coverage information, which is automatically produced during the metamorphic testing. The effectiveness of the approach has been investigated through testing an image processing program.

show abstract

Section: B Test Coverage Criteriamentioning

confidence: 99%

Self-Checked Metamorphic Testing of an Image Processing Program

Ding

et al. 2010

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement

Self Cite

View full text Add to dashboard Cite

show abstract

Application of metamorphic testing monitored by test adequacy in a Monte Carlo simulation program

Ding

2016

Software Qual J

View full text Add to dashboard Cite

Enforcement of Role Based Access Control in Social Network Environments

Ding

2012

2012 IEEE Sixth International Conference on Software Security and Reliability Companion

Self Cite

View full text Add to dashboard Cite

Role-based access control (RBAC) policies have been implemented in many social network environments to enforce the security. However, enforcing RBAC policies in a social network environment also brings the design complexity and potential security vulnerabilities which may cause insecure information flows. In this paper, we present a framework for formally modeling and analyzing RBAC policies using high level Petri nets and model checking techniques. The high level Petri nets called PZ nets that have been developed based on Predicate/Transitions nets and Z notation have significant benefits for modeling security models through combining modeling capacities from both formalisms, and the analysis technique based on model checking tool SPIN provides an automatic conformance checking of RBAC policies in applications. A case study of the enforcement of RBAC policies in an online file sharing system is performed to demonstrate the effectiveness of the proposed approach.

show abstract

A methodology for evaluating test coverage criteria of high levelPetri nets

Cited by 4 publications

References 27 publications

Self-Checked Metamorphic Testing of an Image Processing Program

Self-Checked Metamorphic Testing of an Image Processing Program

Application of metamorphic testing monitored by test adequacy in a Monte Carlo simulation program

Enforcement of Role Based Access Control in Social Network Environments

Contact Info

Product

Resources

About