Home

Recordings from Achieving Safety Compliance available

Test And Verification Services Blog - 14 hours 27 sec ago

We can now confirm that the slides and recordings from the recent “Achieving Safety Compliance” webinar are now available for download from here.

Please click the link to each speakers talk to access the recordings.

The post Recordings from Achieving Safety Compliance available appeared first on TVS.

Categories: Software Testing

Behavior-Driven Development – What you need to know!.

Behavior-Driven Development (BDD) was developed by Dan North as a response to the issues encountered teaching test-driven development. It evolved out of established agile practices and was designed to make them more accessible and effective for teams new to agile software delivery. More importantly it provides a methodology for delivering software that meets client expectations and business needs. When combined with a Zero Known Defect (ZKN) approach it can deliver rock-solid software into production environments with no known issues.

At our Intelligent Testing Conference in Bristol on 18th June, Colin Deady, a Technical Test Manager at Capita and strong Shift Left advocate, will share practical ways that  BDD with ZKD has been used to improve the efficiency and effectiveness of both testing and development, enabling his teams to meet on client commitments with certainty.

Can it work for your organisation? If you want to find out more and hear from six other speakers about improving the efficiency and effectiveness of software testing then come along to the Intelligent Testing conference. It’s free to attend but places are limited so register now (link).

You can find out more about Colin’s talk and the conference here.

The post Behavior-Driven Development – What you need to know!. appeared first on TVS.

Categories: Software Testing

Model-Based Software Engineering – what you need to know!

Test And Verification Services Blog - 15 hours 33 min ago

Model-Based Software Engineering (MBSE) is growing in popularity in response to the increasing complexity of modern software and the need for more effective and predictable approaches to software development.

If you’d like to find out more about model-based design, automatic code generation and the benefits of dynamic verification and validation tools then join us at our Intelligent Testing conference on 18th June where Richard Anderson of Mathworks will provide an introduction and explain how the use of processor-in-the-loop (PIL) and Simulink can be used for simulations, test case reuse and capturing performance and coverage metrics.

As well as Richard’s presentation, you’ll be able to listen to six other talks on a variety of software testing topics at our Intelligent Testing conference, plus exchange ideas and network with other test professionals.

And it’s free to attend – you can find out more and register here.

Places are going fast so don’t delay.

The post Model-Based Software Engineering – what you need to know! appeared first on TVS.

Categories: Software Testing

High-Level Synthesis : New Driver for RTL Verification

Test And Verification Services Blog - Tue, 26/05/2015 - 06:43

What else can be done to ensure the quality of the generated RTL code?   For functional verification, an auto formal tools, like Real Intent’s Ascent IIV product can be used to ensure that basic operation is correct.

The IIV tools will automatically generate sequences and detect whether incorrect or undesirable behaviour can occur.

Read more.

The post High-Level Synthesis : New Driver for RTL Verification appeared first on TVS.

Categories: Software Testing

Your #1 BugMagnet requested feature now works

Gojko Adzic's blog - Mon, 25/05/2015 - 14:25

BugMagnet 0.8, pushed out to the Chrome Extension store today, allows users to define custom edge cases, boundaries and interesting examples. This was by far the most requested feature since BugMagnet came out, so I certainly hope that the new version helps people be more productive while testing.

Previously, users had to change the main config file and re-build the extension from the local source files. This was a hassle because it required a development environment setup, plus if effectively required users to maintain their own version of the extension and follow source code updates.

bugmagnet-configThe new version makes configuration changes trivial: Just click on the new “Configure BugMagnet” option in the menu, and you’ll see a pop-up window with the option to add local files. For a description of the configuration file format, see the Github repo main page.

This also means that we can distribute more usage-specific configuration files in the main repository. Where users previously asked for configuration file changes to be merged with the main repository, I had a really difficult decision to make between balancing things that are useful to the majority and adding interesting boundary conditions. No more! Because now people can load whatever they want, and we can avoid overcomplicating menus for users who don’t need all the additional use cases, I’m happy to take in pull requests for additional libraries of examples. I’ll distribute them through the extras folder on Github, and later make a nice web page that allows people to add such config files with one click.

To get started with BugMagnet, grab it from the Chrome Web store.

In other news, Brian Goad ported BugMagnet to Firefox. You can grab it from the Mozilla Add-ons page. The Firefox version does not support config files yet, but I hope it will do shortly.

Categories: Agile, Software Testing

Mentor announces the Questa X-Value Verification Solution

Test And Verification Services Blog - Mon, 25/05/2015 - 11:25

Mentor Graphics announces availability of a new solution for X-value verification in register transfer level (RTL) and gate level designs.

X-values are symbols that represent unknown voltage levels of signals in digital IC.

Read more.

The post Mentor announces the Questa X-Value Verification Solution appeared first on TVS.

Categories: Software Testing

Make The Dirt Pay

James Thomas' blog - Fri, 22/05/2015 - 14:14
Sometimes, perhaps when you're under time pressure and on a mission and in a part of the product you're not familiar with, you bump into issue after issue after issue trying to get to the thing you just have to get tested right now.

Maybe you looked at the doc, but really you only skimmed it because your boss was on your back, a pain in the neck, giving you a headache and tapping his wrist.

Maybe you noticed there was a warning in the log file, but it looked a bit internal and you dismissed it because some output was produced and the product manager is standing in the doorway editing her MS Project plan and tutting heavily.

Maybe you hopefully copied the conventions of other commands in the config file, or just plain guessed at the syntax for the bits you added, because the end of the sprint is tomorrow and the Scrum Master's definition of done is all about the done and less about the definition.

Maybe you asked somebody else, an expert, who had just the knowledge you need, but because you were in a hurry and they're also overloaded, you ended up with a shallow understanding and now their words of wisdom are just wisps of what-the? So you're reduced to feverishly trying random inputs hoping to defeat Probability and somehow magic up the answer the project wants even though by now even if you miraculously happened upon it you probably wouldn't be able to tell.

... Deep breath ...

Congratulations! You have arrived at a rare and privileged position: you are now your user.

Users generally don't know your product inside out. Frankly, most users wouldn't use your product at all if they could get what they need with less effort, hassle, expense or whatever resource is most important to them.

Many users don't pay attention to doc, or warning flags or the messages in the warnings that they don't understand or take time to learn how to do the stuff they don't need often. They just want the result. And they usually need it now, or earlier.

You are seeing the dirt that your users see, for the kinds of reasons your users see it. And that dirt is pay dirt. So don't just sigh and consign that nightmare to the brain bin when you get to the end of your task. Try to make the most of it by using your experiences to help to find ways to make the product better, and ensure that your product continues to be the one that gives your users their result in a timely fashion at the right cost for them.
Image: https://flic.kr/p/3X8i7s
Categories: Software Testing

Cadence Introduces Indago Debug Platform

Test And Verification Services Blog - Fri, 22/05/2015 - 06:25

The Cadence Indago Debug Platform is a new debugging solution which reduces the time to identify bugs in a design by up to 50 percent compared to traditional signal- or transaction-level debug methods.

The Indago platform and associated debugging apps are currently available for early adopters.

Read more.

The post Cadence Introduces Indago Debug Platform appeared first on TVS.

Categories: Software Testing

Mike Bartley (CEO and Founder, TVS) to present at Embedded Safety and Security Summit 2015 on “Advanced Verification techniques for DO-254”

Test And Verification Services Blog - Thu, 21/05/2015 - 11:29

Hardware verification has made many advances in recent years: constrained random testing, functional and code coverage, assertion-based verification, metrics-driven verification, formal verification, requirements-based verification, and many more.

As the complexity of FPGA designs used in avionics increases then the need to move away from directed testing to these more advanced techniques becomes more important. However, how do we move to such techniques and still demonstrate compliance to avionics development standards (such as DO254)?

In this workshop which is going to be held on 17 June at Bangalore, T&VS provides an overview of the advanced verification techniques which T&VS have used extensively for a number of years both in ASIC and FPGA development. More importantly, T&VS will show how these techniques can be used in a DO254 compliance flow.

Read more.

The post Mike Bartley (CEO and Founder, TVS) to present at Embedded Safety and Security Summit 2015 on “Advanced Verification techniques for DO-254” appeared first on TVS.

Categories: Software Testing

The SoC Mixed-Signal Verification Challenge

Test And Verification Services Blog - Thu, 21/05/2015 - 08:07

Industry estimates suggest that more than 60% of SoC design re-spins at 45nm and below are due to mixed-signal errors.

This paper by Cadence discusses co-simulation and the wide range of approaches available, including a metric driven approach.

Read more.

The post The SoC Mixed-Signal Verification Challenge appeared first on TVS.

Categories: Software Testing

New release of asureSIGN to support Requirements Management and Signoff

Test And Verification Services Blog - Wed, 20/05/2015 - 14:00

TVS is pleased to announce that the May release of asureSIGN is now available with 3 major new features: a Doors interface via a ReqIF interface, a history feature (to track changes in requirements, test plans, etc.) and improved multi-user support.

asureSIGN is a flexible tool which can be used for the following:

  • Requirements Management: Top level Requirements are captured, refined into sub features and atomic level features.
  • Verification management: High level Test plans are captured and linked to the atomic level features outlined above. The test plan can be refined to atomic level test plans. Hence, requirements are mapped to test plans and vice-versa. Test results are captured during the project allowing users to track test plan progress and hence requirements sign-off.
  • Standards compliance: Proof of implementation of requirements through test results as required by the standards or guidelines which are mandatory for industries such as automotive, avionics, defence, rail, nuclear, industrial, etc.

Future 2015 releases will include better integration with Simulink and Jira; improved analysis of the impact of proposed changes; as well as Qualification Kit for avionics, automotive, etc.

You can request your evaluation by emailing mike@testandverification.com

Read more.

The post New release of asureSIGN to support Requirements Management and Signoff appeared first on TVS.

Categories: Software Testing

Continuous Delivery and DevOps: Moving from Staged to Pervasive testing

Test And Verification Services Blog - Wed, 20/05/2015 - 08:34

Continuous delivery of software is invaluable in enabling companies to respond more quickly to changing markets. But the thought of continuous delivery is often scary for testers who are more familiar with long staged test cycles. So how do you move from yearly releases to weekly releases and what impact does this have on the way you test your service?

At our Intelligent Testing conference in Bristol on 18th June, Rob Lambert, Engineering Manager at New Voice Media, serial blogger and author of a number of testing books and articles, will be talking about how they managed to do this at NVM very successfully. They needed to think differently – could you?

If you want to find out more about their test strategy, the core principles they adopted and the testing approaches they put in place join us on the 18th June. As well as Rob’s keynote presentation, there are six other great talks on a variety of testing topics.

Attending the conference is free but places are limited so we recommend early registration.

Find out more about the conference and registration here.

The post Continuous Delivery and DevOps: Moving from Staged to Pervasive testing appeared first on TVS.

Categories: Software Testing

Visit Synopsys @ Formal Verification Conference 2015

Test And Verification Services Blog - Wed, 20/05/2015 - 08:22

Synopsys will discuss how the practical challenges of design bring-up, rapid verification of iterative design refinement, root cause analysis and verification sign-off can be addressed with transactional equivalence, sequential equivalence and formal debug techniques.

Read more.

The post Visit Synopsys @ Formal Verification Conference 2015 appeared first on TVS.

Categories: Software Testing

Slides and Recordings Available for DVClub Bangalore – 9 April 2015

Test And Verification Services Blog - Wed, 20/05/2015 - 07:48

If you would like to review the slides and recordings of the presentations, they are now available on the TVS Website.

The Bangalore edition of the next DVClub is scheduled for mid-June. The theme will be ‘SoC Verification Challenges’. Why not register your interest and be one of the first to secure your place!

Do you have an SoC Verification story to tell and would like to share it at the next DVClub?

Contact Shyam.R for more information on how you can participate.

The post Slides and Recordings Available for DVClub Bangalore – 9 April 2015 appeared first on TVS.

Categories: Software Testing

GraphixAsset use TVS to test their new Medical Application

Test And Verification Services Blog - Wed, 20/05/2015 - 07:19
PRESS RELEASE

Bristol, UK, 20th   May 2015TVS, a leader in software test and hardware verification solutions, today announced that it had executed a functional and security testing strategy for the new electronic Medical Administration Record (eMAR) system being developed by GraphixAsset, a UK-based software company building iPhone and Android apps, designing and building web applications, computer graphics, point of sale and motion graphics business.

TVS first helped GraphixAsset to clarify the requirements so that a thorough functional and security test plan could be developed which would support the healthcare compliances to provide quality software. The plan was both aggressive to allow GraphixAsset to hit their client timescales and iterative to allow GraphixAsset to progressively fix issues. After each iteration TVS supplied a clear list of issues for GraphixAsset to fix and TVS started the next iteration once they were fixed. At the end of three iterations eMAR was deemed of sufficient quality and TVS delivered a test report as evidence of that.

Chris Gledhill, CEO of GraphixAsset, commented “It was a pleasure working with TVS. They offered a very cost effective solution through test engineers in India but provided a contact point in the UK if we needed management support. The expertise and independence they were provided has improved our product quality beyond my expectation.”

Mike Bartley, CEO of TVS, said “I am proud of the outcome with GraphixAsset. We were able to add a lot of value to eMAR through a cost effective solution thus offering huge ROI. It really demonstrates the value of our service and the quality of our engineers.”

Chris Gledhill, CEO of GraphixAsset, added “Two of the key advantages we found from TVS is their flexibility and communication. We often needed to adjust timescales and TVS always found a way to accommodate that. And despite the fact the test engineers were based in India, we were had regular and clear communication. I would not hesitate to recommend them to other software developers.”

Further information on TVS’s products and services is available at www.testandverification.com.

About TVS

TVS(Test and Verification Solutions Ltd) provides expertise to help companies ensure their hardware and software based products are reliable, safe and secure. Such organisations use TVS to verify their hardware and software products, employ industry best practice and manage peaks in development and testing programmes. TVS’ embedded software testing services includes onsite/offshore testing support including assistance with safety certification and security testing. TVS’ hardware verification services include onsite/offshore verification support and training in advanced verification methodologies. TVS also offers Verification IPs, its own Verification (EDA) signoff tool and a CPU verification tool asureISG.

About GraphixAsset

GraphixAsset is a UK-based software company building iPhone and Android apps, designing and building web applications, computer graphics, point of sale and motion graphics business.

TVS Company Contact
  • Dr. Mike Bartley – TVS
  • Tel: +44 7796 307958
  • mike@testandverification.com
Additional Information


 

The post GraphixAsset use TVS to test their new Medical Application appeared first on TVS.

Categories: Software Testing

A SystemC-based UVM Verification infrastructure

Test And Verification Services Blog - Wed, 20/05/2015 - 06:38

TVS recently completed a SystemC-based Universal Verification Methodology (UVM) project for Blu Wireless Technology, a UK-based company that develops silicon-proven mmWave wireless baseband IP for advanced WiGig applications.

Blu Wireless follows a SystemC-based design flow. Following an initial specification period, it was quickly agreed that the best approach would be to deploy a SystemC test bench that would be UVM-compliant with a TLM-2.0 interface.

This EDN network blog outlines the infrastructure that was developed and the deployment of that infrastructure to enact the constraint-based random verification.

Read more.

The post A SystemC-based UVM Verification infrastructure appeared first on TVS.

Categories: Software Testing

Formal Coverage for Formal and Simulation Audiences

Test And Verification Services Blog - Wed, 20/05/2015 - 06:29

Stefan Staber of Cadence will discuss “Formal Coverage for Formal and Simulation Audiences” at the TVS Formal Verification conference on Thursday May 21st.

Stefan is a Principal Product Engineer in the Formal R&D business unit at Cadence Design Systems focusing on apps and solutions around formal technologies.

Hear the above talk and 8 other speakers at the free one day Formal Verification conference held at Reading, UK on Thursday, 21 May and you have the option to attend in person or via remote access.

Attendees will gain from the event whether they are just trying to learn how to apply formal verification or expert users.

Places are limited and this event often sells out so we recommend early registration.

Speaker and registration details can be found here.

The post Formal Coverage for Formal and Simulation Audiences appeared first on TVS.

Categories: Software Testing

Fifty Quick Ideas To Improve Your Tests now available

Gojko Adzic's blog - Tue, 19/05/2015 - 09:00

My new book, Fifty Quick Ideas to Improve Your Tests, is now available on Amazon. Grab it at 50% discount before Friday:

This book is for cross-functional teams working in an iterative delivery environment, planning with user stories and testing frequently changing software under tough time pressure. This book will help you test your software better, easier and faster. Many of these ideas also help teams engage their business stakeholders better in defining key expectations and improve the quality of their software products.

For more info, check out FiftyQuickIdeas.com

Categories: Agile, Software Testing

Alternative Formal techniques to increase Verification productivity

Test And Verification Services Blog - Mon, 18/05/2015 - 06:17

Formal verification techniques such as property checking and formal applications have become an important part of today’s verification methodology. Designers play an increasing role in verification, both because of the additional resource and, also, because of the cost effectiveness of finding bugs earlier in the design flow.

As we look for greater increases in productivity, we need to look for optimal formal techniques to address the practical challenges of the entire design and verification team.

This presentation considers how the practical challenges of design bring-up, rapid verification of iterative design refinement, root cause analysis and verification sign-off can be addressed with transactional equivalence checking, sequential equivalence checking and formal debug techniques.

  • Transactional equivalence checking helps find bugs for quick design bring-up, verifies iterative design changes and provides a technique for verification sign-off.
  • Sequential equivalence checking can verify iterative manual RTL edits such as clock gating, data gating, register retiming, and DFT insertion.
  • Formal techniques can augment root cause analysis in debug.

Hear the above talk by Doug Fisher, Senior Staff Application Consultant at Synopsys, and 8 other speakers at the free one day Formal Verification conference held at Reading, UK on Thursday, 21 May and you have the option to attend in person or via remote access. Attendees will gain from the event whether they are just trying to learn how to apply formal verification or expert users.

Places are limited and this event often sells out so we recommend early registration.

Speaker and registration details can be found here.

The post Alternative Formal techniques to increase Verification productivity appeared first on TVS.

Categories: Software Testing

Extending the Formal based Ecosystem – Refreshing the parts other formal tools can’t reach

Test And Verification Services Blog - Fri, 15/05/2015 - 06:35

Formal-based solutions have proven invaluable for tough verification problems, where the exhaustive nature of the formal approach may be combined with targeted apps. However, the apps that we have seen so far pale in comparison with the possibilities afforded by this technology.

Formal techniques have the potential to revolutionize electronic verification and move beyond this space to other areas. However, to realize this potential, more thinking about the way we apply formal solutions is required. On the 21st May, OneSpin will make an announcement, which it believes will start to address this gap. Come along to this presentation to hear more about this interesting development.

  • We need to address the gap between formal actual and formal potential.
  • Requires some different thinking about formal technology delivery
  • Announcement on May 21st will explain more

Hear the above talk by Raik Brinkmann, a co-founder of OneSpin Solutions, and 8 other speakers at the free one day Formal Verification conference held at Reading, UK on Thursday, 21 May and you have the option to attend in person or via remote access. Attendees will gain from the event whether they are just trying to learn how to apply formal verification or expert users.

Places are limited and this event often sells out so we recommend early registration.

Speaker and registration details can be found here.

The post Extending the Formal based Ecosystem – Refreshing the parts other formal tools can’t reach appeared first on TVS.

Categories: Software Testing

Pages