2013 International Mutli-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s) 2013
DOI: 10.1109/imac4s.2013.6526469
|View full text |Cite
|
Sign up to set email alerts
|

Enhanced modified condition/decision coverage using exclusive-nor code transformer

Abstract: In regulated domains such as aerospace and safety critical domains, software quality assurance is subjected to strict regulations such as the DO-178B standard. MC/DC is a white box software testing criteria aiming to prove all the conditions involved in a predicate that can influence the predicate value in the desired way. Though MC/DC is a coverage criterion, existing automated test data generation approaches like CONCOLIC testing do not support MC/DC. In this paper, we propose an automated technique to gener… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
10
0

Year Published

2016
2016
2018
2018

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 14 publications
(10 citation statements)
references
References 8 publications
0
10
0
Order By: Relevance
“…of no. name services classes invocations messages events assignments 1 Quadratic 4 3 6 6 5 3 2 Cramer 7 3 10 9 9 8 3 Geometry 5 4 7 12 8 4 4 Calculator 5 0 5 8 6 6 5 Producer Consumer 4 3 7 8 6 3 6 Healthcare 10 4 13 17 13 11 7 CAssume 4 2 6 6 5 3 8 Bug Godboley et al (2013aGodboley et al ( , 2013bGodboley et al ( , 2015Godboley et al ( ,2016aGodboley et al ( , 2016bGodboley et al ( , 2016cGodboley et al ( , 2016d Proposed approach Black-box testing for SOA HiRSA Ma et al (2008) 4Lubke et al (2009) 5Karimi and Nasser (2009) × 6…”
Section: Comparison With Related Workmentioning
confidence: 99%
See 2 more Smart Citations
“…of no. name services classes invocations messages events assignments 1 Quadratic 4 3 6 6 5 3 2 Cramer 7 3 10 9 9 8 3 Geometry 5 4 7 12 8 4 4 Calculator 5 0 5 8 6 6 5 Producer Consumer 4 3 7 8 6 3 6 Healthcare 10 4 13 17 13 11 7 CAssume 4 2 6 6 5 3 8 Bug Godboley et al (2013aGodboley et al ( , 2013bGodboley et al ( , 2015Godboley et al ( ,2016aGodboley et al ( , 2016bGodboley et al ( , 2016cGodboley et al ( , 2016d Proposed approach Black-box testing for SOA HiRSA Ma et al (2008) 4Lubke et al (2009) 5Karimi and Nasser (2009) × 6…”
Section: Comparison With Related Workmentioning
confidence: 99%
“…Motlagh (2013) 7Yotyawilai and Taratip (2014) 8Kumar and Singh (2015) 9Kumar (2015) 10Nonchot and Taratip (2016) 11 Godboley (2013), Godboley and Mohapatra × (2013) and Godboley et al (2013aGodboley et al ( , 2013bGodboley et al ( , 2015Godboley et al ( , 2016aGodboley et al ( , 2016bGodboley et al ( , 2016cGodboley et al ( , 2016d Proposed approach Kumar (2015) The proposed algorithms give coverage for xml schema (XSD) elements of WSDL. In our proposed approach, we also compute the hit ratio percentage for SOA-based applications.…”
Section: Comparison With Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…In Algorithm 1, lines 1 to 2 represent the first observation and lines 3 to 5 represent the second observation. Algorithm 2 deals with the Ex-NCT [10] module. This algorithm takes a program written in C as input.…”
Section: Assumptionsmentioning
confidence: 99%
“…DCT is implemented in SMCDCT to generate test cases for C programs. This technique is computationally more efficient as compared with non-distributed concolic testing techniques [3][4][5][9][10][11]. The coverage analyzer accepts the non-transformed program and the generated test cases as inputs and calculates the MC/DC percentage as output.…”
Section: Introductionmentioning
confidence: 99%